Some explanations

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

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb
MD5SUM7cb58e3aea22e107ecbc4e74969c24f1
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 877568
Optimality of the best value was proved NO
Number of terms in the objective function 780
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1074509823
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147731454
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark
Number of variables142226
Total number of constraints28077
Number of constraints which are clauses2438
Number of constraints which are cardinality constraints (but not clauses)7196
Number of constraints which are nor clauses,nor cardinality constraints18443
Minimum length of a constraint1
Maximum length of a constraint61

Trace number 9086

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        914772 kB
Buffers:          9396 kB
Cached:          92876 kB
SwapCached:          0 kB
Active:          62680 kB
Inactive:        42496 kB
HighTotal:      131008 kB
HighFree:        37744 kB
LowTotal:       903652 kB
LowFree:        877028 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8952 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:13:33 (client local time) WITH STATUS 0 IN 441.982 SECONDS
stats: 7787 7 441.982 0

Solver Data

1:
seed: 0
Nr of vars set: 10  (#equs: 0)
Nr of vars set: 30  (#equs: 572)
#decisions: 57449;  #end-nodes: 21040;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 165 (127)
#axs: 21459, #non-axs: 1125
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: 30  (#equs: 576)
Time taken: 5 min, 56 sec

2:
seed: 0
Nr of vars set: 30  (#equs: 0)
Nr of vars set: 30  (#equs: 318)
#decisions: 71787;  #end-nodes: 14927;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 170 (143)
#axs: 21207, #non-axs: 4045
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)
seed: 0
Nr of vars set: 30  (#equs: 327)
Time taken: 6 min, 39 sec

3:

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/4782/stat): 4782 (vallstSAT2005PB) R 4781 4782 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19616631 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4782/statm): 174 3 169 147 0 27 0
[pid=4782] 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=4783
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=4783) exited with status: 0
New process pid=4784
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=4784) exited with status: 0
New process pid=4785
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/wulflinc22/normalized-mps-v2-20-10-CMS750_4.opb

[startup+10.0029 s]
Raw data (loadavg): 0.83 0.92 0.92 1/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) T 4782 4782 4060 0 -1 0 8437 0 0 0 917 47 0 0 25 0 1 0 19616640 41504768 7698 4294967295 134512640 134702520 3221223952 3221223444 1074898590 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4785/statm): 10133 7698 413 48 0 10085 0
[pid=4785] vsize: 40532
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (Kb) 42660
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+20.0036 s]
Raw data (loadavg): 0.85 0.92 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9584 0 0 0 1890 62 0 0 25 0 1 0 19616640 41222144 8447 4294967295 134512640 134702520 3221223952 3221223216 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 10064 8447 413 48 0 10016 0
[pid=4785] vsize: 40256
Current children cumulated CPU time (s) 19.54
Current children cumulated vsize (Kb) 42384

[startup+30.0043 s]
Raw data (loadavg): 0.88 0.92 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9594 0 0 0 2885 64 0 0 25 0 1 0 19616640 80240640 8457 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19590 8457 413 48 0 19542 0
[pid=4785] vsize: 78360
Current children cumulated CPU time (s) 29.51
Current children cumulated vsize (Kb) 80488

[startup+40.005 s]
Raw data (loadavg): 0.89 0.92 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9680 0 0 0 3878 66 0 0 25 0 1 0 19616640 80240640 8543 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4785/statm): 19590 8543 413 48 0 19542 0
[pid=4785] vsize: 78360
Current children cumulated CPU time (s) 39.46
Current children cumulated vsize (Kb) 80488

[startup+50.0067 s]
Raw data (loadavg): 0.91 0.92 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9680 0 0 0 4868 70 0 0 25 0 1 0 19616640 80240640 8543 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19590 8543 413 48 0 19542 0
[pid=4785] vsize: 78360
Current children cumulated CPU time (s) 49.4
Current children cumulated vsize (Kb) 80488

[startup+60.0074 s]
Raw data (loadavg): 0.92 0.93 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9680 0 0 0 5860 73 0 0 25 0 1 0 19616640 80240640 8543 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19590 8543 413 48 0 19542 0
[pid=4785] vsize: 78360
Current children cumulated CPU time (s) 59.35
Current children cumulated vsize (Kb) 80488

[startup+70.0071 s]
Raw data (loadavg): 0.93 0.93 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9684 0 0 0 6845 78 0 0 25 0 1 0 19616640 80252928 8547 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8547 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 69.25
Current children cumulated vsize (Kb) 80500

[startup+80.0088 s]
Raw data (loadavg): 0.94 0.93 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9684 0 0 0 7834 81 0 0 25 0 1 0 19616640 80252928 8547 4294967295 134512640 134702520 3221223952 3221223232 134552530 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4785/statm): 19593 8547 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 79.17
Current children cumulated vsize (Kb) 80500

[startup+90.0095 s]
Raw data (loadavg): 0.95 0.93 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9684 0 0 0 8823 86 0 0 25 0 1 0 19616640 80252928 8547 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4785/statm): 19593 8547 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 89.11
Current children cumulated vsize (Kb) 80500

[startup+100.01 s]
Raw data (loadavg): 0.96 0.93 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9685 0 0 0 9809 89 0 0 25 0 1 0 19616640 80252928 8548 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8548 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 99
Current children cumulated vsize (Kb) 80500

[startup+110.011 s]
Raw data (loadavg): 0.96 0.94 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9685 0 0 0 10796 94 0 0 25 0 1 0 19616640 80252928 8548 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8548 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 108.92
Current children cumulated vsize (Kb) 80500

[startup+120.012 s]
Raw data (loadavg): 0.97 0.94 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9685 0 0 0 11791 96 0 0 25 0 1 0 19616640 80252928 8548 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8548 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 118.89
Current children cumulated vsize (Kb) 80500

[startup+130.012 s]
Raw data (loadavg): 0.97 0.94 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9685 0 0 0 12784 98 0 0 25 0 1 0 19616640 80252928 8548 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8548 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 128.84
Current children cumulated vsize (Kb) 80500

[startup+140.013 s]
Raw data (loadavg): 0.98 0.94 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9685 0 0 0 13780 99 0 0 25 0 1 0 19616640 80252928 8548 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8548 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 138.81
Current children cumulated vsize (Kb) 80500

[startup+150.015 s]
Raw data (loadavg): 0.98 0.94 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9685 0 0 0 14776 101 0 0 25 0 1 0 19616640 80252928 8548 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8548 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 148.79
Current children cumulated vsize (Kb) 80500

[startup+160.016 s]
Raw data (loadavg): 0.98 0.94 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9685 0 0 0 15772 102 0 0 25 0 1 0 19616640 80252928 8548 4294967295 134512640 134702520 3221223952 3221223232 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8548 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 158.76
Current children cumulated vsize (Kb) 80500

[startup+170.015 s]
Raw data (loadavg): 0.98 0.94 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9706 0 0 0 16765 105 0 0 25 0 1 0 19616640 80252928 8569 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8569 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 168.72
Current children cumulated vsize (Kb) 80500

[startup+180.017 s]
Raw data (loadavg): 0.99 0.95 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9707 0 0 0 17756 107 0 0 25 0 1 0 19616640 80252928 8570 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8570 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 178.65
Current children cumulated vsize (Kb) 80500

[startup+190.018 s]
Raw data (loadavg): 0.99 0.95 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9810 0 0 0 18744 112 0 0 25 0 1 0 19616640 80252928 8673 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8673 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 188.58
Current children cumulated vsize (Kb) 80500

[startup+200.018 s]
Raw data (loadavg): 0.99 0.95 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9810 0 0 0 19742 112 0 0 25 0 1 0 19616640 80252928 8673 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8673 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 198.56
Current children cumulated vsize (Kb) 80500

[startup+210.019 s]
Raw data (loadavg): 0.99 0.95 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9810 0 0 0 20738 114 0 0 25 0 1 0 19616640 80252928 8673 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8673 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 208.54
Current children cumulated vsize (Kb) 80500

[startup+220.02 s]
Raw data (loadavg): 0.99 0.95 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9812 0 0 0 21727 117 0 0 25 0 1 0 19616640 80252928 8675 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8675 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 218.46
Current children cumulated vsize (Kb) 80500

[startup+230.021 s]
Raw data (loadavg): 0.99 0.95 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9813 0 0 0 22718 121 0 0 25 0 1 0 19616640 80252928 8676 4294967295 134512640 134702520 3221223952 3221223232 134552277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4785/statm): 19593 8676 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 228.41
Current children cumulated vsize (Kb) 80500

[startup+240.021 s]
Raw data (loadavg): 0.99 0.95 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9813 0 0 0 23710 123 0 0 25 0 1 0 19616640 80252928 8676 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4785/statm): 19593 8676 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 238.35
Current children cumulated vsize (Kb) 80500

[startup+250.022 s]
Raw data (loadavg): 0.99 0.95 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9814 0 0 0 24696 127 0 0 25 0 1 0 19616640 80252928 8677 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8677 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 248.25
Current children cumulated vsize (Kb) 80500

[startup+260.023 s]
Raw data (loadavg): 0.99 0.95 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9815 0 0 0 25689 131 0 0 25 0 1 0 19616640 80252928 8678 4294967295 134512640 134702520 3221223952 3221223072 134572636 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8678 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 258.22
Current children cumulated vsize (Kb) 80500

[startup+270.022 s]
Raw data (loadavg): 0.99 0.95 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9818 0 0 0 26683 133 0 0 25 0 1 0 19616640 80252928 8681 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8681 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 268.18
Current children cumulated vsize (Kb) 80500

[startup+280.023 s]
Raw data (loadavg): 0.99 0.96 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9829 0 0 0 27674 136 0 0 25 0 1 0 19616640 80252928 8692 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8692 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 278.12
Current children cumulated vsize (Kb) 80500

[startup+290.024 s]
Raw data (loadavg): 0.99 0.96 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9847 0 0 0 28662 139 0 0 25 0 1 0 19616640 80252928 8710 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19593 8710 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 288.03
Current children cumulated vsize (Kb) 80500

[startup+300.026 s]
Raw data (loadavg): 0.99 0.96 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9850 0 0 0 29654 142 0 0 25 0 1 0 19616640 80252928 8713 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4785/statm): 19593 8713 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 297.98
Current children cumulated vsize (Kb) 80500

[startup+310.026 s]
Raw data (loadavg): 0.99 0.96 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9850 0 0 0 30647 145 0 0 25 0 1 0 19616640 80252928 8713 4294967295 134512640 134702520 3221223952 3221223232 134552516 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4785/statm): 19593 8713 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 307.94
Current children cumulated vsize (Kb) 80500

[startup+320.027 s]
Raw data (loadavg): 0.99 0.96 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9862 0 0 0 31635 148 0 0 25 0 1 0 19616640 80252928 8725 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4785/statm): 19593 8725 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 317.85
Current children cumulated vsize (Kb) 80500

[startup+330.028 s]
Raw data (loadavg): 0.99 0.96 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9862 0 0 0 32635 148 0 0 25 0 1 0 19616640 80252928 8725 4294967295 134512640 134702520 3221223952 3221223232 134552217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4785/statm): 19593 8725 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 327.85
Current children cumulated vsize (Kb) 80500

[startup+340.027 s]
Raw data (loadavg): 0.99 0.96 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9869 0 0 0 33631 150 0 0 25 0 1 0 19616640 80252928 8732 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4785/statm): 19593 8732 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 337.83
Current children cumulated vsize (Kb) 80500

[startup+350.028 s]
Raw data (loadavg): 0.99 0.96 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9870 0 0 0 34626 152 0 0 25 0 1 0 19616640 80252928 8733 4294967295 134512640 134702520 3221223952 3221222976 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4785/statm): 19593 8733 413 48 0 19545 0
[pid=4785] vsize: 78372
Current children cumulated CPU time (s) 347.8
Current children cumulated vsize (Kb) 80500
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+360.029 s]
Raw data (loadavg): 0.99 0.96 0.92 2/56 4785
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19616631 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4782/statm): 532 242 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4785/stat): 4785 (vallst) R 4782 4782 4060 0 -1 0 9872 0 0 0 35607 162 0 0 25 0 1 0 19616640 80257024 8735 4294967295 134512640 134702520 3221223952 3221222040 1074338994 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4785/statm): 19594 8735 413 48 0 19546 0
[pid=4785] vsize: 78376
Current children cumulated CPU time (s) 357.71
Current children cumulated vsize (Kb) 80504
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4785) exited with status: 2
New process pid=4786
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=4786) exited with status: 0
New process pid=4787
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+370.028 s]
Raw data (loadavg): 0.99 0.96 0.92 2/56 4787
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 7161 0 0 0 698 42 0 0 25 0 1 0 19652874 36065280 7132 4294967295 134512640 134702520 3221223712 3221222908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 8805 7132 413 48 0 8757 0
[pid=4787] vsize: 35220
Current children cumulated CPU time (s) 367.37
Current children cumulated vsize (Kb) 37348

[startup+380.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 4787
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 7743 0 0 0 1687 47 0 0 25 0 1 0 19652874 39067648 7714 4294967295 134512640 134702520 3221223712 3221222976 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 9538 7714 413 48 0 9490 0
[pid=4787] vsize: 38152
Current children cumulated CPU time (s) 377.31
Current children cumulated vsize (Kb) 40280

[startup+390.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 4787
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) T 4782 4782 4060 0 -1 0 7946 0 0 0 2676 51 0 0 25 0 1 0 19652874 77348864 7915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4787/statm): 18884 7915 413 48 0 18836 0
[pid=4787] vsize: 75536
Current children cumulated CPU time (s) 387.24
Current children cumulated vsize (Kb) 77664

[startup+400.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 4787
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 7955 0 0 0 3668 53 0 0 25 0 1 0 19652874 77484032 7924 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 18917 7924 413 48 0 18869 0
[pid=4787] vsize: 75668
Current children cumulated CPU time (s) 397.18
Current children cumulated vsize (Kb) 77796

[startup+410.031 s]
Raw data (loadavg): 1.07 0.98 0.92 1/60 4830
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) T 4782 4782 4060 0 -1 0 8203 0 0 0 4635 70 0 0 25 0 1 0 19652874 77627392 8172 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4787/statm): 18952 8172 413 48 0 18904 0
[pid=4787] vsize: 75808
Current children cumulated CPU time (s) 407.02
Current children cumulated vsize (Kb) 77936

[startup+420.151 s]
Raw data (loadavg): 1.06 0.98 0.92 1/56 4842
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) T 4782 4782 4060 0 -1 0 8305 0 0 0 5626 76 0 0 25 0 1 0 19652874 78032896 8274 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19051 8274 413 48 0 19003 0
[pid=4787] vsize: 76204
Current children cumulated CPU time (s) 416.99
Current children cumulated vsize (Kb) 78332

[startup+430.152 s]
Raw data (loadavg): 1.05 0.98 0.92 2/56 4842
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8332 0 0 0 6613 81 0 0 25 0 1 0 19652874 78032896 8301 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19051 8301 413 48 0 19003 0
[pid=4787] vsize: 76204
Current children cumulated CPU time (s) 426.91
Current children cumulated vsize (Kb) 78332

[startup+440.152 s]
Raw data (loadavg): 1.04 0.98 0.92 2/56 4842
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8342 0 0 0 7610 82 0 0 25 0 1 0 19652874 78168064 8309 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19084 8309 413 48 0 19036 0
[pid=4787] vsize: 76336
Current children cumulated CPU time (s) 436.89
Current children cumulated vsize (Kb) 78464

[startup+450.154 s]
Raw data (loadavg): 1.04 0.98 0.92 2/56 4842
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8348 0 0 0 8602 85 0 0 25 0 1 0 19652874 78168064 8315 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19084 8315 413 48 0 19036 0
[pid=4787] vsize: 76336
Current children cumulated CPU time (s) 446.84
Current children cumulated vsize (Kb) 78464

[startup+460.155 s]
Raw data (loadavg): 1.11 1.00 0.93 2/56 4844
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8356 0 0 0 9594 88 0 0 18 0 1 0 19652874 78168064 8323 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19084 8323 413 48 0 19036 0
[pid=4787] vsize: 76336
Current children cumulated CPU time (s) 456.79
Current children cumulated vsize (Kb) 78464

[startup+470.154 s]
Raw data (loadavg): 1.09 1.00 0.93 2/56 4844
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8372 0 0 0 10586 90 0 0 25 0 1 0 19652874 78168064 8339 4294967295 134512640 134702520 3221223712 3221222992 134552683 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19084 8339 413 48 0 19036 0
[pid=4787] vsize: 76336
Current children cumulated CPU time (s) 466.73
Current children cumulated vsize (Kb) 78464

[startup+480.155 s]
Raw data (loadavg): 1.08 1.00 0.93 2/56 4846
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8376 0 0 0 11578 93 0 0 25 0 1 0 19652874 78168064 8343 4294967295 134512640 134702520 3221223712 3221222992 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19084 8343 413 48 0 19036 0
[pid=4787] vsize: 76336
Current children cumulated CPU time (s) 476.68
Current children cumulated vsize (Kb) 78464

[startup+490.156 s]
Raw data (loadavg): 1.07 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8382 0 0 0 12570 96 0 0 25 0 1 0 19652874 78176256 8347 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19086 8347 413 48 0 19038 0
[pid=4787] vsize: 76344
Current children cumulated CPU time (s) 486.63
Current children cumulated vsize (Kb) 78472

[startup+500.157 s]
Raw data (loadavg): 1.06 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8383 0 0 0 13566 97 0 0 25 0 1 0 19652874 78176256 8348 4294967295 134512640 134702520 3221223712 3221222992 134552768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19086 8348 413 48 0 19038 0
[pid=4787] vsize: 76344
Current children cumulated CPU time (s) 496.6
Current children cumulated vsize (Kb) 78472

[startup+510.157 s]
Raw data (loadavg): 1.05 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8384 0 0 0 14563 98 0 0 25 0 1 0 19652874 78176256 8349 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19086 8349 413 48 0 19038 0
[pid=4787] vsize: 76344
Current children cumulated CPU time (s) 506.58
Current children cumulated vsize (Kb) 78472

[startup+520.158 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8389 0 0 0 15554 102 0 0 25 0 1 0 19652874 78311424 8354 4294967295 134512640 134702520 3221223712 3221222832 134573401 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19119 8354 413 48 0 19071 0
[pid=4787] vsize: 76476
Current children cumulated CPU time (s) 516.53
Current children cumulated vsize (Kb) 78604

[startup+530.159 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8392 0 0 0 16542 106 0 0 25 0 1 0 19652874 78311424 8357 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19119 8357 413 48 0 19071 0
[pid=4787] vsize: 76476
Current children cumulated CPU time (s) 526.45
Current children cumulated vsize (Kb) 78604

[startup+540.159 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8398 0 0 0 17533 108 0 0 25 0 1 0 19652874 78311424 8361 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19119 8361 413 48 0 19071 0
[pid=4787] vsize: 76476
Current children cumulated CPU time (s) 536.38
Current children cumulated vsize (Kb) 78604

[startup+550.16 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8592 0 0 0 18523 113 0 0 25 0 1 0 19652874 78311424 8555 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19119 8555 413 48 0 19071 0
[pid=4787] vsize: 76476
Current children cumulated CPU time (s) 546.33
Current children cumulated vsize (Kb) 78604

[startup+560.161 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8617 0 0 0 19515 116 0 0 25 0 1 0 19652874 78311424 8580 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19119 8580 413 48 0 19071 0
[pid=4787] vsize: 76476
Current children cumulated CPU time (s) 556.28
Current children cumulated vsize (Kb) 78604

[startup+570.161 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8623 0 0 0 20504 120 0 0 25 0 1 0 19652874 78311424 8586 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19119 8586 413 48 0 19071 0
[pid=4787] vsize: 76476
Current children cumulated CPU time (s) 566.21
Current children cumulated vsize (Kb) 78604

[startup+580.161 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8626 0 0 0 21496 123 0 0 25 0 1 0 19652874 78311424 8589 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19119 8589 413 48 0 19071 0
[pid=4787] vsize: 76476
Current children cumulated CPU time (s) 576.16
Current children cumulated vsize (Kb) 78604

[startup+590.162 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8629 0 0 0 22487 125 0 0 25 0 1 0 19652874 78311424 8592 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19119 8592 413 48 0 19071 0
[pid=4787] vsize: 76476
Current children cumulated CPU time (s) 586.09
Current children cumulated vsize (Kb) 78604

[startup+600.164 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8636 0 0 0 23476 129 0 0 25 0 1 0 19652874 78311424 8597 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19119 8597 413 48 0 19071 0
[pid=4787] vsize: 76476
Current children cumulated CPU time (s) 596.02
Current children cumulated vsize (Kb) 78604

[startup+610.164 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8642 0 0 0 24468 132 0 0 25 0 1 0 19652874 78311424 8603 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19119 8603 413 48 0 19071 0
[pid=4787] vsize: 76476
Current children cumulated CPU time (s) 605.97
Current children cumulated vsize (Kb) 78604

[startup+620.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8645 0 0 0 25459 136 0 0 25 0 1 0 19652874 78311424 8606 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19119 8606 413 48 0 19071 0
[pid=4787] vsize: 76476
Current children cumulated CPU time (s) 615.92
Current children cumulated vsize (Kb) 78604

[startup+630.166 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8656 0 0 0 26451 139 0 0 25 0 1 0 19652874 78311424 8617 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19119 8617 413 48 0 19071 0
[pid=4787] vsize: 76476
Current children cumulated CPU time (s) 625.87
Current children cumulated vsize (Kb) 78604

[startup+640.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) T 4782 4782 4060 0 -1 0 8667 0 0 0 27438 143 0 0 25 0 1 0 19652874 78446592 8628 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19152 8628 413 48 0 19104 0
[pid=4787] vsize: 76608
Current children cumulated CPU time (s) 635.78
Current children cumulated vsize (Kb) 78736

[startup+650.166 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8680 0 0 0 28429 146 0 0 25 0 1 0 19652874 78446592 8641 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19152 8641 413 48 0 19104 0
[pid=4787] vsize: 76608
Current children cumulated CPU time (s) 645.72
Current children cumulated vsize (Kb) 78736

[startup+660.167 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8683 0 0 0 29424 148 0 0 25 0 1 0 19652874 78446592 8644 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19152 8644 413 48 0 19104 0
[pid=4787] vsize: 76608
Current children cumulated CPU time (s) 655.69
Current children cumulated vsize (Kb) 78736

[startup+670.167 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8686 0 0 0 30418 150 0 0 25 0 1 0 19652874 78446592 8645 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19152 8645 413 48 0 19104 0
[pid=4787] vsize: 76608
Current children cumulated CPU time (s) 665.65
Current children cumulated vsize (Kb) 78736

[startup+680.167 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) T 4782 4782 4060 0 -1 0 8691 0 0 0 31412 153 0 0 25 0 1 0 19652874 78446592 8650 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19152 8650 413 48 0 19104 0
[pid=4787] vsize: 76608
Current children cumulated CPU time (s) 675.62
Current children cumulated vsize (Kb) 78736

[startup+690.168 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8697 0 0 0 32407 155 0 0 25 0 1 0 19652874 78446592 8656 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19152 8656 413 48 0 19104 0
[pid=4787] vsize: 76608
Current children cumulated CPU time (s) 685.59
Current children cumulated vsize (Kb) 78736

[startup+700.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8703 0 0 0 33400 157 0 0 25 0 1 0 19652874 78446592 8662 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19152 8662 413 48 0 19104 0
[pid=4787] vsize: 76608
Current children cumulated CPU time (s) 695.54
Current children cumulated vsize (Kb) 78736

[startup+710.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4848
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8707 0 0 0 34394 159 0 0 25 0 1 0 19652874 78446592 8666 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19152 8666 413 48 0 19104 0
[pid=4787] vsize: 76608
Current children cumulated CPU time (s) 705.5
Current children cumulated vsize (Kb) 78736

[startup+720.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4850
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8712 0 0 0 35386 162 0 0 25 0 1 0 19652874 78446592 8671 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19152 8671 413 48 0 19104 0
[pid=4787] vsize: 76608
Current children cumulated CPU time (s) 715.45
Current children cumulated vsize (Kb) 78736

[startup+730.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4850
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8723 0 0 0 36375 166 0 0 25 0 1 0 19652874 78446592 8682 4294967295 134512640 134702520 3221223712 3221223164 1074228897 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19152 8682 413 48 0 19104 0
[pid=4787] vsize: 76608
Current children cumulated CPU time (s) 725.38
Current children cumulated vsize (Kb) 78736

[startup+740.173 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4850
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8732 0 0 0 37366 169 0 0 25 0 1 0 19652874 78446592 8691 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19152 8691 413 48 0 19104 0
[pid=4787] vsize: 76608
Current children cumulated CPU time (s) 735.32
Current children cumulated vsize (Kb) 78736

[startup+750.173 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4850
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8740 0 0 0 38355 173 0 0 25 0 1 0 19652874 79015936 8699 4294967295 134512640 134702520 3221223712 3221222736 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4787/statm): 19291 8699 413 48 0 19243 0
[pid=4787] vsize: 77164
Current children cumulated CPU time (s) 745.25
Current children cumulated vsize (Kb) 79292

[startup+760.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4850
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 378 10245 0 0 2 1 35807 187 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4787/stat): 4787 (vallst) R 4782 4782 4060 0 -1 0 8740 0 0 0 39347 177 0 0 25 0 1 0 19652874 79015936 8699 4294967295 134512640 134702520 3221223712 3221222736 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4787/statm): 19291 8699 413 48 0 19243 0
[pid=4787] vsize: 77164
Current children cumulated CPU time (s) 755.21
Current children cumulated vsize (Kb) 79292
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=4787) exited with status: 2
New process pid=4851
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=4851) exited with status: 0
New process pid=4852
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+770.174 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4782 4782 4060 0 -1 0 145 0 0 0 225 11 0 0 25 0 1 0 19693413 1859584 118 4294967295 134512640 134702520 3221223712 3221223188 1074898590 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 454 118 413 48 0 406 0
[pid=4852] vsize: 1816
Current children cumulated CPU time (s) 764.94
Current children cumulated vsize (Kb) 3944

[startup+780.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4782 4782 4060 0 -1 0 7769 0 0 0 1174 46 0 0 25 0 1 0 19693413 39157760 7741 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 9560 7741 413 48 0 9512 0
[pid=4852] vsize: 38240
Current children cumulated CPU time (s) 774.78
Current children cumulated vsize (Kb) 40368

[startup+790.175 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 7790 0 0 0 2166 50 0 0 25 0 1 0 19693413 39292928 7762 4294967295 134512640 134702520 3221223712 3221222976 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 9593 7762 413 48 0 9545 0
[pid=4852] vsize: 38372
Current children cumulated CPU time (s) 784.74
Current children cumulated vsize (Kb) 40500

[startup+800.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8114 0 0 0 3155 54 0 0 25 0 1 0 19693413 78368768 8084 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19133 8084 413 48 0 19085 0
[pid=4852] vsize: 76532
Current children cumulated CPU time (s) 794.67
Current children cumulated vsize (Kb) 78660

[startup+810.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8149 0 0 0 4146 57 0 0 25 0 1 0 19693413 78503936 8119 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19166 8119 413 48 0 19118 0
[pid=4852] vsize: 76664
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (Kb) 78792

[startup+820.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8176 0 0 0 5135 61 0 0 25 0 1 0 19693413 78503936 8146 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19166 8146 413 48 0 19118 0
[pid=4852] vsize: 76664
Current children cumulated CPU time (s) 814.54
Current children cumulated vsize (Kb) 78792

[startup+830.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8375 0 0 0 6124 65 0 0 25 0 1 0 19693413 78503936 8345 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19166 8345 413 48 0 19118 0
[pid=4852] vsize: 76664
Current children cumulated CPU time (s) 824.47
Current children cumulated vsize (Kb) 78792

[startup+840.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8386 0 0 0 7113 68 0 0 25 0 1 0 19693413 78503936 8356 4294967295 134512640 134702520 3221223712 3221222992 134550667 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19166 8356 413 48 0 19118 0
[pid=4852] vsize: 76664
Current children cumulated CPU time (s) 834.39
Current children cumulated vsize (Kb) 78792

[startup+850.179 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4782 4782 4060 0 -1 0 8392 0 0 0 8103 71 0 0 25 0 1 0 19693413 78503936 8362 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19166 8362 413 48 0 19118 0
[pid=4852] vsize: 76664
Current children cumulated CPU time (s) 844.32
Current children cumulated vsize (Kb) 78792

[startup+860.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8397 0 0 0 9094 74 0 0 25 0 1 0 19693413 78639104 8367 4294967295 134512640 134702520 3221223712 3221222992 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19199 8367 413 48 0 19151 0
[pid=4852] vsize: 76796
Current children cumulated CPU time (s) 854.26
Current children cumulated vsize (Kb) 78924

[startup+870.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8402 0 0 0 10087 76 0 0 25 0 1 0 19693413 78639104 8372 4294967295 134512640 134702520 3221223712 3221222992 134553095 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19199 8372 413 48 0 19151 0
[pid=4852] vsize: 76796
Current children cumulated CPU time (s) 864.21
Current children cumulated vsize (Kb) 78924

[startup+880.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8409 0 0 0 11080 79 0 0 25 0 1 0 19693413 78639104 8379 4294967295 134512640 134702520 3221223712 3221222992 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19199 8379 413 48 0 19151 0
[pid=4852] vsize: 76796
Current children cumulated CPU time (s) 874.17
Current children cumulated vsize (Kb) 78924

[startup+890.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8415 0 0 0 12072 81 0 0 25 0 1 0 19693413 78639104 8383 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19199 8383 413 48 0 19151 0
[pid=4852] vsize: 76796
Current children cumulated CPU time (s) 884.11
Current children cumulated vsize (Kb) 78924

[startup+900.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8418 0 0 0 13062 85 0 0 25 0 1 0 19693413 78639104 8386 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19199 8386 413 48 0 19151 0
[pid=4852] vsize: 76796
Current children cumulated CPU time (s) 894.05
Current children cumulated vsize (Kb) 78924

[startup+910.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8430 0 0 0 14051 89 0 0 25 0 1 0 19693413 78639104 8398 4294967295 134512640 134702520 3221223712 3221222992 134553095 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19199 8398 413 48 0 19151 0
[pid=4852] vsize: 76796
Current children cumulated CPU time (s) 903.98
Current children cumulated vsize (Kb) 78924

[startup+920.185 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8432 0 0 0 15045 91 0 0 25 0 1 0 19693413 78639104 8400 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19199 8400 413 48 0 19151 0
[pid=4852] vsize: 76796
Current children cumulated CPU time (s) 913.94
Current children cumulated vsize (Kb) 78924

[startup+930.186 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8438 0 0 0 16040 93 0 0 25 0 1 0 19693413 78639104 8406 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19199 8406 413 48 0 19151 0
[pid=4852] vsize: 76796
Current children cumulated CPU time (s) 923.91
Current children cumulated vsize (Kb) 78924

[startup+940.187 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8442 0 0 0 17034 95 0 0 25 0 1 0 19693413 78639104 8410 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19199 8410 413 48 0 19151 0
[pid=4852] vsize: 76796
Current children cumulated CPU time (s) 933.87
Current children cumulated vsize (Kb) 78924

[startup+950.188 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8449 0 0 0 18023 98 0 0 25 0 1 0 19693413 78639104 8417 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19199 8417 413 48 0 19151 0
[pid=4852] vsize: 76796
Current children cumulated CPU time (s) 943.79
Current children cumulated vsize (Kb) 78924

[startup+960.189 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8485 0 0 0 19018 99 0 0 25 0 1 0 19693413 78774272 8453 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19232 8453 413 48 0 19184 0
[pid=4852] vsize: 76928
Current children cumulated CPU time (s) 953.75
Current children cumulated vsize (Kb) 79056

[startup+970.189 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8493 0 0 0 20008 103 0 0 25 0 1 0 19693413 78774272 8461 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19232 8461 413 48 0 19184 0
[pid=4852] vsize: 76928
Current children cumulated CPU time (s) 963.69
Current children cumulated vsize (Kb) 79056

[startup+980.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8500 0 0 0 21004 105 0 0 25 0 1 0 19693413 78774272 8468 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19232 8468 413 48 0 19184 0
[pid=4852] vsize: 76928
Current children cumulated CPU time (s) 973.67
Current children cumulated vsize (Kb) 79056

[startup+990.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8694 0 0 0 21996 108 0 0 25 0 1 0 19693413 78774272 8662 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19232 8662 413 48 0 19184 0
[pid=4852] vsize: 76928
Current children cumulated CPU time (s) 983.62
Current children cumulated vsize (Kb) 79056

[startup+1000.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8715 0 0 0 22992 110 0 0 25 0 1 0 19693413 78802944 8681 4294967295 134512640 134702520 3221223712 3221222992 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19239 8681 413 48 0 19191 0
[pid=4852] vsize: 76956
Current children cumulated CPU time (s) 993.6
Current children cumulated vsize (Kb) 79084

[startup+1010.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8717 0 0 0 23989 110 0 0 25 0 1 0 19693413 78802944 8683 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19239 8683 413 48 0 19191 0
[pid=4852] vsize: 76956
Current children cumulated CPU time (s) 1003.57
Current children cumulated vsize (Kb) 79084

[startup+1020.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8718 0 0 0 24982 113 0 0 25 0 1 0 19693413 78802944 8684 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19239 8684 413 48 0 19191 0
[pid=4852] vsize: 76956
Current children cumulated CPU time (s) 1013.53
Current children cumulated vsize (Kb) 79084

[startup+1030.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8721 0 0 0 25976 114 0 0 25 0 1 0 19693413 78802944 8687 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19239 8687 413 48 0 19191 0
[pid=4852] vsize: 76956
Current children cumulated CPU time (s) 1023.48
Current children cumulated vsize (Kb) 79084

[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8723 0 0 0 26969 117 0 0 25 0 1 0 19693413 78802944 8689 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19239 8689 413 48 0 19191 0
[pid=4852] vsize: 76956
Current children cumulated CPU time (s) 1033.44
Current children cumulated vsize (Kb) 79084

[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8733 0 0 0 27963 119 0 0 25 0 1 0 19693413 78802944 8699 4294967295 134512640 134702520 3221223712 3221222992 134552683 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19239 8699 413 48 0 19191 0
[pid=4852] vsize: 76956
Current children cumulated CPU time (s) 1043.4
Current children cumulated vsize (Kb) 79084

[startup+1060.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8739 0 0 0 28953 123 0 0 25 0 1 0 19693413 78802944 8705 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19239 8705 413 48 0 19191 0
[pid=4852] vsize: 76956
Current children cumulated CPU time (s) 1053.34
Current children cumulated vsize (Kb) 79084

[startup+1070.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8743 0 0 0 29946 125 0 0 25 0 1 0 19693413 78938112 8709 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19272 8709 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1063.29
Current children cumulated vsize (Kb) 79216

[startup+1080.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8747 0 0 0 30938 128 0 0 25 0 1 0 19693413 78938112 8713 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19272 8713 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1073.24
Current children cumulated vsize (Kb) 79216

[startup+1090.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8753 0 0 0 31931 130 0 0 25 0 1 0 19693413 78938112 8719 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 19272 8719 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1083.19
Current children cumulated vsize (Kb) 79216

[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8757 0 0 0 32921 133 0 0 25 0 1 0 19693413 78938112 8723 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8723 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1093.12
Current children cumulated vsize (Kb) 79216

[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4782 4782 4060 0 -1 0 8761 0 0 0 33911 137 0 0 25 0 1 0 19693413 78938112 8727 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8727 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1103.06
Current children cumulated vsize (Kb) 79216

[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8767 0 0 0 34906 139 0 0 25 0 1 0 19693413 78938112 8733 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8733 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1113.03
Current children cumulated vsize (Kb) 79216

[startup+1130.2 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4782 4782 4060 0 -1 0 8775 0 0 0 35900 141 0 0 25 0 1 0 19693413 78938112 8739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8739 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1122.99
Current children cumulated vsize (Kb) 79216

[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8782 0 0 0 36893 143 0 0 25 0 1 0 19693413 78938112 8746 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8746 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1132.94
Current children cumulated vsize (Kb) 79216

[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8789 0 0 0 37884 147 0 0 25 0 1 0 19693413 78938112 8753 4294967295 134512640 134702520 3221223712 3221222992 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8753 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1142.89
Current children cumulated vsize (Kb) 79216

[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8791 0 0 0 38880 148 0 0 25 0 1 0 19693413 78938112 8755 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8755 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1152.86
Current children cumulated vsize (Kb) 79216

[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8796 0 0 0 39871 151 0 0 25 0 1 0 19693413 78938112 8760 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8760 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1162.8
Current children cumulated vsize (Kb) 79216

[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8805 0 0 0 40864 154 0 0 25 0 1 0 19693413 78938112 8769 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8769 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1172.76
Current children cumulated vsize (Kb) 79216

[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8813 0 0 0 41853 159 0 0 25 0 1 0 19693413 78938112 8777 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8777 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1182.7
Current children cumulated vsize (Kb) 79216

[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8816 0 0 0 42847 161 0 0 25 0 1 0 19693413 78938112 8780 4294967295 134512640 134702520 3221223712 3221222992 134553177 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8780 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1192.66
Current children cumulated vsize (Kb) 79216

[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8824 0 0 0 43839 164 0 0 25 0 1 0 19693413 78938112 8788 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8788 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1202.61
Current children cumulated vsize (Kb) 79216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4852
Raw data (/proc/4782/stat): 4782 (vallstSAT2005PB) S 4781 4782 4060 0 -1 0 417 19129 0 0 2 1 75848 407 19 0 1 0 19616631 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4782/statm): 532 248 485 147 0 385 0
[pid=4782] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4782 4782 4060 0 -1 0 8824 0 0 0 43839 164 0 0 25 0 1 0 19693413 78938112 8788 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 19272 8788 413 48 0 19224 0
[pid=4852] vsize: 77088
Current children cumulated CPU time (s) 1202.61
Current children cumulated vsize (Kb) 79216

Sending SIGTERM to -4782
Sleeping 2 seconds
New process pid=4854
New process pid=4855
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/4743/stat
open syscall for file /proc/4743/status
open syscall for file /proc/4743/cmdline
open syscall for file /proc/4743/environ
open syscall for file /proc/4781/stat
open syscall for file /proc/4781/status
open syscall for file /proc/4781/cmdline
open syscall for file /proc/4781/environ
open syscall for file /proc/4782/stat
open syscall for file /proc/4782/status
open syscall for file /proc/4782/cmdline
open syscall for file /proc/4782/environ
open syscall for file /proc/4852/stat
open syscall for file /proc/4852/status
open syscall for file /proc/4852/cmdline
open syscall for file /proc/4852/environ
open syscall for file /proc/4854/stat
open syscall for file /proc/4854/status
open syscall for file /proc/4854/cmdline
open syscall for file /proc/4854/environ
open syscall for file /proc/4855/stat
open syscall for file /proc/4855/status
open syscall for file /proc/4855/cmdline
open syscall for file /proc/4855/environ
One traced child (pid=4854) exited with status: 0
One traced child (pid=4855) exited with status: 0
New process pid=4856
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=4856) exited with status: 0
New process pid=4857
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=4857) exited with status: 0
One traced child (pid=4782) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -4782
One traced child (pid=4852) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.24
CPU time (s): 441.982
CPU user time (s): 440.083
CPU system time (s): 1.89871
CPU usage (%): 36.4598
Max. virtual memory (cumulated for all children) (Kb): 80504

Verifier Data

ERROR: no interpretation found !