Some explanations

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

General information on the benchmark

Namemps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb
MD5SUM4eeca712f5c43ba16697ebe3806a3a23
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 36989
Biggest coefficient in the objective function 40063152947200
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 712861332680300
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 40063152947200
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 712861332680300
Number of bits of the biggest sum of numbers50
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables38715
Total number of constraints3263
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3263
Minimum length of a constraint10
Maximum length of a constraint498

Trace number 3845

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-19 02:53:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7510 boxname=wulflinc7 idbench=478 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4eeca712f5c43ba16697ebe3806a3a23  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-sierra.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-sierra.opb 0
IDLAUNCH: 7510
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        888524 kB
Buffers:         36848 kB
Cached:          84268 kB
SwapCached:        740 kB
Active:          78668 kB
Inactive:        45104 kB
HighTotal:      131008 kB
HighFree:        44548 kB
LowTotal:       903652 kB
LowFree:        843976 kB
SwapTotal:     2097136 kB
SwapFree:      2095892 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            16656 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 03:23:56 (client local time) WITH STATUS 3 IN 113.885 SECONDS
stats: 7510 7 113.885 3

Solver Data

1:
seed: 0
Nr of vars set: 537  (#equs: 0)
Nr of vars set: 634  (#equs: 112)
#decisions: 341588;  #end-nodes: 224515;
#proof improvement attempts: 0;  #restarts: 1056
Current batch, end-nodes: 0 / 343 (343)
#axs: 3871, #non-axs: 149
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: 634  (#equs: 119)
Time taken: 5 min, 25 sec

2:
seed: 0
Nr of vars set: 634  (#equs: 0)
Nr of vars set: 634  (#equs: 87)
#decisions: 346700;  #end-nodes: 231261;
#proof improvement attempts: 0;  #restarts: 960
Current batch, end-nodes: 0 / 359 (359)
#axs: 3651, #non-axs: 637
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 634  (#equs: 100)
Time taken: 4 min, 27 sec

3:
seed: 0
Nr of vars set: 634  (#equs: 0)
Nr of vars set: 634  (#equs: 86)
#decisions: 541243;  #end-nodes: 270589;
#proof improvement attempts: 0;  #restarts: 960
Current batch, end-nodes: 0 / 399 (399)
#axs: 3670, #non-axs: 1790
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 634  (#equs: 119)
Time taken: 4 min, 5 sec

4:
seed: 0
Nr of vars set: 634  (#equs: 0)
Nr of vars set: 640  (#equs: 162)
#decisions: 118612;  #end-nodes: 44009;
#proof improvement attempts: 43931;  #restarts: 192
Current batch, end-nodes: 0 / 247 (247)
#axs: 3722, #non-axs: 632
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 640  (#equs: 171)
Time taken: 4 min, 7 sec

5:

Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory

seed: 0
Nr of vars set: 640  (#equs: 0)
Nr of vars set: 640  (#equs: 90)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 640  (#equs: 123)
Time taken: 1 min, 53 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/763/stat): 763 (vallstSAT2005PB) R 762 763 15400 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1788243027 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/763/statm): 174 3 169 147 0 27 0
[pid=763] 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=764
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=764) exited with status: 0
New process pid=765
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=765) exited with status: 0
New process pid=766
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/wulflinc7/normalized-mps-v2-20-10-sierra.opb

[startup+10.0036 s]
Raw data (loadavg): 0.74 0.85 0.93 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2383 0 0 0 973 12 0 0 25 0 1 0 1788243034 12853248 2224 4294967295 134512640 134702520 3221223952 3221223168 134547183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 3138 2224 413 48 0 3090 0
[pid=766] vsize: 12552
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 14680
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+20.0042 s]
Raw data (loadavg): 0.78 0.86 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2776 0 0 0 1649 118 0 0 18 0 1 0 1788243034 12673024 2512 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 3094 2512 413 48 0 3046 0
[pid=766] vsize: 12376
Current children cumulated CPU time (s) 17.69
Current children cumulated vsize (Kb) 14504

[startup+30.0049 s]
Raw data (loadavg): 0.81 0.86 0.93 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2776 0 0 0 2381 211 0 0 19 0 1 0 1788243034 12673024 2512 4294967295 134512640 134702520 3221223952 3221223056 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 3094 2512 413 48 0 3046 0
[pid=766] vsize: 12376
Current children cumulated CPU time (s) 25.94
Current children cumulated vsize (Kb) 14504

[startup+40.0055 s]
Raw data (loadavg): 0.84 0.86 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2809 0 0 0 2881 371 0 0 16 0 1 0 1788243034 23752704 2545 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2545 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 32.54
Current children cumulated vsize (Kb) 25324

[startup+50.0062 s]
Raw data (loadavg): 0.87 0.87 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2811 0 0 0 3384 536 0 0 16 0 1 0 1788243034 23752704 2547 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2547 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 39.22
Current children cumulated vsize (Kb) 25324

[startup+60.007 s]
Raw data (loadavg): 0.89 0.87 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2811 0 0 0 4112 631 0 0 16 0 1 0 1788243034 23752704 2547 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2547 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 47.45
Current children cumulated vsize (Kb) 25324

[startup+70.0074 s]
Raw data (loadavg): 0.90 0.88 0.93 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2814 0 0 0 4768 744 0 0 16 0 1 0 1788243034 23752704 2550 4294967295 134512640 134702520 3221223952 3221172048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2550 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 55.14
Current children cumulated vsize (Kb) 25324

[startup+80.0081 s]
Raw data (loadavg): 0.92 0.88 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2816 0 0 0 5267 907 0 0 15 0 1 0 1788243034 23752704 2552 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2552 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 61.76
Current children cumulated vsize (Kb) 25324

[startup+90.0087 s]
Raw data (loadavg): 0.93 0.88 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2816 0 0 0 5863 1042 0 0 16 0 1 0 1788243034 23752704 2552 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2552 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 69.07
Current children cumulated vsize (Kb) 25324

[startup+100.009 s]
Raw data (loadavg): 0.94 0.89 0.93 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2816 0 0 0 6597 1133 0 0 16 0 1 0 1788243034 23752704 2552 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2552 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 77.32
Current children cumulated vsize (Kb) 25324

[startup+110.01 s]
Raw data (loadavg): 1.02 0.91 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2821 0 0 0 7139 1281 0 0 16 0 1 0 1788243034 23752704 2557 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2557 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 84.22
Current children cumulated vsize (Kb) 25324

[startup+120.011 s]
Raw data (loadavg): 1.02 0.91 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2821 0 0 0 7605 1456 0 0 16 0 1 0 1788243034 23752704 2557 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2557 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 90.63
Current children cumulated vsize (Kb) 25324

[startup+130.011 s]
Raw data (loadavg): 1.10 0.93 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2821 0 0 0 8321 1551 0 0 16 0 1 0 1788243034 23752704 2557 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2557 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 98.74
Current children cumulated vsize (Kb) 25324

[startup+140.012 s]
Raw data (loadavg): 1.08 0.93 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2822 0 0 0 9002 1657 0 0 16 0 1 0 1788243034 23752704 2558 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2558 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 106.61
Current children cumulated vsize (Kb) 25324

[startup+150.014 s]
Raw data (loadavg): 1.07 0.93 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2824 0 0 0 9471 1837 0 0 16 0 1 0 1788243034 23752704 2560 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2560 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 113.1
Current children cumulated vsize (Kb) 25324

[startup+160.013 s]
Raw data (loadavg): 1.06 0.93 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2826 0 0 0 10043 1983 0 0 16 0 1 0 1788243034 23752704 2562 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2562 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 120.28
Current children cumulated vsize (Kb) 25324

[startup+170.014 s]
Raw data (loadavg): 1.05 0.94 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2826 0 0 0 10781 2071 0 0 16 0 1 0 1788243034 23752704 2562 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2562 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 128.54
Current children cumulated vsize (Kb) 25324

[startup+180.014 s]
Raw data (loadavg): 1.04 0.94 0.94 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2827 0 0 0 11349 2218 0 0 16 0 1 0 1788243034 23752704 2563 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2563 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 135.69
Current children cumulated vsize (Kb) 25324

[startup+190.016 s]
Raw data (loadavg): 1.03 0.94 0.94 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2829 0 0 0 11837 2387 0 0 16 0 1 0 1788243034 23752704 2565 4294967295 134512640 134702520 3221223952 3221156528 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2565 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 142.26
Current children cumulated vsize (Kb) 25324

[startup+200.017 s]
Raw data (loadavg): 1.10 0.96 0.95 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2829 0 0 0 12492 2501 0 0 15 0 1 0 1788243034 23752704 2565 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2565 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 149.95
Current children cumulated vsize (Kb) 25324

[startup+210.017 s]
Raw data (loadavg): 1.08 0.96 0.95 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2830 0 0 0 13220 2596 0 0 16 0 1 0 1788243034 23752704 2566 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2566 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 158.18
Current children cumulated vsize (Kb) 25324

[startup+220.018 s]
Raw data (loadavg): 1.07 0.96 0.95 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2832 0 0 0 13711 2767 0 0 16 0 1 0 1788243034 23752704 2568 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2568 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 164.8
Current children cumulated vsize (Kb) 25324

[startup+230.019 s]
Raw data (loadavg): 1.06 0.96 0.95 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2833 0 0 0 14203 2938 0 0 15 0 1 0 1788243034 23752704 2569 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2569 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 171.43
Current children cumulated vsize (Kb) 25324

[startup+240.02 s]
Raw data (loadavg): 1.05 0.96 0.95 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2833 0 0 0 14939 3028 0 0 15 0 1 0 1788243034 23752704 2569 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2569 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 179.69
Current children cumulated vsize (Kb) 25324

[startup+250.022 s]
Raw data (loadavg): 1.04 0.96 0.95 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2836 0 0 0 15592 3143 0 0 16 0 1 0 1788243034 23752704 2572 4294967295 134512640 134702520 3221223952 3221222976 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2572 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 187.37
Current children cumulated vsize (Kb) 25324

[startup+260.022 s]
Raw data (loadavg): 1.12 0.98 0.96 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2837 0 0 0 16069 3317 0 0 17 0 1 0 1788243034 23752704 2573 4294967295 134512640 134702520 3221223952 3221222976 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2573 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 193.88
Current children cumulated vsize (Kb) 25324

[startup+270.022 s]
Raw data (loadavg): 1.10 0.98 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2842 0 0 0 16650 3453 0 0 15 0 1 0 1788243034 23752704 2578 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2578 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 201.05
Current children cumulated vsize (Kb) 25324

[startup+280.023 s]
Raw data (loadavg): 1.08 0.98 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2842 0 0 0 17380 3542 0 0 16 0 1 0 1788243034 23752704 2578 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2578 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 209.24
Current children cumulated vsize (Kb) 25324

[startup+290.023 s]
Raw data (loadavg): 1.07 0.98 0.96 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 2842 0 0 0 17946 3686 0 0 16 0 1 0 1788243034 23752704 2578 4294967295 134512640 134702520 3221223952 3221134268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2578 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 216.34
Current children cumulated vsize (Kb) 25324

[startup+300.024 s]
Raw data (loadavg): 1.13 1.00 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2846 0 0 0 18429 3857 0 0 16 0 1 0 1788243034 23752704 2582 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2582 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 222.88
Current children cumulated vsize (Kb) 25324

[startup+310.025 s]
Raw data (loadavg): 1.11 1.00 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2846 0 0 0 19098 3967 0 0 16 0 1 0 1788243034 23752704 2582 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 5799 2582 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 230.67
Current children cumulated vsize (Kb) 25324

[startup+320.025 s]
Raw data (loadavg): 1.09 1.00 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 2846 0 0 0 19820 4061 0 0 15 0 1 0 1788243034 23752704 2582 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2582 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 238.83
Current children cumulated vsize (Kb) 25324

[startup+330.026 s]
Raw data (loadavg): 1.08 1.00 0.96 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 3060 0 0 0 20320 4228 0 0 16 0 1 0 1788243034 23752704 2796 4294967295 134512640 134702520 3221223952 3221223072 134588139 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 5799 2796 413 48 0 5751 0
[pid=766] vsize: 23196
Current children cumulated CPU time (s) 245.5
Current children cumulated vsize (Kb) 25324

[startup+340.027 s]
Raw data (loadavg): 1.07 1.00 0.96 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 3195 0 0 0 20851 4384 0 0 16 0 1 0 1788243034 25182208 2931 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 6148 2931 413 48 0 6100 0
[pid=766] vsize: 24592
Current children cumulated CPU time (s) 252.37
Current children cumulated vsize (Kb) 26720

[startup+350.027 s]
Raw data (loadavg): 1.06 1.00 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3196 0 0 0 21573 4480 0 0 15 0 1 0 1788243034 25337856 2932 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 6186 2932 413 48 0 6138 0
[pid=766] vsize: 24744
Current children cumulated CPU time (s) 260.55
Current children cumulated vsize (Kb) 26872

[startup+360.028 s]
Raw data (loadavg): 1.05 1.00 0.96 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3196 0 0 0 22266 4583 0 0 16 0 1 0 1788243034 25182208 2931 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 6148 2931 413 48 0 6100 0
[pid=766] vsize: 24592
Current children cumulated CPU time (s) 268.51
Current children cumulated vsize (Kb) 26720

[startup+370.029 s]
Raw data (loadavg): 1.12 1.01 0.97 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 3200 0 0 0 22793 4740 0 0 16 0 1 0 1788243034 25182208 2935 4294967295 134512640 134702520 3221223952 3221222976 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/766/statm): 6148 2935 413 48 0 6100 0
[pid=766] vsize: 24592
Current children cumulated CPU time (s) 275.35
Current children cumulated vsize (Kb) 26720

[startup+380.029 s]
Raw data (loadavg): 1.10 1.01 0.97 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3260 0 0 0 23322 4888 0 0 16 0 1 0 1788243034 25337856 2994 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 6186 2994 413 48 0 6138 0
[pid=766] vsize: 24744
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (Kb) 26872

[startup+390.031 s]
Raw data (loadavg): 1.08 1.01 0.97 2/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) R 763 763 15400 0 -1 0 3260 0 0 0 24055 4980 0 0 16 0 1 0 1788243034 25337856 2994 4294967295 134512640 134702520 3221223952 3221222848 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/766/statm): 6186 2994 413 48 0 6138 0
[pid=766] vsize: 24744
Current children cumulated CPU time (s) 290.37
Current children cumulated vsize (Kb) 26872

[startup+400.031 s]
Raw data (loadavg): 1.07 1.01 0.97 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3262 0 0 0 24720 5090 0 0 15 0 1 0 1788243034 25182208 2995 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 6148 2995 413 48 0 6100 0
[pid=766] vsize: 24592
Current children cumulated CPU time (s) 298.12
Current children cumulated vsize (Kb) 26720

[startup+410.031 s]
Raw data (loadavg): 1.06 1.01 0.97 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3277 0 0 0 25258 5249 0 0 16 0 1 0 1788243034 25337856 3009 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/766/statm): 6186 3009 413 48 0 6138 0
[pid=766] vsize: 24744
Current children cumulated CPU time (s) 305.09
Current children cumulated vsize (Kb) 26872

[startup+420.032 s]
Raw data (loadavg): 1.20 1.04 0.98 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3295 0 0 0 25788 5408 0 0 16 0 1 0 1788243034 25493504 3024 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 6224 3024 413 48 0 6176 0
[pid=766] vsize: 24896
Current children cumulated CPU time (s) 311.98
Current children cumulated vsize (Kb) 27024

[startup+430.032 s]
Raw data (loadavg): 1.17 1.04 0.98 1/57 766
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1788243027 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 242 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/766/stat): 766 (vallst) T 763 763 15400 0 -1 0 3295 0 0 0 26522 5499 0 0 16 0 1 0 1788243034 25493504 3024 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/766/statm): 6224 3024 413 48 0 6176 0
[pid=766] vsize: 24896
Current children cumulated CPU time (s) 320.23
Current children cumulated vsize (Kb) 27024
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=766) exited with status: 2
New process pid=767
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=767) exited with status: 0
New process pid=768
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+440.033 s]
Raw data (loadavg): 1.15 1.04 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2086 0 0 0 221 14 0 0 16 0 1 0 1788286789 11448320 2056 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 2795 2056 413 48 0 2747 0
[pid=768] vsize: 11180
Current children cumulated CPU time (s) 328.89
Current children cumulated vsize (Kb) 13308

[startup+450.034 s]
Raw data (loadavg): 1.20 1.05 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2202 0 0 0 733 173 0 0 17 0 1 0 1788286789 12144640 2172 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 2965 2172 413 48 0 2917 0
[pid=768] vsize: 11860
Current children cumulated CPU time (s) 335.6
Current children cumulated vsize (Kb) 13988

[startup+460.034 s]
Raw data (loadavg): 1.17 1.05 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2204 0 0 0 1213 337 0 0 16 0 1 0 1788286789 12300288 2174 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 3003 2174 413 48 0 2955 0
[pid=768] vsize: 12012
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (Kb) 14140

[startup+470.035 s]
Raw data (loadavg): 1.14 1.05 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2305 0 0 0 1677 515 0 0 16 0 1 0 1788286789 23236608 2267 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5673 2267 413 48 0 5625 0
[pid=768] vsize: 22692
Current children cumulated CPU time (s) 348.46
Current children cumulated vsize (Kb) 24820

[startup+480.035 s]
Raw data (loadavg): 1.12 1.05 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2321 0 0 0 2147 689 0 0 16 0 1 0 1788286789 23392256 2277 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5711 2277 413 48 0 5663 0
[pid=768] vsize: 22844
Current children cumulated CPU time (s) 354.9
Current children cumulated vsize (Kb) 24972

[startup+490.037 s]
Raw data (loadavg): 1.10 1.05 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2322 0 0 0 2684 849 0 0 16 0 1 0 1788286789 23392256 2278 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5711 2278 413 48 0 5663 0
[pid=768] vsize: 22844
Current children cumulated CPU time (s) 361.87
Current children cumulated vsize (Kb) 24972

[startup+500.038 s]
Raw data (loadavg): 1.09 1.04 0.98 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2326 0 0 0 3125 1028 0 0 16 0 1 0 1788286789 23236608 2278 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5673 2278 413 48 0 5625 0
[pid=768] vsize: 22692
Current children cumulated CPU time (s) 368.07
Current children cumulated vsize (Kb) 24820

[startup+510.037 s]
Raw data (loadavg): 1.15 1.06 0.99 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2338 0 0 0 3582 1202 0 0 16 0 1 0 1788286789 23236608 2284 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5673 2284 413 48 0 5625 0
[pid=768] vsize: 22692
Current children cumulated CPU time (s) 374.38
Current children cumulated vsize (Kb) 24820

[startup+520.038 s]
Raw data (loadavg): 1.20 1.07 0.99 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2347 0 0 0 4060 1376 0 0 16 0 1 0 1788286789 23392256 2289 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5711 2289 413 48 0 5663 0
[pid=768] vsize: 22844
Current children cumulated CPU time (s) 380.9
Current children cumulated vsize (Kb) 24972

[startup+530.039 s]
Raw data (loadavg): 1.17 1.07 0.99 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2347 0 0 0 4587 1534 0 0 16 0 1 0 1788286789 23392256 2289 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5711 2289 413 48 0 5663 0
[pid=768] vsize: 22844
Current children cumulated CPU time (s) 387.75
Current children cumulated vsize (Kb) 24972

[startup+540.039 s]
Raw data (loadavg): 1.14 1.07 0.99 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2356 0 0 0 4999 1725 0 0 16 0 1 0 1788286789 23236608 2292 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5673 2292 413 48 0 5625 0
[pid=768] vsize: 22692
Current children cumulated CPU time (s) 393.78
Current children cumulated vsize (Kb) 24820

[startup+550.041 s]
Raw data (loadavg): 1.20 1.08 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2366 0 0 0 5456 1901 0 0 16 0 1 0 1788286789 23236608 2296 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5673 2296 413 48 0 5625 0
[pid=768] vsize: 22692
Current children cumulated CPU time (s) 400.11
Current children cumulated vsize (Kb) 24820

[startup+560.042 s]
Raw data (loadavg): 1.17 1.08 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2372 0 0 0 5956 2071 0 0 15 0 1 0 1788286789 23392256 2300 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5711 2300 413 48 0 5663 0
[pid=768] vsize: 22844
Current children cumulated CPU time (s) 406.81
Current children cumulated vsize (Kb) 24972

[startup+570.042 s]
Raw data (loadavg): 1.14 1.07 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2373 0 0 0 6466 2233 0 0 15 0 1 0 1788286789 23547904 2301 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5749 2301 413 48 0 5701 0
[pid=768] vsize: 22996
Current children cumulated CPU time (s) 413.53
Current children cumulated vsize (Kb) 25124

[startup+580.043 s]
Raw data (loadavg): 1.12 1.07 1.00 2/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) R 763 763 15400 0 -1 0 2380 0 0 0 6891 2423 0 0 16 0 1 0 1788286789 23080960 2300 4294967295 134512640 134702520 3221223712 3221212588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/768/statm): 5635 2300 413 48 0 5587 0
[pid=768] vsize: 22540
Current children cumulated CPU time (s) 419.68
Current children cumulated vsize (Kb) 24668

[startup+590.043 s]
Raw data (loadavg): 1.10 1.07 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2392 0 0 0 7381 2591 0 0 16 0 1 0 1788286789 23371776 2306 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5706 2306 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 426.26
Current children cumulated vsize (Kb) 24952

[startup+600.044 s]
Raw data (loadavg): 1.09 1.07 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2393 0 0 0 7892 2760 0 0 16 0 1 0 1788286789 23527424 2307 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5744 2307 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 433.06
Current children cumulated vsize (Kb) 25104

[startup+610.045 s]
Raw data (loadavg): 1.15 1.08 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 8373 2938 0 0 16 0 1 0 1788286789 23683072 2308 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5782 2308 413 48 0 5734 0
[pid=768] vsize: 23128
Current children cumulated CPU time (s) 439.65
Current children cumulated vsize (Kb) 25256

[startup+620.045 s]
Raw data (loadavg): 1.13 1.08 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2402 0 0 0 8823 3117 0 0 16 0 1 0 1788286789 23371776 2308 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5706 2308 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 445.94
Current children cumulated vsize (Kb) 24952

[startup+630.046 s]
Raw data (loadavg): 1.11 1.07 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2414 0 0 0 9292 3295 0 0 16 0 1 0 1788286789 23371776 2314 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5706 2314 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 452.41
Current children cumulated vsize (Kb) 24952

[startup+640.048 s]
Raw data (loadavg): 1.09 1.07 1.00 2/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) R 763 763 15400 0 -1 0 2415 0 0 0 9829 3447 0 0 15 0 1 0 1788286789 23527424 2315 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/768/statm): 5744 2315 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 459.3
Current children cumulated vsize (Kb) 25104

[startup+650.048 s]
Raw data (loadavg): 1.16 1.08 1.01 2/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) R 763 763 15400 0 -1 0 2418 0 0 0 10286 3626 0 0 16 0 1 0 1788286789 23216128 2314 4294967295 134512640 134702520 3221223712 3221192768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/768/statm): 5668 2314 413 48 0 5620 0
[pid=768] vsize: 22672
Current children cumulated CPU time (s) 465.66
Current children cumulated vsize (Kb) 24800

[startup+660.048 s]
Raw data (loadavg): 1.13 1.08 1.00 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2428 0 0 0 10760 3797 0 0 16 0 1 0 1788286789 23371776 2318 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5706 2318 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 472.11
Current children cumulated vsize (Kb) 24952

[startup+670.05 s]
Raw data (loadavg): 1.11 1.08 1.00 2/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) R 763 763 15400 0 -1 0 2435 0 0 0 11230 3974 0 0 16 0 1 0 1788286789 23527424 2321 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/768/statm): 5744 2321 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 478.58
Current children cumulated vsize (Kb) 25104

[startup+680.05 s]
Raw data (loadavg): 1.17 1.09 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2435 0 0 0 11771 4129 0 0 16 0 1 0 1788286789 23527424 2321 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5744 2321 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 485.54
Current children cumulated vsize (Kb) 25104

[startup+690.051 s]
Raw data (loadavg): 1.14 1.09 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2440 0 0 0 12200 4322 0 0 16 0 1 0 1788286789 23371776 2322 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5706 2322 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 491.76
Current children cumulated vsize (Kb) 24952

[startup+700.052 s]
Raw data (loadavg): 1.12 1.08 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2451 0 0 0 12668 4497 0 0 16 0 1 0 1788286789 23371776 2327 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5706 2327 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 498.19
Current children cumulated vsize (Kb) 24952

[startup+710.052 s]
Raw data (loadavg): 1.17 1.10 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2457 0 0 0 13162 4663 0 0 16 0 1 0 1788286789 23527424 2329 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5744 2329 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 504.79
Current children cumulated vsize (Kb) 25104

[startup+720.053 s]
Raw data (loadavg): 1.15 1.09 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2457 0 0 0 13687 4823 0 0 16 0 1 0 1788286789 23527424 2329 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5744 2329 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 511.64
Current children cumulated vsize (Kb) 25104

[startup+730.053 s]
Raw data (loadavg): 1.20 1.11 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2464 0 0 0 14117 5014 0 0 15 0 1 0 1788286789 23371776 2330 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5706 2330 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 517.85
Current children cumulated vsize (Kb) 24952

[startup+740.055 s]
Raw data (loadavg): 1.25 1.12 1.02 2/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) R 763 763 15400 0 -1 0 2478 0 0 0 14591 5186 0 0 16 0 1 0 1788286789 23371776 2338 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/768/statm): 5706 2338 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 524.31
Current children cumulated vsize (Kb) 24952

[startup+750.056 s]
Raw data (loadavg): 1.21 1.11 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2483 0 0 0 15083 5349 0 0 16 0 1 0 1788286789 23527424 2341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5744 2341 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 530.86
Current children cumulated vsize (Kb) 25104

[startup+760.056 s]
Raw data (loadavg): 1.18 1.11 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2483 0 0 0 15603 5506 0 0 16 0 1 0 1788286789 23527424 2341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5744 2341 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 537.63
Current children cumulated vsize (Kb) 25104

[startup+770.057 s]
Raw data (loadavg): 1.15 1.11 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2491 0 0 0 16018 5699 0 0 15 0 1 0 1788286789 23371776 2343 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5706 2343 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 543.71
Current children cumulated vsize (Kb) 24952

[startup+780.058 s]
Raw data (loadavg): 1.13 1.10 1.01 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2503 0 0 0 16497 5868 0 0 15 0 1 0 1788286789 23371776 2349 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 5706 2349 413 48 0 5658 0
[pid=768] vsize: 22824
Current children cumulated CPU time (s) 550.19
Current children cumulated vsize (Kb) 24952

[startup+790.059 s]
Raw data (loadavg): 1.19 1.12 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2510 0 0 0 16998 6031 0 0 16 0 1 0 1788286789 23527424 2354 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5744 2354 413 48 0 5696 0
[pid=768] vsize: 22976
Current children cumulated CPU time (s) 556.83
Current children cumulated vsize (Kb) 25104

[startup+800.06 s]
Raw data (loadavg): 1.16 1.11 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 2511 0 0 0 17496 6200 0 0 16 0 1 0 1788286789 23683072 2355 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 5782 2355 413 48 0 5734 0
[pid=768] vsize: 23128
Current children cumulated CPU time (s) 563.5
Current children cumulated vsize (Kb) 25256

[startup+810.06 s]
Raw data (loadavg): 1.13 1.11 1.02 2/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) R 763 763 15400 0 -1 0 2649 0 0 0 17941 6382 0 0 16 0 1 0 1788286789 23506944 2487 4294967295 134512640 134702520 3221223712 3221152268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/768/statm): 5739 2487 413 48 0 5691 0
[pid=768] vsize: 22956
Current children cumulated CPU time (s) 569.77
Current children cumulated vsize (Kb) 25084

[startup+820.061 s]
Raw data (loadavg): 1.19 1.12 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 3191 0 0 0 18508 6531 0 0 16 0 1 0 1788286789 25190400 3024 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/768/statm): 6150 3024 413 48 0 6102 0
[pid=768] vsize: 24600
Current children cumulated CPU time (s) 576.93
Current children cumulated vsize (Kb) 26728

[startup+830.062 s]
Raw data (loadavg): 1.16 1.12 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 3352 0 0 0 19048 6684 0 0 15 0 1 0 1788286789 26894336 3183 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 6566 3183 413 48 0 6518 0
[pid=768] vsize: 26264
Current children cumulated CPU time (s) 583.86
Current children cumulated vsize (Kb) 28392

[startup+840.063 s]
Raw data (loadavg): 1.14 1.11 1.02 1/57 768
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 378 3670 0 0 2 1 27085 5566 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/768/stat): 768 (vallst) T 763 763 15400 0 -1 0 3352 0 0 0 19586 6837 0 0 16 0 1 0 1788286789 26894336 3183 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/768/statm): 6566 3183 413 48 0 6518 0
[pid=768] vsize: 26264
Current children cumulated CPU time (s) 590.77
Current children cumulated vsize (Kb) 28392
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=768) exited with status: 2
New process pid=769
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=769) exited with status: 0
New process pid=770
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+850.064 s]
Raw data (loadavg): 1.12 1.11 1.02 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2080 0 0 0 245 45 0 0 17 0 1 0 1788327681 11223040 2051 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 2740 2051 413 48 0 2692 0
[pid=770] vsize: 10960
Current children cumulated CPU time (s) 597.79
Current children cumulated vsize (Kb) 13088

[startup+860.064 s]
Raw data (loadavg): 1.17 1.12 1.02 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2124 0 0 0 731 203 0 0 17 0 1 0 1788327681 11649024 2095 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 2844 2095 413 48 0 2796 0
[pid=770] vsize: 11376
Current children cumulated CPU time (s) 604.23
Current children cumulated vsize (Kb) 13504

[startup+870.064 s]
Raw data (loadavg): 1.22 1.13 1.03 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2247 0 0 0 1128 393 0 0 16 0 1 0 1788327681 21475328 2214 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5243 2214 413 48 0 5195 0
[pid=770] vsize: 20972
Current children cumulated CPU time (s) 610.1
Current children cumulated vsize (Kb) 23100

[startup+880.065 s]
Raw data (loadavg): 1.19 1.13 1.03 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2287 0 0 0 1596 562 0 0 16 0 1 0 1788327681 21610496 2248 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5276 2248 413 48 0 5228 0
[pid=770] vsize: 21104
Current children cumulated CPU time (s) 616.47
Current children cumulated vsize (Kb) 23232

[startup+890.066 s]
Raw data (loadavg): 1.16 1.12 1.02 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2305 0 0 0 2074 737 0 0 16 0 1 0 1788327681 21766144 2262 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5314 2262 413 48 0 5266 0
[pid=770] vsize: 21256
Current children cumulated CPU time (s) 623
Current children cumulated vsize (Kb) 23384

[startup+900.066 s]
Raw data (loadavg): 1.13 1.12 1.02 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2306 0 0 0 2536 912 0 0 16 0 1 0 1788327681 21921792 2263 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5352 2263 413 48 0 5304 0
[pid=770] vsize: 21408
Current children cumulated CPU time (s) 629.37
Current children cumulated vsize (Kb) 23536

[startup+910.067 s]
Raw data (loadavg): 1.11 1.11 1.02 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2316 0 0 0 2921 1109 0 0 16 0 1 0 1788327681 21454848 2265 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/770/statm): 5238 2265 413 48 0 5190 0
[pid=770] vsize: 20952
Current children cumulated CPU time (s) 635.19
Current children cumulated vsize (Kb) 23080

[startup+920.067 s]
Raw data (loadavg): 1.25 1.14 1.03 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2333 0 0 0 3384 1280 0 0 15 0 1 0 1788327681 21590016 2276 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5271 2276 413 48 0 5223 0
[pid=770] vsize: 21084
Current children cumulated CPU time (s) 641.53
Current children cumulated vsize (Kb) 23212

[startup+930.068 s]
Raw data (loadavg): 1.21 1.14 1.03 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2336 0 0 0 3854 1446 0 0 16 0 1 0 1788327681 21901312 2279 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5347 2279 413 48 0 5299 0
[pid=770] vsize: 21388
Current children cumulated CPU time (s) 647.89
Current children cumulated vsize (Kb) 23516

[startup+940.07 s]
Raw data (loadavg): 1.25 1.15 1.04 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2339 0 0 0 4234 1650 0 0 17 0 1 0 1788327681 21590016 2278 4294967295 134512640 134702520 3221223712 3221152288 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/770/statm): 5271 2278 413 48 0 5223 0
[pid=770] vsize: 21084
Current children cumulated CPU time (s) 653.73
Current children cumulated vsize (Kb) 23212

[startup+950.07 s]
Raw data (loadavg): 1.21 1.14 1.04 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2354 0 0 0 4706 1821 0 0 16 0 1 0 1788327681 21590016 2287 4294967295 134512640 134702520 3221223712 3221203788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/770/statm): 5271 2287 413 48 0 5223 0
[pid=770] vsize: 21084
Current children cumulated CPU time (s) 660.16
Current children cumulated vsize (Kb) 23212

[startup+960.071 s]
Raw data (loadavg): 1.18 1.14 1.03 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2363 0 0 0 5179 1990 0 0 16 0 1 0 1788327681 21901312 2292 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5347 2292 413 48 0 5299 0
[pid=770] vsize: 21388
Current children cumulated CPU time (s) 666.58
Current children cumulated vsize (Kb) 23516

[startup+970.072 s]
Raw data (loadavg): 1.23 1.15 1.04 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2363 0 0 0 5643 2171 0 0 16 0 1 0 1788327681 21901312 2292 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5347 2292 413 48 0 5299 0
[pid=770] vsize: 21388
Current children cumulated CPU time (s) 673.03
Current children cumulated vsize (Kb) 23516

[startup+980.072 s]
Raw data (loadavg): 1.28 1.16 1.04 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2370 0 0 0 6037 2374 0 0 16 0 1 0 1788327681 21590016 2293 4294967295 134512640 134702520 3221223712 3221206348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/770/statm): 5271 2293 413 48 0 5223 0
[pid=770] vsize: 21084
Current children cumulated CPU time (s) 679
Current children cumulated vsize (Kb) 23212

[startup+990.074 s]
Raw data (loadavg): 1.31 1.17 1.05 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2381 0 0 0 6496 2556 0 0 16 0 1 0 1788327681 21590016 2298 4294967295 134512640 134702520 3221223712 3221196928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/770/statm): 5271 2298 413 48 0 5223 0
[pid=770] vsize: 21084
Current children cumulated CPU time (s) 685.41
Current children cumulated vsize (Kb) 23212

[startup+1000.07 s]
Raw data (loadavg): 1.26 1.17 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2386 0 0 0 6951 2736 0 0 15 0 1 0 1788327681 21901312 2301 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5347 2301 413 48 0 5299 0
[pid=770] vsize: 21388
Current children cumulated CPU time (s) 691.76
Current children cumulated vsize (Kb) 23516

[startup+1010.08 s]
Raw data (loadavg): 1.30 1.18 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2387 0 0 0 7371 2925 0 0 15 0 1 0 1788327681 22056960 2302 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5385 2302 413 48 0 5337 0
[pid=770] vsize: 21540
Current children cumulated CPU time (s) 697.85
Current children cumulated vsize (Kb) 23668

[startup+1020.08 s]
Raw data (loadavg): 1.25 1.17 1.05 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2400 0 0 0 7783 3124 0 0 15 0 1 0 1788327681 21745664 2307 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5309 2307 413 48 0 5261 0
[pid=770] vsize: 21236
Current children cumulated CPU time (s) 703.96
Current children cumulated vsize (Kb) 23364

[startup+1030.08 s]
Raw data (loadavg): 1.21 1.16 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2409 0 0 0 8244 3298 0 0 16 0 1 0 1788327681 21590016 2310 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5271 2310 413 48 0 5223 0
[pid=770] vsize: 21084
Current children cumulated CPU time (s) 710.31
Current children cumulated vsize (Kb) 23212

[startup+1040.08 s]
Raw data (loadavg): 1.18 1.16 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2412 0 0 0 8709 3474 0 0 16 0 1 0 1788327681 21901312 2313 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5347 2313 413 48 0 5299 0
[pid=770] vsize: 21388
Current children cumulated CPU time (s) 716.72
Current children cumulated vsize (Kb) 23516

[startup+1050.08 s]
Raw data (loadavg): 1.23 1.17 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2416 0 0 0 9087 3676 0 0 16 0 1 0 1788327681 21745664 2313 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5309 2313 413 48 0 5261 0
[pid=770] vsize: 21236
Current children cumulated CPU time (s) 722.52
Current children cumulated vsize (Kb) 23364

[startup+1060.08 s]
Raw data (loadavg): 1.20 1.16 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2427 0 0 0 9556 3854 0 0 16 0 1 0 1788327681 21725184 2318 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5304 2318 413 48 0 5256 0
[pid=770] vsize: 21216
Current children cumulated CPU time (s) 728.99
Current children cumulated vsize (Kb) 23344

[startup+1070.08 s]
Raw data (loadavg): 1.25 1.17 1.06 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2435 0 0 0 10025 4029 0 0 15 0 1 0 1788327681 22036480 2322 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5380 2322 413 48 0 5332 0
[pid=770] vsize: 21520
Current children cumulated CPU time (s) 735.43
Current children cumulated vsize (Kb) 23648

[startup+1080.08 s]
Raw data (loadavg): 1.21 1.17 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2435 0 0 0 10489 4202 0 0 16 0 1 0 1788327681 22036480 2322 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5380 2322 413 48 0 5332 0
[pid=770] vsize: 21520
Current children cumulated CPU time (s) 741.8
Current children cumulated vsize (Kb) 23648

[startup+1090.08 s]
Raw data (loadavg): 1.17 1.16 1.05 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2443 0 0 0 10866 4404 0 0 16 0 1 0 1788327681 21880832 2324 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5342 2324 413 48 0 5294 0
[pid=770] vsize: 21368
Current children cumulated CPU time (s) 747.59
Current children cumulated vsize (Kb) 23496

[startup+1100.08 s]
Raw data (loadavg): 1.15 1.16 1.05 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2454 0 0 0 11337 4572 0 0 16 0 1 0 1788327681 21725184 2329 4294967295 134512640 134702520 3221223712 3221222368 134612040 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/770/statm): 5304 2329 413 48 0 5256 0
[pid=770] vsize: 21216
Current children cumulated CPU time (s) 753.98
Current children cumulated vsize (Kb) 23344

[startup+1110.08 s]
Raw data (loadavg): 1.12 1.15 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2460 0 0 0 11808 4744 0 0 16 0 1 0 1788327681 22036480 2333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5380 2333 413 48 0 5332 0
[pid=770] vsize: 21520
Current children cumulated CPU time (s) 760.41
Current children cumulated vsize (Kb) 23648

[startup+1120.09 s]
Raw data (loadavg): 1.10 1.14 1.05 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2461 0 0 0 12240 4923 0 0 16 0 1 0 1788327681 22192128 2334 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5418 2334 413 48 0 5370 0
[pid=770] vsize: 21672
Current children cumulated CPU time (s) 766.52
Current children cumulated vsize (Kb) 23800

[startup+1130.09 s]
Raw data (loadavg): 1.16 1.16 1.06 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2471 0 0 0 12678 5103 0 0 15 0 1 0 1788327681 21880832 2336 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5342 2336 413 48 0 5294 0
[pid=770] vsize: 21368
Current children cumulated CPU time (s) 772.7
Current children cumulated vsize (Kb) 23496

[startup+1140.09 s]
Raw data (loadavg): 1.21 1.17 1.06 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2481 0 0 0 13114 5288 0 0 16 0 1 0 1788327681 21725184 2340 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5304 2340 413 48 0 5256 0
[pid=770] vsize: 21216
Current children cumulated CPU time (s) 778.91
Current children cumulated vsize (Kb) 23344

[startup+1150.09 s]
Raw data (loadavg): 1.33 1.19 1.07 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2485 0 0 0 13596 5451 0 0 16 0 1 0 1788327681 22036480 2344 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5380 2344 413 48 0 5332 0
[pid=770] vsize: 21520
Current children cumulated CPU time (s) 785.36
Current children cumulated vsize (Kb) 23648

[startup+1160.09 s]
Raw data (loadavg): 1.28 1.19 1.07 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2487 0 0 0 13975 5653 0 0 16 0 1 0 1788327681 21725184 2342 4294967295 134512640 134702520 3221223712 3221221568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/770/statm): 5304 2342 413 48 0 5256 0
[pid=770] vsize: 21216
Current children cumulated CPU time (s) 791.17
Current children cumulated vsize (Kb) 23344

[startup+1170.09 s]
Raw data (loadavg): 1.24 1.18 1.07 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2498 0 0 0 14423 5831 0 0 16 0 1 0 1788327681 21725184 2347 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 5304 2347 413 48 0 5256 0
[pid=770] vsize: 21216
Current children cumulated CPU time (s) 797.43
Current children cumulated vsize (Kb) 23344

[startup+1180.09 s]
Raw data (loadavg): 1.20 1.17 1.07 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2507 0 0 0 14878 6005 0 0 15 0 1 0 1788327681 21880832 2352 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5342 2352 413 48 0 5294 0
[pid=770] vsize: 21368
Current children cumulated CPU time (s) 803.72
Current children cumulated vsize (Kb) 23496

[startup+1190.09 s]
Raw data (loadavg): 1.17 1.17 1.07 2/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) R 763 763 15400 0 -1 0 2508 0 0 0 15344 6186 0 0 16 0 1 0 1788327681 22036480 2353 4294967295 134512640 134702520 3221223712 3221222608 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/770/statm): 5380 2353 413 48 0 5332 0
[pid=770] vsize: 21520
Current children cumulated CPU time (s) 810.19
Current children cumulated vsize (Kb) 23648

[startup+1200.09 s]
Raw data (loadavg): 1.14 1.16 1.06 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2513 0 0 0 15711 6392 0 0 16 0 1 0 1788327681 21880832 2354 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5342 2354 413 48 0 5294 0
[pid=770] vsize: 21368
Current children cumulated CPU time (s) 815.92
Current children cumulated vsize (Kb) 23496

[startup+1210.09 s]
Raw data (loadavg): 1.19 1.17 1.07 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 2923 0 0 0 16207 6556 0 0 16 0 1 0 1788327681 23265280 2758 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 5680 2758 413 48 0 5632 0
[pid=770] vsize: 22720
Current children cumulated CPU time (s) 822.52
Current children cumulated vsize (Kb) 24848

[startup+1220.09 s]
Raw data (loadavg): 1.16 1.17 1.07 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 3225 0 0 0 16769 6696 0 0 16 0 1 0 1788327681 24649728 3056 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/770/statm): 6018 3056 413 48 0 5970 0
[pid=770] vsize: 24072
Current children cumulated CPU time (s) 829.54
Current children cumulated vsize (Kb) 26200

[startup+1230.09 s]
Raw data (loadavg): 1.14 1.16 1.07 1/57 770
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 417 7168 0 0 2 1 46957 12529 17 0 1 0 1788243027 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 248 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/770/stat): 770 (vallst) T 763 763 15400 0 -1 0 3226 0 0 0 17221 6876 0 0 16 0 1 0 1788327681 24805376 3057 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/770/statm): 6056 3057 413 48 0 6008 0
[pid=770] vsize: 24224
Current children cumulated CPU time (s) 835.86
Current children cumulated vsize (Kb) 26352
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=770) exited with status: 2
New process pid=771
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=771) exited with status: 0
New process pid=772
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+1240.09 s]
Raw data (loadavg): 1.12 1.15 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 1890 0 0 0 148 11 0 0 25 0 1 0 1788366889 10752000 1862 4294967295 134512640 134702520 3221223040 3221222336 134547164 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 2625 1862 413 48 0 2577 0
[pid=772] vsize: 10500
Current children cumulated CPU time (s) 842.45
Current children cumulated vsize (Kb) 12628

[startup+1250.1 s]
Raw data (loadavg): 1.10 1.15 1.06 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2129 0 0 0 614 181 0 0 17 0 1 0 1788366889 11702272 2100 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/772/statm): 2857 2100 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 848.81
Current children cumulated vsize (Kb) 13556

[startup+1260.1 s]
Raw data (loadavg): 1.08 1.14 1.06 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2130 0 0 0 1053 358 0 0 16 0 1 0 1788366889 11702272 2101 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 2857 2101 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 854.97
Current children cumulated vsize (Kb) 13556

[startup+1270.1 s]
Raw data (loadavg): 1.15 1.16 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2132 0 0 0 1497 548 0 0 16 0 1 0 1788366889 11702272 2103 4294967295 134512640 134702520 3221223040 3221222176 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 2857 2103 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 861.31
Current children cumulated vsize (Kb) 13556

[startup+1280.1 s]
Raw data (loadavg): 1.13 1.15 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2135 0 0 0 1949 724 0 0 16 0 1 0 1788366889 11702272 2106 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 2857 2106 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 867.59
Current children cumulated vsize (Kb) 13556

[startup+1290.1 s]
Raw data (loadavg): 1.11 1.14 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2137 0 0 0 2397 905 0 0 16 0 1 0 1788366889 11702272 2108 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 2857 2108 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 873.88
Current children cumulated vsize (Kb) 13556

[startup+1300.1 s]
Raw data (loadavg): 1.09 1.14 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2137 0 0 0 2832 1093 0 0 16 0 1 0 1788366889 11702272 2108 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 2857 2108 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 880.11
Current children cumulated vsize (Kb) 13556

[startup+1310.1 s]
Raw data (loadavg): 1.08 1.13 1.06 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2137 0 0 0 3276 1276 0 0 16 0 1 0 1788366889 11702272 2108 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 2857 2108 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 886.38
Current children cumulated vsize (Kb) 13556

[startup+1320.1 s]
Raw data (loadavg): 1.14 1.15 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2137 0 0 0 3713 1459 0 0 16 0 1 0 1788366889 11702272 2108 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 2857 2108 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 892.58
Current children cumulated vsize (Kb) 13556

[startup+1330.1 s]
Raw data (loadavg): 1.12 1.14 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2137 0 0 0 4161 1640 0 0 15 0 1 0 1788366889 11702272 2108 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 2857 2108 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 898.87
Current children cumulated vsize (Kb) 13556

[startup+1340.1 s]
Raw data (loadavg): 1.10 1.14 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2137 0 0 0 4611 1825 0 0 16 0 1 0 1788366889 11702272 2108 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 2857 2108 413 48 0 2809 0
[pid=772] vsize: 11428
Current children cumulated CPU time (s) 905.22
Current children cumulated vsize (Kb) 13556

[startup+1350.1 s]
Raw data (loadavg): 1.16 1.15 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2138 0 0 0 5037 2007 0 0 15 0 1 0 1788366889 11857920 2109 4294967295 134512640 134702520 3221223040 3221222280 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 2895 2109 413 48 0 2847 0
[pid=772] vsize: 11580
Current children cumulated CPU time (s) 911.3
Current children cumulated vsize (Kb) 13708

[startup+1360.1 s]
Raw data (loadavg): 1.13 1.14 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2301 0 0 0 5419 2205 0 0 16 0 1 0 1788366889 21639168 2265 4294967295 134512640 134702520 3221223040 3221215616 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5283 2265 413 48 0 5235 0
[pid=772] vsize: 21132
Current children cumulated CPU time (s) 917.1
Current children cumulated vsize (Kb) 23260

[startup+1370.1 s]
Raw data (loadavg): 1.11 1.14 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2326 0 0 0 5819 2401 0 0 16 0 1 0 1788366889 21950464 2287 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5359 2287 413 48 0 5311 0
[pid=772] vsize: 21436
Current children cumulated CPU time (s) 923.06
Current children cumulated vsize (Kb) 23564

[startup+1380.1 s]
Raw data (loadavg): 1.09 1.13 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2353 0 0 0 6237 2593 0 0 16 0 1 0 1788366889 21929984 2308 4294967295 134512640 134702520 3221223040 3221222296 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5354 2308 413 48 0 5306 0
[pid=772] vsize: 21416
Current children cumulated CPU time (s) 929.16
Current children cumulated vsize (Kb) 23544

[startup+1390.1 s]
Raw data (loadavg): 1.08 1.13 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 6650 2783 0 0 15 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 935.19
Current children cumulated vsize (Kb) 23696

[startup+1400.1 s]
Raw data (loadavg): 1.07 1.12 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2361 0 0 0 7085 2966 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221221936 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 941.37
Current children cumulated vsize (Kb) 23696

[startup+1410.1 s]
Raw data (loadavg): 1.21 1.15 1.08 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 7537 3146 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 947.69
Current children cumulated vsize (Kb) 23696

[startup+1420.11 s]
Raw data (loadavg): 1.18 1.14 1.08 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2361 0 0 0 7977 3326 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222136 1074952484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 953.89
Current children cumulated vsize (Kb) 23696

[startup+1430.11 s]
Raw data (loadavg): 1.15 1.14 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2361 0 0 0 8417 3510 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221221936 134553514 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 960.13
Current children cumulated vsize (Kb) 23696

[startup+1440.11 s]
Raw data (loadavg): 1.13 1.14 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 8866 3694 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 966.46
Current children cumulated vsize (Kb) 23696

[startup+1450.11 s]
Raw data (loadavg): 1.11 1.13 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2361 0 0 0 9315 3881 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 972.82
Current children cumulated vsize (Kb) 23696

[startup+1460.11 s]
Raw data (loadavg): 1.09 1.13 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 9763 4060 0 0 16 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 979.09
Current children cumulated vsize (Kb) 23696

[startup+1470.11 s]
Raw data (loadavg): 1.08 1.12 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 10208 4238 0 0 15 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 985.32
Current children cumulated vsize (Kb) 23696

[startup+1480.11 s]
Raw data (loadavg): 1.06 1.12 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 10652 4421 0 0 15 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 991.59
Current children cumulated vsize (Kb) 23696

[startup+1490.11 s]
Raw data (loadavg): 1.05 1.11 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2361 0 0 0 11086 4602 0 0 15 0 1 0 1788366889 22085632 2313 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2313 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 997.74
Current children cumulated vsize (Kb) 23696

[startup+1500.11 s]
Raw data (loadavg): 1.04 1.11 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2367 0 0 0 11444 4810 0 0 16 0 1 0 1788366889 22085632 2315 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2315 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1003.4
Current children cumulated vsize (Kb) 23696

[startup+1510.11 s]
Raw data (loadavg): 1.04 1.10 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2377 0 0 0 11829 5008 0 0 15 0 1 0 1788366889 21929984 2319 4294967295 134512640 134702520 3221223040 3221222296 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5354 2319 413 48 0 5306 0
[pid=772] vsize: 21416
Current children cumulated CPU time (s) 1009.23
Current children cumulated vsize (Kb) 23544

[startup+1520.11 s]
Raw data (loadavg): 1.03 1.10 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2388 0 0 0 12202 5209 0 0 16 0 1 0 1788366889 21929984 2324 4294967295 134512640 134702520 3221223040 3221222064 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5354 2324 413 48 0 5306 0
[pid=772] vsize: 21416
Current children cumulated CPU time (s) 1014.97
Current children cumulated vsize (Kb) 23544

[startup+1530.11 s]
Raw data (loadavg): 1.10 1.11 1.07 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 12614 5402 0 0 15 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1021.02
Current children cumulated vsize (Kb) 23696

[startup+1540.12 s]
Raw data (loadavg): 1.16 1.13 1.07 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2394 0 0 0 13059 5584 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1027.29
Current children cumulated vsize (Kb) 23696

[startup+1550.12 s]
Raw data (loadavg): 1.22 1.14 1.08 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 13501 5768 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1033.55
Current children cumulated vsize (Kb) 23696

[startup+1560.12 s]
Raw data (loadavg): 1.34 1.16 1.09 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 13947 5948 0 0 15 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1039.81
Current children cumulated vsize (Kb) 23696

[startup+1570.12 s]
Raw data (loadavg): 1.29 1.16 1.09 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2394 0 0 0 14394 6124 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1046.04
Current children cumulated vsize (Kb) 23696

[startup+1580.12 s]
Raw data (loadavg): 1.24 1.15 1.09 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 14844 6302 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1052.32
Current children cumulated vsize (Kb) 23696

[startup+1590.12 s]
Raw data (loadavg): 1.20 1.15 1.09 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 15279 6484 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1058.49
Current children cumulated vsize (Kb) 23696

[startup+1600.12 s]
Raw data (loadavg): 1.17 1.14 1.08 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 15724 6671 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1064.81
Current children cumulated vsize (Kb) 23696

[startup+1610.12 s]
Raw data (loadavg): 1.14 1.14 1.08 2/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) R 763 763 15400 0 -1 0 2394 0 0 0 16171 6848 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221221936 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1071.05
Current children cumulated vsize (Kb) 23696

[startup+1620.12 s]
Raw data (loadavg): 1.12 1.13 1.08 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 16610 7041 0 0 15 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1077.37
Current children cumulated vsize (Kb) 23696

[startup+1630.12 s]
Raw data (loadavg): 1.10 1.13 1.08 1/57 772
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 457 10540 0 0 2 1 64508 19575 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/772/stat): 772 (vallst) T 763 763 15400 0 -1 0 2394 0 0 0 17058 7222 0 0 16 0 1 0 1788366889 22085632 2327 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/772/statm): 5392 2327 413 48 0 5344 0
[pid=772] vsize: 21568
Current children cumulated CPU time (s) 1083.66
Current children cumulated vsize (Kb) 23696
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=772) exited with status: 2
New process pid=773
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=773) exited with status: 0
New process pid=774
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+1640.12 s]
Raw data (loadavg): 1.09 1.12 1.08 2/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) R 763 763 15400 0 -1 0 1745 0 0 0 119 8 0 0 25 0 1 0 1788406932 10682368 1715 4294967295 134512640 134702520 3221223712 3221222976 1073964843 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/774/statm): 2608 1715 413 48 0 2560 0
[pid=774] vsize: 10432
Current children cumulated CPU time (s) 1090.12
Current children cumulated vsize (Kb) 12560

[startup+1650.12 s]
Raw data (loadavg): 1.07 1.12 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2128 0 0 0 459 216 0 0 16 0 1 0 1788406932 11632640 2097 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 2840 2097 413 48 0 2792 0
[pid=774] vsize: 11360
Current children cumulated CPU time (s) 1095.6
Current children cumulated vsize (Kb) 13488

[startup+1660.12 s]
Raw data (loadavg): 1.06 1.11 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2269 0 0 0 827 420 0 0 16 0 1 0 1788406932 21405696 2232 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5226 2232 413 48 0 5178 0
[pid=774] vsize: 20904
Current children cumulated CPU time (s) 1101.32
Current children cumulated vsize (Kb) 23032

[startup+1670.12 s]
Raw data (loadavg): 1.05 1.11 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2306 0 0 0 1269 609 0 0 16 0 1 0 1788406932 21405696 2263 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/774/statm): 5226 2263 413 48 0 5178 0
[pid=774] vsize: 20904
Current children cumulated CPU time (s) 1107.63
Current children cumulated vsize (Kb) 23032

[startup+1680.12 s]
Raw data (loadavg): 1.04 1.11 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2322 0 0 0 1677 803 0 0 16 0 1 0 1788406932 21852160 2277 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5335 2277 413 48 0 5287 0
[pid=774] vsize: 21340
Current children cumulated CPU time (s) 1113.65
Current children cumulated vsize (Kb) 23468

[startup+1690.13 s]
Raw data (loadavg): 1.12 1.12 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2328 0 0 0 1957 1048 0 0 16 0 1 0 1788406932 21540864 2279 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5259 2279 413 48 0 5211 0
[pid=774] vsize: 21036
Current children cumulated CPU time (s) 1118.9
Current children cumulated vsize (Kb) 23164

[startup+1700.13 s]
Raw data (loadavg): 1.18 1.13 1.09 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2344 0 0 0 2442 1213 0 0 16 0 1 0 1788406932 21540864 2289 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/774/statm): 5259 2289 413 48 0 5211 0
[pid=774] vsize: 21036
Current children cumulated CPU time (s) 1125.4
Current children cumulated vsize (Kb) 23164

[startup+1710.13 s]
Raw data (loadavg): 1.15 1.13 1.08 2/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) R 763 763 15400 0 -1 0 2356 0 0 0 2912 1388 0 0 16 0 1 0 1788406932 21696512 2297 4294967295 134512640 134702520 3221223712 3221222736 134553091 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/774/statm): 5297 2297 413 48 0 5249 0
[pid=774] vsize: 21188
Current children cumulated CPU time (s) 1131.85
Current children cumulated vsize (Kb) 23316

[startup+1720.13 s]
Raw data (loadavg): 1.13 1.12 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2358 0 0 0 3189 1622 0 0 16 0 1 0 1788406932 22007808 2299 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5373 2299 413 48 0 5325 0
[pid=774] vsize: 21492
Current children cumulated CPU time (s) 1136.96
Current children cumulated vsize (Kb) 23620

[startup+1730.13 s]
Raw data (loadavg): 1.11 1.12 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2366 0 0 0 3595 1814 0 0 16 0 1 0 1788406932 21852160 2301 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/774/statm): 5335 2301 413 48 0 5287 0
[pid=774] vsize: 21340
Current children cumulated CPU time (s) 1142.94
Current children cumulated vsize (Kb) 23468

[startup+1740.13 s]
Raw data (loadavg): 1.16 1.13 1.09 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2376 0 0 0 4056 1999 0 0 16 0 1 0 1788406932 21696512 2305 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/774/statm): 5297 2305 413 48 0 5249 0
[pid=774] vsize: 21188
Current children cumulated CPU time (s) 1149.4
Current children cumulated vsize (Kb) 23316

[startup+1750.13 s]
Raw data (loadavg): 1.14 1.12 1.09 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2381 0 0 0 4387 2212 0 0 16 0 1 0 1788406932 21852160 2308 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/774/statm): 5335 2308 413 48 0 5287 0
[pid=774] vsize: 21340
Current children cumulated CPU time (s) 1154.84
Current children cumulated vsize (Kb) 23468

[startup+1760.13 s]
Raw data (loadavg): 1.12 1.12 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2389 0 0 0 4743 2417 0 0 15 0 1 0 1788406932 21540864 2310 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5259 2310 413 48 0 5211 0
[pid=774] vsize: 21036
Current children cumulated CPU time (s) 1160.45
Current children cumulated vsize (Kb) 23164

[startup+1770.13 s]
Raw data (loadavg): 1.10 1.11 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2397 0 0 0 5204 2593 0 0 16 0 1 0 1788406932 21696512 2314 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5297 2314 413 48 0 5249 0
[pid=774] vsize: 21188
Current children cumulated CPU time (s) 1166.82
Current children cumulated vsize (Kb) 23316

[startup+1780.13 s]
Raw data (loadavg): 1.08 1.11 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2410 0 0 0 5641 2777 0 0 16 0 1 0 1788406932 21987328 2323 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5368 2323 413 48 0 5320 0
[pid=774] vsize: 21472
Current children cumulated CPU time (s) 1173.03
Current children cumulated vsize (Kb) 23600

[startup+1790.13 s]
Raw data (loadavg): 1.07 1.11 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2411 0 0 0 5907 3015 0 0 16 0 1 0 1788406932 22142976 2324 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/774/statm): 5406 2324 413 48 0 5358 0
[pid=774] vsize: 21624
Current children cumulated CPU time (s) 1178.07
Current children cumulated vsize (Kb) 23752

[startup+1800.13 s]
Raw data (loadavg): 1.06 1.10 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2424 0 0 0 6354 3194 0 0 16 0 1 0 1788406932 21831680 2329 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5330 2329 413 48 0 5282 0
[pid=774] vsize: 21320
Current children cumulated CPU time (s) 1184.33
Current children cumulated vsize (Kb) 23448

[startup+1810.13 s]
Raw data (loadavg): 1.05 1.10 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2438 0 0 0 6827 3360 0 0 16 0 1 0 1788406932 21831680 2337 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5330 2337 413 48 0 5282 0
[pid=774] vsize: 21320
Current children cumulated CPU time (s) 1190.72
Current children cumulated vsize (Kb) 23448

[startup+1820.14 s]
Raw data (loadavg): 1.04 1.09 1.08 2/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) R 763 763 15400 0 -1 0 2439 0 0 0 7103 3601 0 0 16 0 1 0 1788406932 21987328 2338 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/774/statm): 5368 2338 413 48 0 5320 0
[pid=774] vsize: 21472
Current children cumulated CPU time (s) 1195.89
Current children cumulated vsize (Kb) 23600

[startup+1830.14 s]
Raw data (loadavg): 1.03 1.09 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2446 0 0 0 7523 3786 0 0 16 0 1 0 1788406932 21831680 2339 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5330 2339 413 48 0 5282 0
[pid=774] vsize: 21320
Current children cumulated CPU time (s) 1201.94
Current children cumulated vsize (Kb) 23448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1830.14 s]
Raw data (loadavg): 1.03 1.09 1.08 1/57 774
Raw data (/proc/763/stat): 763 (vallstSAT2005PB) S 762 763 15400 0 -1 0 497 13080 0 0 2 2 81910 26971 17 0 1 0 1788243027 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/763/statm): 532 249 485 147 0 385 0
[pid=763] vsize: 2128
Raw data (/proc/774/stat): 774 (vallst) T 763 763 15400 0 -1 0 2446 0 0 0 7523 3786 0 0 16 0 1 0 1788406932 21831680 2339 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/774/statm): 5330 2339 413 48 0 5282 0
[pid=774] vsize: 21320
Current children cumulated CPU time (s) 1201.94
Current children cumulated vsize (Kb) 23448

Sending SIGTERM to -763
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=776
New process pid=777
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/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1669/stat
open syscall for file /proc/1669/status
open syscall for file /proc/1669/cmdline
open syscall for file /proc/1669/environ
open syscall for file /proc/1671/stat
open syscall for file /proc/1671/status
open syscall for file /proc/1671/cmdline
open syscall for file /proc/1671/environ
open syscall for file /proc/12490/stat
open syscall for file /proc/12490/status
open syscall for file /proc/12490/cmdline
open syscall for file /proc/12490/environ
open syscall for file /proc/11855/stat
open syscall for file /proc/11855/status
open syscall for file /proc/11855/cmdline
open syscall for file /proc/11855/environ
open syscall for file /proc/11882/stat
open syscall for file /proc/11882/status
open syscall for file /proc/11882/cmdline
open syscall for file /proc/11882/environ
open syscall for file /proc/11906/stat
open syscall for file /proc/11906/status
open syscall for file /proc/11906/cmdline
open syscall for file /proc/11906/environ
open syscall for file /proc/19869/stat
open syscall for file /proc/19869/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/19869/cmdline
open syscall for file /proc/19869/environ
open syscall for file /proc/19904/stat
open syscall for file /proc/19904/status
open syscall for file /proc/19904/cmdline
open syscall for file /proc/19904/environ
open syscall for file /proc/15400/stat
open syscall for file /proc/15400/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15400/cmdline
open syscall for file /proc/15400/environ
open syscall for file /proc/15401/stat
open syscall for file /proc/15401/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15401/cmdline
open syscall for file /proc/15401/environ
open syscall for file /proc/15410/stat
open syscall for file /proc/15410/status
open syscall for file /proc/15410/cmdline
open syscall for file /proc/15410/environ
open syscall for file /proc/726/stat
open syscall for file /proc/726/status
open syscall for file /proc/726/cmdline
open syscall for file /proc/726/environ
open syscall for file /proc/762/stat
open syscall for file /proc/762/status
open syscall for file /proc/762/cmdline
open syscall for file /proc/762/environ
open syscall for file /proc/763/stat
open syscall for file /proc/763/status
open syscall for file /proc/763/cmdline
open syscall for file /proc/763/environ
open syscall for file /proc/774/stat
open syscall for file /proc/774/status
open syscall for file /proc/774/cmdline
open syscall for file /proc/774/environ
open syscall for file /proc/776/stat
open syscall for file /proc/776/status
open syscall for file /proc/776/cmdline
open syscall for file /proc/776/environ
open syscall for file /proc/777/stat
open syscall for file /proc/777/status
open syscall for file /proc/777/cmdline
open syscall for file /proc/777/environ
One traced child (pid=776) exited with status: 0
One traced child (pid=777) exited with status: 0
New process pid=778
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=778) exited with status: 0
New process pid=779
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=779) exited with status: 0
One traced child (pid=763) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=774) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1830.96
CPU time (s): 113.885
CPU user time (s): 75.9345
CPU system time (s): 37.9502
CPU usage (%): 6.21994
Max. virtual memory (cumulated for all children) (Kb): 28392

Verifier Data

ERROR: no interpretation found !