Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb
MD5SUM154c7c542b6df7aab333fa859438b34f
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 65634210
Optimality of the best value was proved NO
Number of terms in the objective function 4880
Biggest coefficient in the objective function 10485760
Number of bits for the biggest coefficient in the objective function 24
Sum of the numbers in the objective function 1662757407
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 10485760
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 1662757407
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1259.76
Number of variables9680
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints492
Minimum length of a constraint1
Maximum length of a constraint420

Trace number 9297

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        927532 kB
Buffers:         12688 kB
Cached:          76052 kB
SwapCached:          0 kB
Active:          55220 kB
Inactive:        36460 kB
HighTotal:      131008 kB
HighFree:        50736 kB
LowTotal:       903652 kB
LowFree:        876796 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10096 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:36:30 (client local time) WITH STATUS 0 IN 1200.89 SECONDS
stats: 8014 7 1200.89 0

Solver Data

1:
seed: 0
Nr of vars set: 1292  (#equs: 0)
Nr of vars set: 2129  (#equs: 32)
#decisions: 308205;  #end-nodes: 224146;
#proof improvement attempts: 0;  #restarts: 1056
Current batch, end-nodes: 0 / 343 (343)
#axs: 765, #non-axs: 34
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2151  (#equs: 32)
Time taken: 5 min, 14 sec

2:
seed: 0
Nr of vars set: 2151  (#equs: 0)
Nr of vars set: 2163  (#equs: 15)
#decisions: 1597887;  #end-nodes: 1303974;
#proof improvement attempts: 0;  #restarts: 2784
Current batch, end-nodes: 0 / 815 (815)
#axs: 749, #non-axs: 183
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 24, end (keep): 34
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2165  (#equs: 17)
Time taken: 12 min, 3 sec

3:
seed: 0
Nr of vars set: 2165  (#equs: 0)
Nr of vars set: 2165  (#equs: 15)
Interupt request received.
#decisions: 234487;  #end-nodes: 169478;
#proof improvement attempts: 0;  #restarts: 688
Current batch, end-nodes: 155 / 332 (332)
#axs: 747, #non-axs: 291
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 24, end (keep): 34
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2320  (#equs: 15)
Time taken: 2 min, 42 sec

Watcher Data

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

[startup+10.0038 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 836 0 0 0 617 123 0 0 17 0 1 0 20071107 4550656 746 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1111 746 413 48 0 1063 0
[pid=5542] vsize: 4444
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (Kb) 6572

[startup+20.0044 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 836 0 0 0 1198 252 0 0 17 0 1 0 20071107 4550656 746 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1111 746 413 48 0 1063 0
[pid=5542] vsize: 4444
Current children cumulated CPU time (s) 14.53
Current children cumulated vsize (Kb) 6572

[startup+30.005 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 881 0 0 0 1959 329 0 0 19 0 1 0 20071107 6746112 791 4294967295 134512640 134702520 3221223952 3221179868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 791 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 22.91
Current children cumulated vsize (Kb) 8716

[startup+40.0057 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 883 0 0 0 2712 408 0 0 18 0 1 0 20071107 6746112 793 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 793 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 31.23
Current children cumulated vsize (Kb) 8716

[startup+50.0063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 883 0 0 0 3273 552 0 0 16 0 1 0 20071107 6746112 793 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 793 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (Kb) 8716

[startup+60.0069 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 886 0 0 0 4011 641 0 0 16 0 1 0 20071107 6746112 796 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 796 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 46.55
Current children cumulated vsize (Kb) 8716

[startup+70.0085 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 888 0 0 0 4856 690 0 0 15 0 1 0 20071107 6746112 798 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 798 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 55.49
Current children cumulated vsize (Kb) 8716

[startup+80.0092 s]
Raw data (loadavg): 1.15 1.04 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 888 0 0 0 5426 833 0 0 16 0 1 0 20071107 6746112 798 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 798 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 62.62
Current children cumulated vsize (Kb) 8716

[startup+90.0098 s]
Raw data (loadavg): 1.12 1.04 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 889 0 0 0 6076 954 0 0 18 0 1 0 20071107 6746112 799 4294967295 134512640 134702520 3221223952 3220977148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 799 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 70.33
Current children cumulated vsize (Kb) 8716

[startup+100.01 s]
Raw data (loadavg): 1.10 1.04 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 893 0 0 0 6965 991 0 0 17 0 1 0 20071107 6746112 803 4294967295 134512640 134702520 3221223952 3221135888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 803 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 79.59
Current children cumulated vsize (Kb) 8716

[startup+110.012 s]
Raw data (loadavg): 1.16 1.05 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 893 0 0 0 7564 1127 0 0 16 0 1 0 20071107 6746112 803 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 803 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 86.94
Current children cumulated vsize (Kb) 8716

[startup+120.013 s]
Raw data (loadavg): 1.14 1.05 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 893 0 0 0 8148 1265 0 0 15 0 1 0 20071107 6746112 803 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 803 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 94.16
Current children cumulated vsize (Kb) 8716

[startup+130.013 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 897 0 0 0 9007 1312 0 0 17 0 1 0 20071107 6746112 807 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 807 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 103.22
Current children cumulated vsize (Kb) 8716

[startup+140.014 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 899 0 0 0 9708 1412 0 0 16 0 1 0 20071107 6746112 809 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 809 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 111.23
Current children cumulated vsize (Kb) 8716

[startup+150.015 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 899 0 0 0 10269 1562 0 0 16 0 1 0 20071107 6746112 809 4294967295 134512640 134702520 3221223952 3221222720 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 809 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 118.34
Current children cumulated vsize (Kb) 8716

[startup+160.014 s]
Raw data (loadavg): 1.07 1.04 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 900 0 0 0 11041 1641 0 0 17 0 1 0 20071107 6746112 810 4294967295 134512640 134702520 3221223952 3221097468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 810 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 126.85
Current children cumulated vsize (Kb) 8716

[startup+170.015 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 903 0 0 0 11849 1703 0 0 16 0 1 0 20071107 6746112 813 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 813 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 135.55
Current children cumulated vsize (Kb) 8716

[startup+180.016 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 903 0 0 0 12423 1846 0 0 16 0 1 0 20071107 6746112 813 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 813 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 142.72
Current children cumulated vsize (Kb) 8716

[startup+190.017 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 905 0 0 0 13079 1962 0 0 16 0 1 0 20071107 6746112 815 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 815 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 150.44
Current children cumulated vsize (Kb) 8716

[startup+200.018 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 908 0 0 0 13961 1999 0 0 17 0 1 0 20071107 6746112 818 4294967295 134512640 134702520 3221223952 3221149168 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 818 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 159.63
Current children cumulated vsize (Kb) 8716

[startup+210.017 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 908 0 0 0 14570 2125 0 0 15 0 1 0 20071107 6746112 818 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 818 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 166.98
Current children cumulated vsize (Kb) 8716

[startup+220.018 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 908 0 0 0 15147 2267 0 0 16 0 1 0 20071107 6746112 818 4294967295 134512640 134702520 3221223952 3221222720 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 818 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 174.17
Current children cumulated vsize (Kb) 8716

[startup+230.018 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 912 0 0 0 15996 2314 0 0 18 0 1 0 20071107 6746112 822 4294967295 134512640 134702520 3221223952 3221021328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 822 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 183.13
Current children cumulated vsize (Kb) 8716

[startup+240.018 s]
Raw data (loadavg): 1.13 1.06 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 913 0 0 0 16719 2403 0 0 16 0 1 0 20071107 6746112 823 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 823 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 191.25
Current children cumulated vsize (Kb) 8716

[startup+250.019 s]
Raw data (loadavg): 1.19 1.07 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 913 0 0 0 17294 2541 0 0 15 0 1 0 20071107 6746112 823 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 823 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 198.38
Current children cumulated vsize (Kb) 8716

[startup+260.02 s]
Raw data (loadavg): 1.16 1.07 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 915 0 0 0 18028 2630 0 0 16 0 1 0 20071107 6746112 825 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 825 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 206.61
Current children cumulated vsize (Kb) 8716

[startup+270.02 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 918 0 0 0 18879 2681 0 0 16 0 1 0 20071107 6746112 828 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 828 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 215.63
Current children cumulated vsize (Kb) 8716

[startup+280.02 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 918 0 0 0 19445 2825 0 0 15 0 1 0 20071107 6746112 828 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 828 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 222.73
Current children cumulated vsize (Kb) 8716

[startup+290.021 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 919 0 0 0 20024 2965 0 0 16 0 1 0 20071107 6746112 829 4294967295 134512640 134702520 3221223952 3221206608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 829 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 229.92
Current children cumulated vsize (Kb) 8716

[startup+300.021 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 1073 0 0 0 20893 3009 0 0 17 0 1 0 20071107 7237632 983 4294967295 134512640 134702520 3221223952 3221213968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1767 983 413 48 0 1719 0
[pid=5542] vsize: 7068
Current children cumulated CPU time (s) 239.05
Current children cumulated vsize (Kb) 9196

[startup+310.022 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 1084 0 0 0 21597 3108 0 0 16 0 1 0 20071107 7237632 994 4294967295 134512640 134702520 3221223952 3221222816 134564351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1767 994 413 48 0 1719 0
[pid=5542] vsize: 7068
Current children cumulated CPU time (s) 247.08
Current children cumulated vsize (Kb) 9196

[startup+320.022 s]
Raw data (loadavg): 1.06 1.05 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 1084 0 0 0 22157 3254 0 0 15 0 1 0 20071107 7237632 994 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1767 994 413 48 0 1719 0
[pid=5542] vsize: 7068
Current children cumulated CPU time (s) 254.14
Current children cumulated vsize (Kb) 9196

[startup+330.023 s]
Raw data (loadavg): 1.12 1.07 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 1086 0 0 0 22906 3340 0 0 16 0 1 0 20071107 7237632 996 4294967295 134512640 134702520 3221223952 3221223072 134578604 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1767 996 413 48 0 1719 0
[pid=5542] vsize: 7068
Current children cumulated CPU time (s) 262.49
Current children cumulated vsize (Kb) 9196

[startup+340.024 s]
Raw data (loadavg): 1.10 1.07 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 1110 0 0 0 23790 3379 0 0 17 0 1 0 20071107 7483392 1020 4294967295 134512640 134702520 3221223952 3221222976 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1827 1020 413 48 0 1779 0
[pid=5542] vsize: 7308
Current children cumulated CPU time (s) 271.72
Current children cumulated vsize (Kb) 9436

[startup+350.024 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 1111 0 0 0 24332 3527 0 0 15 0 1 0 20071107 7483392 1021 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1827 1021 413 48 0 1779 0
[pid=5542] vsize: 7308
Current children cumulated CPU time (s) 278.62
Current children cumulated vsize (Kb) 9436

[startup+360.025 s]
Raw data (loadavg): 1.15 1.08 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 1112 0 0 0 24915 3669 0 0 16 0 1 0 20071107 7536640 1022 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1840 1022 413 48 0 1792 0
[pid=5542] vsize: 7360
Current children cumulated CPU time (s) 285.87
Current children cumulated vsize (Kb) 9488

[startup+370.026 s]
Raw data (loadavg): 1.20 1.09 1.02 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 1120 0 0 0 25780 3712 0 0 17 0 1 0 20071107 7536640 1030 4294967295 134512640 134702520 3221223952 3221036188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1840 1030 413 48 0 1792 0
[pid=5542] vsize: 7360
Current children cumulated CPU time (s) 294.95
Current children cumulated vsize (Kb) 9488

[startup+380.026 s]
Raw data (loadavg): 1.17 1.09 1.02 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 1143 0 0 0 26520 3797 0 0 16 0 1 0 20071107 7536640 1053 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1840 1053 413 48 0 1792 0
[pid=5542] vsize: 7360
Current children cumulated CPU time (s) 303.2
Current children cumulated vsize (Kb) 9488

[startup+390.027 s]
Raw data (loadavg): 1.14 1.08 1.02 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 1143 0 0 0 27086 3938 0 0 16 0 1 0 20071107 7536640 1053 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1840 1053 413 48 0 1792 0
[pid=5542] vsize: 7360
Current children cumulated CPU time (s) 310.27
Current children cumulated vsize (Kb) 9488
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=5542) exited with status: 2
New process pid=5543
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=5543) exited with status: 0
New process pid=5544
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.028 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 660 0 0 0 302 33 0 0 17 0 1 0 20110697 4206592 630 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1027 630 413 48 0 979 0
[pid=5544] vsize: 4108
Current children cumulated CPU time (s) 318.01
Current children cumulated vsize (Kb) 6236

[startup+410.027 s]
Raw data (loadavg): 1.18 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 660 0 0 0 742 211 0 0 16 0 1 0 20110697 4206592 630 4294967295 134512640 134702520 3221223712 3221222848 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1027 630 413 48 0 979 0
[pid=5544] vsize: 4108
Current children cumulated CPU time (s) 324.19
Current children cumulated vsize (Kb) 6236

[startup+420.028 s]
Raw data (loadavg): 1.23 1.11 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 711 0 0 0 1382 329 0 0 17 0 1 0 20110697 6283264 681 4294967295 134512640 134702520 3221223712 3221161568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1534 681 413 48 0 1486 0
[pid=5544] vsize: 6136
Current children cumulated CPU time (s) 331.77
Current children cumulated vsize (Kb) 8264

[startup+430.028 s]
Raw data (loadavg): 1.19 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 725 0 0 0 2194 389 0 0 17 0 1 0 20110697 6283264 695 4294967295 134512640 134702520 3221223712 3221014188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1534 695 413 48 0 1486 0
[pid=5544] vsize: 6136
Current children cumulated CPU time (s) 340.49
Current children cumulated vsize (Kb) 8264

[startup+440.029 s]
Raw data (loadavg): 1.16 1.10 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 725 0 0 0 2622 571 0 0 15 0 1 0 20110697 6283264 695 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1534 695 413 48 0 1486 0
[pid=5544] vsize: 6136
Current children cumulated CPU time (s) 346.59
Current children cumulated vsize (Kb) 8264

[startup+450.03 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 728 0 0 0 3196 708 0 0 16 0 1 0 20110697 6352896 698 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1551 698 413 48 0 1503 0
[pid=5544] vsize: 6204
Current children cumulated CPU time (s) 353.7
Current children cumulated vsize (Kb) 8332

[startup+460.029 s]
Raw data (loadavg): 1.12 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 737 0 0 0 3966 787 0 0 16 0 1 0 20110697 6352896 707 4294967295 134512640 134702520 3221223712 3221219488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1551 707 413 48 0 1503 0
[pid=5544] vsize: 6204
Current children cumulated CPU time (s) 362.19
Current children cumulated vsize (Kb) 8332

[startup+470.03 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 737 0 0 0 4479 943 0 0 16 0 1 0 20110697 6352896 707 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1551 707 413 48 0 1503 0
[pid=5544] vsize: 6204
Current children cumulated CPU time (s) 368.88
Current children cumulated vsize (Kb) 8332

[startup+480.031 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 738 0 0 0 4978 1103 0 0 17 0 1 0 20110697 6352896 708 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1551 708 413 48 0 1503 0
[pid=5544] vsize: 6204
Current children cumulated CPU time (s) 375.47
Current children cumulated vsize (Kb) 8332

[startup+490.031 s]
Raw data (loadavg): 1.07 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 749 0 0 0 5741 1181 0 0 16 0 1 0 20110697 6352896 719 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1551 719 413 48 0 1503 0
[pid=5544] vsize: 6204
Current children cumulated CPU time (s) 383.88
Current children cumulated vsize (Kb) 8332

[startup+500.032 s]
Raw data (loadavg): 1.06 1.08 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 751 0 0 0 6263 1340 0 0 16 0 1 0 20110697 6352896 721 4294967295 134512640 134702520 3221223712 3221222608 134553358 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1551 721 413 48 0 1503 0
[pid=5544] vsize: 6204
Current children cumulated CPU time (s) 390.69
Current children cumulated vsize (Kb) 8332

[startup+510.032 s]
Raw data (loadavg): 1.05 1.08 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 755 0 0 0 6748 1514 0 0 18 0 1 0 20110697 6365184 725 4294967295 134512640 134702520 3221223712 3220950348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1554 725 413 48 0 1506 0
[pid=5544] vsize: 6216
Current children cumulated CPU time (s) 397.28
Current children cumulated vsize (Kb) 8344

[startup+520.032 s]
Raw data (loadavg): 1.11 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 769 0 0 0 7528 1584 0 0 17 0 1 0 20110697 6365184 739 4294967295 134512640 134702520 3221223712 3220922188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1554 739 413 48 0 1506 0
[pid=5544] vsize: 6216
Current children cumulated CPU time (s) 405.78
Current children cumulated vsize (Kb) 8344

[startup+530.033 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 769 0 0 0 8052 1740 0 0 15 0 1 0 20110697 6365184 739 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1554 739 413 48 0 1506 0
[pid=5544] vsize: 6216
Current children cumulated CPU time (s) 412.58
Current children cumulated vsize (Kb) 8344

[startup+540.035 s]
Raw data (loadavg): 1.23 1.12 1.03 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 771 0 0 0 8523 1911 0 0 18 0 1 0 20110697 6406144 741 4294967295 134512640 134702520 3221223712 3221054036 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1564 741 413 48 0 1516 0
[pid=5544] vsize: 6256
Current children cumulated CPU time (s) 419
Current children cumulated vsize (Kb) 8384

[startup+550.035 s]
Raw data (loadavg): 1.20 1.11 1.03 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 776 0 0 0 9309 1980 0 0 18 0 1 0 20110697 6406144 746 4294967295 134512640 134702520 3221223712 3221006188 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1564 746 413 48 0 1516 0
[pid=5544] vsize: 6256
Current children cumulated CPU time (s) 427.55
Current children cumulated vsize (Kb) 8384

[startup+560.035 s]
Raw data (loadavg): 1.17 1.11 1.03 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 778 0 0 0 9837 2131 0 0 16 0 1 0 20110697 6406144 748 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1564 748 413 48 0 1516 0
[pid=5544] vsize: 6256
Current children cumulated CPU time (s) 434.34
Current children cumulated vsize (Kb) 8384

[startup+570.035 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 780 0 0 0 10267 2315 0 0 16 0 1 0 20110697 6406144 750 4294967295 134512640 134702520 3221223712 3221171308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1564 750 413 48 0 1516 0
[pid=5544] vsize: 6256
Current children cumulated CPU time (s) 440.48
Current children cumulated vsize (Kb) 8384

[startup+580.036 s]
Raw data (loadavg): 1.12 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 789 0 0 0 11047 2384 0 0 16 0 1 0 20110697 6406144 759 4294967295 134512640 134702520 3221223712 3221161728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1564 759 413 48 0 1516 0
[pid=5544] vsize: 6256
Current children cumulated CPU time (s) 448.97
Current children cumulated vsize (Kb) 8384

[startup+590.037 s]
Raw data (loadavg): 1.10 1.10 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 789 0 0 0 11627 2524 0 0 16 0 1 0 20110697 6406144 759 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1564 759 413 48 0 1516 0
[pid=5544] vsize: 6256
Current children cumulated CPU time (s) 456.17
Current children cumulated vsize (Kb) 8384

[startup+600.037 s]
Raw data (loadavg): 1.08 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 790 0 0 0 12023 2717 0 0 16 0 1 0 20110697 6557696 760 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1601 760 413 48 0 1553 0
[pid=5544] vsize: 6404
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (Kb) 8532

[startup+610.038 s]
Raw data (loadavg): 1.07 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 796 0 0 0 12806 2789 0 0 15 0 1 0 20110697 6438912 766 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1572 766 413 48 0 1524 0
[pid=5544] vsize: 6288
Current children cumulated CPU time (s) 470.61
Current children cumulated vsize (Kb) 8416

[startup+620.039 s]
Raw data (loadavg): 1.14 1.10 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 801 0 0 0 13412 2918 0 0 16 0 1 0 20110697 6438912 771 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1572 771 413 48 0 1524 0
[pid=5544] vsize: 6288
Current children cumulated CPU time (s) 477.96
Current children cumulated vsize (Kb) 8416

[startup+630.039 s]
Raw data (loadavg): 1.12 1.10 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 802 0 0 0 13813 3114 0 0 16 0 1 0 20110697 6438912 772 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1572 772 413 48 0 1524 0
[pid=5544] vsize: 6288
Current children cumulated CPU time (s) 483.93
Current children cumulated vsize (Kb) 8416

[startup+640.04 s]
Raw data (loadavg): 1.10 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 806 0 0 0 14598 3186 0 0 17 0 1 0 20110697 6455296 776 4294967295 134512640 134702520 3221223712 3220997248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1576 776 413 48 0 1528 0
[pid=5544] vsize: 6304
Current children cumulated CPU time (s) 492.5
Current children cumulated vsize (Kb) 8432

[startup+650.041 s]
Raw data (loadavg): 1.08 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 809 0 0 0 15304 3281 0 0 16 0 1 0 20110697 6455296 779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1576 779 413 48 0 1528 0
[pid=5544] vsize: 6304
Current children cumulated CPU time (s) 500.51
Current children cumulated vsize (Kb) 8432

[startup+660.04 s]
Raw data (loadavg): 1.07 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 810 0 0 0 15743 3473 0 0 15 0 1 0 20110697 6455296 780 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1576 780 413 48 0 1528 0
[pid=5544] vsize: 6304
Current children cumulated CPU time (s) 506.82
Current children cumulated vsize (Kb) 8432

[startup+670.041 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 813 0 0 0 16323 3604 0 0 16 0 1 0 20110697 6475776 783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1581 783 413 48 0 1533 0
[pid=5544] vsize: 6324
Current children cumulated CPU time (s) 513.93
Current children cumulated vsize (Kb) 8452

[startup+680.042 s]
Raw data (loadavg): 1.05 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 819 0 0 0 17103 3679 0 0 16 0 1 0 20110697 6475776 789 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1581 789 413 48 0 1533 0
[pid=5544] vsize: 6324
Current children cumulated CPU time (s) 522.48
Current children cumulated vsize (Kb) 8452

[startup+690.042 s]
Raw data (loadavg): 1.04 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 819 0 0 0 17551 3860 0 0 16 0 1 0 20110697 6475776 789 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1581 789 413 48 0 1533 0
[pid=5544] vsize: 6324
Current children cumulated CPU time (s) 528.77
Current children cumulated vsize (Kb) 8452

[startup+700.043 s]
Raw data (loadavg): 1.03 1.07 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 821 0 0 0 18084 4011 0 0 17 0 1 0 20110697 6504448 791 4294967295 134512640 134702520 3221223712 3221141708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1588 791 413 48 0 1540 0
[pid=5544] vsize: 6352
Current children cumulated CPU time (s) 535.61
Current children cumulated vsize (Kb) 8480

[startup+710.043 s]
Raw data (loadavg): 1.03 1.07 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1161 0 0 0 18851 4088 0 0 16 0 1 0 20110697 7917568 1131 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1933 1131 413 48 0 1885 0
[pid=5544] vsize: 7732
Current children cumulated CPU time (s) 544.05
Current children cumulated vsize (Kb) 9860

[startup+720.044 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1281 0 0 0 19390 4241 0 0 16 0 1 0 20110697 7254016 1021 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1771 1021 413 48 0 1723 0
[pid=5544] vsize: 7084
Current children cumulated CPU time (s) 550.97
Current children cumulated vsize (Kb) 9212

[startup+730.045 s]
Raw data (loadavg): 1.16 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1294 0 0 0 19829 4427 0 0 16 0 1 0 20110697 7536640 1034 4294967295 134512640 134702520 3221223712 3221172268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1840 1034 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 557.22
Current children cumulated vsize (Kb) 9488

[startup+740.045 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1529 0 0 0 20640 4488 0 0 17 0 1 0 20110697 8093696 1215 4294967295 134512640 134702520 3221223712 3220986668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1976 1215 413 48 0 1928 0
[pid=5544] vsize: 7904
Current children cumulated CPU time (s) 565.94
Current children cumulated vsize (Kb) 10032

[startup+750.046 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1544 0 0 0 21288 4604 0 0 15 0 1 0 20110697 7430144 1068 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1814 1068 413 48 0 1766 0
[pid=5544] vsize: 7256
Current children cumulated CPU time (s) 573.58
Current children cumulated vsize (Kb) 9384

[startup+760.046 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1545 0 0 0 21715 4788 0 0 16 0 1 0 20110697 7430144 1069 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1814 1069 413 48 0 1766 0
[pid=5544] vsize: 7256
Current children cumulated CPU time (s) 579.69
Current children cumulated vsize (Kb) 9384

[startup+770.046 s]
Raw data (loadavg): 1.08 1.08 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1551 0 0 0 22392 4898 0 0 17 0 1 0 20110697 7471104 1075 4294967295 134512640 134702520 3221223712 3221072908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1824 1075 413 48 0 1776 0
[pid=5544] vsize: 7296
Current children cumulated CPU time (s) 587.56
Current children cumulated vsize (Kb) 9424

[startup+780.047 s]
Raw data (loadavg): 1.07 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1558 0 0 0 23139 4985 0 0 16 0 1 0 20110697 7471104 1082 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1824 1082 413 48 0 1776 0
[pid=5544] vsize: 7296
Current children cumulated CPU time (s) 595.9
Current children cumulated vsize (Kb) 9424

[startup+790.049 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1558 0 0 0 23587 5168 0 0 16 0 1 0 20110697 7471104 1082 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1824 1082 413 48 0 1776 0
[pid=5544] vsize: 7296
Current children cumulated CPU time (s) 602.21
Current children cumulated vsize (Kb) 9424

[startup+800.049 s]
Raw data (loadavg): 1.05 1.08 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1563 0 0 0 24135 5313 0 0 17 0 1 0 20110697 7503872 1087 4294967295 134512640 134702520 3221223712 3221095468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1832 1087 413 48 0 1784 0
[pid=5544] vsize: 7328
Current children cumulated CPU time (s) 609.14
Current children cumulated vsize (Kb) 9456

[startup+810.05 s]
Raw data (loadavg): 1.04 1.07 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1567 0 0 0 24890 5396 0 0 15 0 1 0 20110697 7503872 1091 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1832 1091 413 48 0 1784 0
[pid=5544] vsize: 7328
Current children cumulated CPU time (s) 617.52
Current children cumulated vsize (Kb) 9456

[startup+820.05 s]
Raw data (loadavg): 1.03 1.07 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1568 0 0 0 25418 5554 0 0 16 0 1 0 20110697 7503872 1092 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1832 1092 413 48 0 1784 0
[pid=5544] vsize: 7328
Current children cumulated CPU time (s) 624.38
Current children cumulated vsize (Kb) 9456

[startup+830.051 s]
Raw data (loadavg): 1.11 1.08 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1570 0 0 0 25863 5730 0 0 16 0 1 0 20110697 7536640 1094 4294967295 134512640 134702520 3221223712 3221153228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1840 1094 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 630.59
Current children cumulated vsize (Kb) 9488

[startup+840.052 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1574 0 0 0 26639 5806 0 0 16 0 1 0 20110697 7536640 1098 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1840 1098 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 639.11
Current children cumulated vsize (Kb) 9488

[startup+850.053 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1580 0 0 0 27274 5924 0 0 15 0 1 0 20110697 7536640 1104 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1840 1104 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 646.64
Current children cumulated vsize (Kb) 9488

[startup+860.053 s]
Raw data (loadavg): 1.06 1.07 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1581 0 0 0 27693 6112 0 0 16 0 1 0 20110697 7536640 1105 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1840 1105 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 652.71
Current children cumulated vsize (Kb) 9488

[startup+870.054 s]
Raw data (loadavg): 1.05 1.07 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1585 0 0 0 28382 6220 0 0 18 0 1 0 20110697 7536640 1109 4294967295 134512640 134702520 3221223712 3221049888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1840 1109 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 660.68
Current children cumulated vsize (Kb) 9488

[startup+880.054 s]
Raw data (loadavg): 1.05 1.07 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1594 0 0 0 29126 6305 0 0 16 0 1 0 20110697 7536640 1118 4294967295 134512640 134702520 3221223712 3221222608 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1840 1118 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 668.97
Current children cumulated vsize (Kb) 9488

[startup+890.055 s]
Raw data (loadavg): 1.04 1.07 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1594 0 0 0 29557 6493 0 0 16 0 1 0 20110697 7536640 1118 4294967295 134512640 134702520 3221223712 3221222888 134550241 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1840 1118 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 675.16
Current children cumulated vsize (Kb) 9488

[startup+900.056 s]
Raw data (loadavg): 1.03 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1598 0 0 0 30087 6644 0 0 16 0 1 0 20110697 7577600 1122 4294967295 134512640 134702520 3221223712 3221159788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1850 1122 413 48 0 1802 0
[pid=5544] vsize: 7400
Current children cumulated CPU time (s) 681.97
Current children cumulated vsize (Kb) 9528

[startup+910.056 s]
Raw data (loadavg): 1.03 1.06 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1604 0 0 0 30868 6720 0 0 17 0 1 0 20110697 7577600 1128 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1850 1128 413 48 0 1802 0
[pid=5544] vsize: 7400
Current children cumulated CPU time (s) 690.54
Current children cumulated vsize (Kb) 9528

[startup+920.058 s]
Raw data (loadavg): 1.02 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1604 0 0 0 31390 6874 0 0 16 0 1 0 20110697 7577600 1128 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1850 1128 413 48 0 1802 0
[pid=5544] vsize: 7400
Current children cumulated CPU time (s) 697.3
Current children cumulated vsize (Kb) 9528

[startup+930.058 s]
Raw data (loadavg): 1.02 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1606 0 0 0 31786 7066 0 0 16 0 1 0 20110697 7598080 1130 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1855 1130 413 48 0 1807 0
[pid=5544] vsize: 7420
Current children cumulated CPU time (s) 703.18
Current children cumulated vsize (Kb) 9548

[startup+940.059 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1610 0 0 0 32552 7146 0 0 17 0 1 0 20110697 7598080 1134 4294967295 134512640 134702520 3221223712 3221172108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1855 1134 413 48 0 1807 0
[pid=5544] vsize: 7420
Current children cumulated CPU time (s) 711.64
Current children cumulated vsize (Kb) 9548

[startup+950.06 s]
Raw data (loadavg): 1.01 1.05 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1612 0 0 0 33246 7246 0 0 16 0 1 0 20110697 7598080 1136 4294967295 134512640 134702520 3221223712 3221222608 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1855 1136 413 48 0 1807 0
[pid=5544] vsize: 7420
Current children cumulated CPU time (s) 719.58
Current children cumulated vsize (Kb) 9548

[startup+960.059 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1613 0 0 0 33665 7434 0 0 16 0 1 0 20110697 7598080 1137 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1855 1137 413 48 0 1807 0
[pid=5544] vsize: 7420
Current children cumulated CPU time (s) 725.65
Current children cumulated vsize (Kb) 9548

[startup+970.06 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1618 0 0 0 34267 7568 0 0 16 0 1 0 20110697 7634944 1142 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1864 1142 413 48 0 1816 0
[pid=5544] vsize: 7456
Current children cumulated CPU time (s) 733.01
Current children cumulated vsize (Kb) 9584

[startup+980.061 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1622 0 0 0 35009 7650 0 0 16 0 1 0 20110697 7634944 1146 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1864 1146 413 48 0 1816 0
[pid=5544] vsize: 7456
Current children cumulated CPU time (s) 741.25
Current children cumulated vsize (Kb) 9584

[startup+990.062 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1622 0 0 0 35534 7806 0 0 16 0 1 0 20110697 7634944 1146 4294967295 134512640 134702520 3221223712 3221222608 134553367 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1864 1146 413 48 0 1816 0
[pid=5544] vsize: 7456
Current children cumulated CPU time (s) 748.06
Current children cumulated vsize (Kb) 9584

[startup+1000.06 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1624 0 0 0 35993 7985 0 0 17 0 1 0 20110697 7647232 1148 4294967295 134512640 134702520 3221223712 3221080928 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1867 1148 413 48 0 1819 0
[pid=5544] vsize: 7468
Current children cumulated CPU time (s) 754.44
Current children cumulated vsize (Kb) 9596

[startup+1010.06 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1632 0 0 0 36750 8065 0 0 16 0 1 0 20110697 7647232 1156 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1867 1156 413 48 0 1819 0
[pid=5544] vsize: 7468
Current children cumulated CPU time (s) 762.81
Current children cumulated vsize (Kb) 9596

[startup+1020.06 s]
Raw data (loadavg): 1.05 1.05 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1635 0 0 0 37382 8186 0 0 16 0 1 0 20110697 7647232 1159 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1867 1159 413 48 0 1819 0
[pid=5544] vsize: 7468
Current children cumulated CPU time (s) 770.34
Current children cumulated vsize (Kb) 9596

[startup+1030.06 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1636 0 0 0 37801 8373 0 0 16 0 1 0 20110697 7647232 1160 4294967295 134512640 134702520 3221223712 3221222608 134552583 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1867 1160 413 48 0 1819 0
[pid=5544] vsize: 7468
Current children cumulated CPU time (s) 776.4
Current children cumulated vsize (Kb) 9596

[startup+1040.07 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1640 0 0 0 38422 8491 0 0 16 0 1 0 20110697 7663616 1164 4294967295 134512640 134702520 3221223712 3221222668 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1871 1164 413 48 0 1823 0
[pid=5544] vsize: 7484
Current children cumulated CPU time (s) 783.79
Current children cumulated vsize (Kb) 9612

[startup+1050.07 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1649 0 0 0 39187 8567 0 0 16 0 1 0 20110697 7663616 1173 4294967295 134512640 134702520 3221223712 3221163628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1871 1173 413 48 0 1823 0
[pid=5544] vsize: 7484
Current children cumulated CPU time (s) 792.2
Current children cumulated vsize (Kb) 9612

[startup+1060.07 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1650 0 0 0 39680 8732 0 0 16 0 1 0 20110697 7663616 1174 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1871 1174 413 48 0 1823 0
[pid=5544] vsize: 7484
Current children cumulated CPU time (s) 798.78
Current children cumulated vsize (Kb) 9612

[startup+1070.07 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1652 0 0 0 40171 8898 0 0 17 0 1 0 20110697 7720960 1176 4294967295 134512640 134702520 3221223712 3220961548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1885 1176 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 805.35
Current children cumulated vsize (Kb) 9668

[startup+1080.07 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1652 0 0 0 40913 8983 0 0 16 0 1 0 20110697 7720960 1176 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1885 1176 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 813.62
Current children cumulated vsize (Kb) 9668

[startup+1090.07 s]
Raw data (loadavg): 1.05 1.05 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1655 0 0 0 41546 9104 0 0 16 0 1 0 20110697 7720960 1179 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1885 1179 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 821.16
Current children cumulated vsize (Kb) 9668

[startup+1100.07 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1655 0 0 0 41965 9295 0 0 15 0 1 0 20110697 7720960 1179 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1885 1179 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 827.26
Current children cumulated vsize (Kb) 9668

[startup+1110.07 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1655 0 0 0 42588 9420 0 0 16 0 1 0 20110697 7720960 1179 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1885 1179 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 834.74
Current children cumulated vsize (Kb) 9668

[startup+1120.07 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1657 0 0 0 43329 9504 0 0 16 0 1 0 20110697 7720960 1181 4294967295 134512640 134702520 3221223712 3221222368 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1885 1181 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 842.99
Current children cumulated vsize (Kb) 9668

[startup+1130.07 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1658 0 0 0 43853 9662 0 0 16 0 1 0 20110697 7720960 1182 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1885 1182 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 849.81
Current children cumulated vsize (Kb) 9668

[startup+1140.07 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1662 0 0 0 44308 9843 0 0 16 0 1 0 20110697 7737344 1186 4294967295 134512640 134702520 3221223712 3221112448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1889 1186 413 48 0 1841 0
[pid=5544] vsize: 7556
Current children cumulated CPU time (s) 856.17
Current children cumulated vsize (Kb) 9684

[startup+1150.08 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1669 0 0 0 45060 9925 0 0 17 0 1 0 20110697 7737344 1193 4294967295 134512640 134702520 3221223712 3221077408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1889 1193 413 48 0 1841 0
[pid=5544] vsize: 7556
Current children cumulated CPU time (s) 864.51
Current children cumulated vsize (Kb) 9684

[startup+1160.08 s]
Raw data (loadavg): 1.11 1.07 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1673 0 0 0 45725 10042 0 0 16 0 1 0 20110697 7737344 1197 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1889 1197 413 48 0 1841 0
[pid=5544] vsize: 7556
Current children cumulated CPU time (s) 872.33
Current children cumulated vsize (Kb) 9684

[startup+1170.08 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1674 0 0 0 46157 10231 0 0 16 0 1 0 20110697 7737344 1198 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1889 1198 413 48 0 1841 0
[pid=5544] vsize: 7556
Current children cumulated CPU time (s) 878.54
Current children cumulated vsize (Kb) 9684

[startup+1180.08 s]
Raw data (loadavg): 1.15 1.08 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1677 0 0 0 46764 10356 0 0 17 0 1 0 20110697 7778304 1201 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1899 1201 413 48 0 1851 0
[pid=5544] vsize: 7596
Current children cumulated CPU time (s) 885.86
Current children cumulated vsize (Kb) 9724

[startup+1190.08 s]
Raw data (loadavg): 1.13 1.08 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1681 0 0 0 47489 10446 0 0 16 0 1 0 20110697 7778304 1205 4294967295 134512640 134702520 3221223712 3221223040 134617852 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1899 1205 413 48 0 1851 0
[pid=5544] vsize: 7596
Current children cumulated CPU time (s) 894.01
Current children cumulated vsize (Kb) 9724

[startup+1200.08 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1681 0 0 0 48029 10598 0 0 16 0 1 0 20110697 7778304 1205 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1899 1205 413 48 0 1851 0
[pid=5544] vsize: 7596
Current children cumulated CPU time (s) 900.93
Current children cumulated vsize (Kb) 9724

[startup+1210.08 s]
Raw data (loadavg): 1.16 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1684 0 0 0 48430 10787 0 0 16 0 1 0 20110697 7811072 1208 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1907 1208 413 48 0 1859 0
[pid=5544] vsize: 7628
Current children cumulated CPU time (s) 906.83
Current children cumulated vsize (Kb) 9756

[startup+1220.08 s]
Raw data (loadavg): 1.14 1.08 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1692 0 0 0 49173 10870 0 0 15 0 1 0 20110697 7811072 1216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1907 1216 413 48 0 1859 0
[pid=5544] vsize: 7628
Current children cumulated CPU time (s) 915.09
Current children cumulated vsize (Kb) 9756

[startup+1230.08 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1698 0 0 0 49896 10964 0 0 15 0 1 0 20110697 7811072 1222 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1907 1222 413 48 0 1859 0
[pid=5544] vsize: 7628
Current children cumulated CPU time (s) 923.26
Current children cumulated vsize (Kb) 9756

[startup+1240.08 s]
Raw data (loadavg): 1.10 1.08 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1698 0 0 0 50335 11143 0 0 16 0 1 0 20110697 7811072 1222 4294967295 134512640 134702520 3221223712 3221222608 134550721 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1907 1222 413 48 0 1859 0
[pid=5544] vsize: 7628
Current children cumulated CPU time (s) 929.44
Current children cumulated vsize (Kb) 9756

[startup+1250.08 s]
Raw data (loadavg): 1.16 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1700 0 0 0 50869 11299 0 0 17 0 1 0 20110697 7823360 1224 4294967295 134512640 134702520 3221223712 3221173408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1910 1224 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 936.34
Current children cumulated vsize (Kb) 9768

[startup+1260.08 s]
Raw data (loadavg): 1.13 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1706 0 0 0 51601 11386 0 0 16 0 1 0 20110697 7823360 1230 4294967295 134512640 134702520 3221223712 3221183488 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1910 1230 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 944.53
Current children cumulated vsize (Kb) 9768

[startup+1270.09 s]
Raw data (loadavg): 1.19 1.10 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1707 0 0 0 52192 11521 0 0 16 0 1 0 20110697 7823360 1231 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1910 1231 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 951.79
Current children cumulated vsize (Kb) 9768

[startup+1280.09 s]
Raw data (loadavg): 1.16 1.10 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1708 0 0 0 52603 11710 0 0 15 0 1 0 20110697 7823360 1232 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1910 1232 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 957.79
Current children cumulated vsize (Kb) 9768

[startup+1290.09 s]
Raw data (loadavg): 1.14 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1716 0 0 0 53297 11808 0 0 17 0 1 0 20110697 7823360 1240 4294967295 134512640 134702520 3221223712 3221127628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1910 1240 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 965.71
Current children cumulated vsize (Kb) 9768

[startup+1300.09 s]
Raw data (loadavg): 1.11 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1717 0 0 0 54026 11894 0 0 17 0 1 0 20110697 7823360 1241 4294967295 134512640 134702520 3221223712 3221153568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1910 1241 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 973.86
Current children cumulated vsize (Kb) 9768

[startup+1310.09 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1717 0 0 0 54515 12057 0 0 15 0 1 0 20110697 7823360 1241 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1910 1241 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 980.38
Current children cumulated vsize (Kb) 9768

[startup+1320.09 s]
Raw data (loadavg): 1.08 1.08 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1721 0 0 0 54998 12228 0 0 18 0 1 0 20110697 7843840 1245 4294967295 134512640 134702520 3221223712 3221038048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1915 1245 413 48 0 1867 0
[pid=5544] vsize: 7660
Current children cumulated CPU time (s) 986.92
Current children cumulated vsize (Kb) 9788

[startup+1330.09 s]
Raw data (loadavg): 1.07 1.08 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1727 0 0 0 55720 12318 0 0 17 0 1 0 20110697 7843840 1251 4294967295 134512640 134702520 3221223712 3221084128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1915 1251 413 48 0 1867 0
[pid=5544] vsize: 7660
Current children cumulated CPU time (s) 995.04
Current children cumulated vsize (Kb) 9788

[startup+1340.09 s]
Raw data (loadavg): 1.14 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1728 0 0 0 56393 12422 0 0 15 0 1 0 20110697 7843840 1252 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1915 1252 413 48 0 1867 0
[pid=5544] vsize: 7660
Current children cumulated CPU time (s) 1002.81
Current children cumulated vsize (Kb) 9788

[startup+1350.09 s]
Raw data (loadavg): 1.20 1.11 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1728 0 0 0 56823 12606 0 0 16 0 1 0 20110697 7843840 1252 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1915 1252 413 48 0 1867 0
[pid=5544] vsize: 7660
Current children cumulated CPU time (s) 1008.95
Current children cumulated vsize (Kb) 9788

[startup+1360.09 s]
Raw data (loadavg): 1.16 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1730 0 0 0 57414 12737 0 0 17 0 1 0 20110697 7864320 1254 4294967295 134512640 134702520 3221223712 3221053568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1920 1254 413 48 0 1872 0
[pid=5544] vsize: 7680
Current children cumulated CPU time (s) 1016.17
Current children cumulated vsize (Kb) 9808

[startup+1370.09 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1734 0 0 0 58128 12831 0 0 16 0 1 0 20110697 7864320 1258 4294967295 134512640 134702520 3221223712 3221145708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1920 1258 413 48 0 1872 0
[pid=5544] vsize: 7680
Current children cumulated CPU time (s) 1024.25
Current children cumulated vsize (Kb) 9808

[startup+1380.09 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1735 0 0 0 58725 12965 0 0 16 0 1 0 20110697 7864320 1259 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1920 1259 413 48 0 1872 0
[pid=5544] vsize: 7680
Current children cumulated CPU time (s) 1031.56
Current children cumulated vsize (Kb) 9808

[startup+1390.09 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1736 0 0 0 59131 13159 0 0 16 0 1 0 20110697 7864320 1260 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1920 1260 413 48 0 1872 0
[pid=5544] vsize: 7680
Current children cumulated CPU time (s) 1037.56
Current children cumulated vsize (Kb) 9808
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=5544) exited with status: 2
New process pid=5545
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=5545) exited with status: 0
New process pid=5546
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+1400.09 s]
Raw data (loadavg): 1.08 1.09 1.02 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 654 0 0 0 541 116 0 0 16 0 1 0 20210224 4112384 625 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1004 625 413 48 0 956 0
[pid=5546] vsize: 4016
Current children cumulated CPU time (s) 1044.69
Current children cumulated vsize (Kb) 6144

[startup+1410.09 s]
Raw data (loadavg): 1.22 1.12 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 705 0 0 0 920 323 0 0 16 0 1 0 20210224 6000640 676 4294967295 134512640 134702520 3221223712 3221197568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1465 676 413 48 0 1417 0
[pid=5546] vsize: 5860
Current children cumulated CPU time (s) 1050.55
Current children cumulated vsize (Kb) 7988

[startup+1420.09 s]
Raw data (loadavg): 1.19 1.11 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 727 0 0 0 1715 392 0 0 16 0 1 0 20210224 6000640 698 4294967295 134512640 134702520 3221223712 3221129868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1465 698 413 48 0 1417 0
[pid=5546] vsize: 5860
Current children cumulated CPU time (s) 1059.19
Current children cumulated vsize (Kb) 7988

[startup+1430.1 s]
Raw data (loadavg): 1.16 1.11 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 732 0 0 0 2239 551 0 0 16 0 1 0 20210224 6000640 703 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1465 703 413 48 0 1417 0
[pid=5546] vsize: 5860
Current children cumulated CPU time (s) 1066.02
Current children cumulated vsize (Kb) 7988

[startup+1440.1 s]
Raw data (loadavg): 1.13 1.10 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 739 0 0 0 2682 736 0 0 17 0 1 0 20210224 6033408 710 4294967295 134512640 134702520 3221223712 3221040428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1473 710 413 48 0 1425 0
[pid=5546] vsize: 5892
Current children cumulated CPU time (s) 1072.3
Current children cumulated vsize (Kb) 8020

[startup+1450.1 s]
Raw data (loadavg): 1.11 1.10 1.02 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 752 0 0 0 3467 805 0 0 18 0 1 0 20210224 6033408 723 4294967295 134512640 134702520 3221223712 3220888448 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1473 723 413 48 0 1425 0
[pid=5546] vsize: 5892
Current children cumulated CPU time (s) 1080.84
Current children cumulated vsize (Kb) 8020

[startup+1460.1 s]
Raw data (loadavg): 1.17 1.11 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 755 0 0 0 3938 981 0 0 16 0 1 0 20210224 6033408 726 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1473 726 413 48 0 1425 0
[pid=5546] vsize: 5892
Current children cumulated CPU time (s) 1087.31
Current children cumulated vsize (Kb) 8020

[startup+1470.1 s]
Raw data (loadavg): 1.14 1.11 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 759 0 0 0 4394 1154 0 0 16 0 1 0 20210224 6062080 730 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1480 730 413 48 0 1432 0
[pid=5546] vsize: 5920
Current children cumulated CPU time (s) 1093.6
Current children cumulated vsize (Kb) 8048

[startup+1480.1 s]
Raw data (loadavg): 1.12 1.11 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 769 0 0 0 5170 1228 0 0 15 0 1 0 20210224 6062080 740 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1480 740 413 48 0 1432 0
[pid=5546] vsize: 5920
Current children cumulated CPU time (s) 1102.1
Current children cumulated vsize (Kb) 8048

[startup+1490.1 s]
Raw data (loadavg): 1.10 1.10 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 769 0 0 0 5645 1393 0 0 16 0 1 0 20210224 6062080 740 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1480 740 413 48 0 1432 0
[pid=5546] vsize: 5920
Current children cumulated CPU time (s) 1108.5
Current children cumulated vsize (Kb) 8048

[startup+1500.1 s]
Raw data (loadavg): 1.16 1.11 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 774 0 0 0 6116 1566 0 0 15 0 1 0 20210224 6094848 745 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1488 745 413 48 0 1440 0
[pid=5546] vsize: 5952
Current children cumulated CPU time (s) 1114.94
Current children cumulated vsize (Kb) 8080

[startup+1510.1 s]
Raw data (loadavg): 1.13 1.11 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 781 0 0 0 6893 1639 0 0 16 0 1 0 20210224 6094848 752 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1488 752 413 48 0 1440 0
[pid=5546] vsize: 5952
Current children cumulated CPU time (s) 1123.44
Current children cumulated vsize (Kb) 8080

[startup+1520.1 s]
Raw data (loadavg): 1.19 1.12 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 781 0 0 0 7362 1817 0 0 15 0 1 0 20210224 6094848 752 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1488 752 413 48 0 1440 0
[pid=5546] vsize: 5952
Current children cumulated CPU time (s) 1129.91
Current children cumulated vsize (Kb) 8080

[startup+1530.1 s]
Raw data (loadavg): 1.16 1.12 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 788 0 0 0 7838 1985 0 0 16 0 1 0 20210224 6123520 759 4294967295 134512640 134702520 3221223712 3221214048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1495 759 413 48 0 1447 0
[pid=5546] vsize: 5980
Current children cumulated CPU time (s) 1136.35
Current children cumulated vsize (Kb) 8108

[startup+1540.1 s]
Raw data (loadavg): 1.14 1.11 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 798 0 0 0 8611 2060 0 0 16 0 1 0 20210224 6123520 769 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1495 769 413 48 0 1447 0
[pid=5546] vsize: 5980
Current children cumulated CPU time (s) 1144.83
Current children cumulated vsize (Kb) 8108

[startup+1550.1 s]
Raw data (loadavg): 1.12 1.11 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 799 0 0 0 9089 2232 0 0 15 0 1 0 20210224 6123520 770 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1495 770 413 48 0 1447 0
[pid=5546] vsize: 5980
Current children cumulated CPU time (s) 1151.33
Current children cumulated vsize (Kb) 8108

[startup+1560.1 s]
Raw data (loadavg): 1.10 1.11 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 801 0 0 0 9561 2408 0 0 16 0 1 0 20210224 6152192 772 4294967295 134512640 134702520 3221223712 3221211808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1502 772 413 48 0 1454 0
[pid=5546] vsize: 6008
Current children cumulated CPU time (s) 1157.81
Current children cumulated vsize (Kb) 8136

[startup+1570.1 s]
Raw data (loadavg): 1.08 1.10 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 808 0 0 0 10337 2486 0 0 15 0 1 0 20210224 6152192 779 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1502 779 413 48 0 1454 0
[pid=5546] vsize: 6008
Current children cumulated CPU time (s) 1166.35
Current children cumulated vsize (Kb) 8136

[startup+1580.11 s]
Raw data (loadavg): 1.07 1.10 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 810 0 0 0 10810 2658 0 0 16 0 1 0 20210224 6152192 781 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1502 781 413 48 0 1454 0
[pid=5546] vsize: 6008
Current children cumulated CPU time (s) 1172.8
Current children cumulated vsize (Kb) 8136

[startup+1590.11 s]
Raw data (loadavg): 1.06 1.09 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 813 0 0 0 11288 2823 0 0 16 0 1 0 20210224 6176768 784 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1508 784 413 48 0 1460 0
[pid=5546] vsize: 6032
Current children cumulated CPU time (s) 1179.23
Current children cumulated vsize (Kb) 8160

[startup+1600.11 s]
Raw data (loadavg): 1.05 1.09 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 821 0 0 0 12071 2896 0 0 16 0 1 0 20210224 6176768 792 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1508 792 413 48 0 1460 0
[pid=5546] vsize: 6032
Current children cumulated CPU time (s) 1187.79
Current children cumulated vsize (Kb) 8160

[startup+1610.11 s]
Raw data (loadavg): 1.04 1.09 1.02 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 821 0 0 0 12541 3071 0 0 16 0 1 0 20210224 6176768 792 4294967295 134512640 134702520 3221223712 3221222912 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1508 792 413 48 0 1460 0
[pid=5546] vsize: 6032
Current children cumulated CPU time (s) 1194.24
Current children cumulated vsize (Kb) 8160

[startup+1620.11 s]
Raw data (loadavg): 1.03 1.08 1.02 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 823 0 0 0 13008 3248 0 0 16 0 1 0 20210224 6201344 794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1514 794 413 48 0 1466 0
[pid=5546] vsize: 6056
Current children cumulated CPU time (s) 1200.68
Current children cumulated vsize (Kb) 8184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1620.11 s]
Raw data (loadavg): 1.03 1.08 1.02 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 823 0 0 0 13008 3248 0 0 16 0 1 0 20210224 6201344 794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1514 794 413 48 0 1466 0
[pid=5546] vsize: 6056
Current children cumulated CPU time (s) 1200.68
Current children cumulated vsize (Kb) 8184

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

Verifier Data

ERROR: no interpretation found !