Some explanations

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

General information on the benchmark

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

Trace number 4911

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        727360 kB
Buffers:         36296 kB
Cached:         243056 kB
SwapCached:        536 kB
Active:         209376 kB
Inactive:        72596 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        727108 kB
SwapTotal:     2097892 kB
SwapFree:      2096832 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5868 kB
Slab:            19664 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 21:14:08 (client local time) WITH STATUS 3 IN 200.041 SECONDS
stats: 7646 7 200.041 3

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 1443  (#equs: 4)
#decisions: 459788;  #end-nodes: 200185;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 178 (175)
#axs: 1652, #non-axs: 4840
tight: meta-meta: start: 4, end: 5;  meta: start: 10, end (keep): 19
loose: meta-meta: start: 8, end: 12;  meta: start: 27, end (keep): 43
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1550  (#equs: 5)
Time taken: 5 min, 16 sec

2:
seed: 0
Nr of vars set: 1550  (#equs: 0)
Nr of vars set: 1550  (#equs: 0)
#decisions: 1177493;  #end-nodes: 536860;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 278 (263)
#axs: 1629, #non-axs: 2463
tight: meta-meta: start: 3, end: 3;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 6, end: 8;  meta: start: 18, end (keep): 26
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1583  (#equs: 1)
Time taken: 11 min, 28 sec

3:

Error: out-theory file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf couldn't be opened.
No such file or directory


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

seed: 0
Nr of vars set: 1583  (#equs: 0)
Nr of vars set: 1584  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1586  (#equs: 0)
Time taken: 3 min, 20 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) R 9109 9110 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1852924347 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9110/statm): 174 3 169 147 0 27 0
[pid=9110] 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=9111
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=9111) exited with status: 0
New process pid=9112
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=9112) exited with status: 0
New process pid=9113
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-air04.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0037 s]
Raw data (loadavg): 1.04 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1156 0 0 0 893 38 0 0 25 0 1 0 1852924354 6635520 1055 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9113/statm): 1620 1055 413 48 0 1572 0
[pid=9113] vsize: 6480
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (Kb) 8608

[startup+20.0054 s]
Raw data (loadavg): 1.03 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1205 0 0 0 1762 84 0 0 23 0 1 0 1852924354 12681216 1104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3096 1104 413 48 0 3048 0
[pid=9113] vsize: 12384
Current children cumulated CPU time (s) 18.48
Current children cumulated vsize (Kb) 14512

[startup+30.0062 s]
Raw data (loadavg): 1.02 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1344 0 0 0 2659 120 0 0 25 0 1 0 1852924354 12771328 1243 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3118 1243 413 48 0 3070 0
[pid=9113] vsize: 12472
Current children cumulated CPU time (s) 27.81
Current children cumulated vsize (Kb) 14600

[startup+40.0069 s]
Raw data (loadavg): 1.02 1.00 0.93 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1563 0 0 0 3560 156 0 0 25 0 1 0 1852924354 12906496 1462 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3151 1462 413 48 0 3103 0
[pid=9113] vsize: 12604
Current children cumulated CPU time (s) 37.18
Current children cumulated vsize (Kb) 14732

[startup+50.0086 s]
Raw data (loadavg): 1.02 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1596 0 0 0 4471 186 0 0 25 0 1 0 1852924354 13041664 1495 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3184 1495 413 48 0 3136 0
[pid=9113] vsize: 12736
Current children cumulated CPU time (s) 46.59
Current children cumulated vsize (Kb) 14864

[startup+60.0093 s]
Raw data (loadavg): 1.01 1.00 0.93 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 1616 0 0 0 5379 217 0 0 25 0 1 0 1852924354 13012992 1515 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3177 1515 413 48 0 3129 0
[pid=9113] vsize: 12708
Current children cumulated CPU time (s) 55.98
Current children cumulated vsize (Kb) 14836

[startup+70.011 s]
Raw data (loadavg): 1.01 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1619 0 0 0 6279 252 0 0 25 0 1 0 1852924354 13012992 1518 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3177 1518 413 48 0 3129 0
[pid=9113] vsize: 12708
Current children cumulated CPU time (s) 65.33
Current children cumulated vsize (Kb) 14836

[startup+80.0117 s]
Raw data (loadavg): 1.01 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1791 0 0 0 7182 287 0 0 25 0 1 0 1852924354 13152256 1690 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3211 1690 413 48 0 3163 0
[pid=9113] vsize: 12844
Current children cumulated CPU time (s) 74.71
Current children cumulated vsize (Kb) 14972

[startup+90.0124 s]
Raw data (loadavg): 1.01 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 2354 0 0 0 8080 326 0 0 18 0 1 0 1852924354 13287424 2253 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3244 2253 413 48 0 3196 0
[pid=9113] vsize: 12976
Current children cumulated CPU time (s) 84.08
Current children cumulated vsize (Kb) 15104

[startup+100.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 2890 0 0 0 8991 359 0 0 25 0 1 0 1852924354 13557760 2789 4294967295 134512640 134702520 3221223952 3221212208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3310 2789 413 48 0 3262 0
[pid=9113] vsize: 13240
Current children cumulated CPU time (s) 93.52
Current children cumulated vsize (Kb) 15368

[startup+110.014 s]
Raw data (loadavg): 1.08 1.02 0.94 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 2905 0 0 0 9896 388 0 0 25 0 1 0 1852924354 13557760 2804 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3310 2804 413 48 0 3262 0
[pid=9113] vsize: 13240
Current children cumulated CPU time (s) 102.86
Current children cumulated vsize (Kb) 15368

[startup+120.016 s]
Raw data (loadavg): 1.07 1.02 0.94 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 2925 0 0 0 10808 417 0 0 25 0 1 0 1852924354 13692928 2824 4294967295 134512640 134702520 3221223952 3221144828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3343 2824 413 48 0 3295 0
[pid=9113] vsize: 13372
Current children cumulated CPU time (s) 112.27
Current children cumulated vsize (Kb) 15500

[startup+130.016 s]
Raw data (loadavg): 1.06 1.01 0.94 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 2936 0 0 0 11721 447 0 0 25 0 1 0 1852924354 13692928 2835 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3343 2835 413 48 0 3295 0
[pid=9113] vsize: 13372
Current children cumulated CPU time (s) 121.7
Current children cumulated vsize (Kb) 15500

[startup+140.017 s]
Raw data (loadavg): 1.13 1.03 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 2992 0 0 0 12637 479 0 0 25 0 1 0 1852924354 13828096 2891 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3376 2891 413 48 0 3328 0
[pid=9113] vsize: 13504
Current children cumulated CPU time (s) 131.18
Current children cumulated vsize (Kb) 15632

[startup+150.018 s]
Raw data (loadavg): 1.11 1.03 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3001 0 0 0 13553 509 0 0 25 0 1 0 1852924354 13975552 2900 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3412 2900 413 48 0 3364 0
[pid=9113] vsize: 13648
Current children cumulated CPU time (s) 140.64
Current children cumulated vsize (Kb) 15776

[startup+160.018 s]
Raw data (loadavg): 1.09 1.03 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3002 0 0 0 14457 541 0 0 25 0 1 0 1852924354 13946880 2901 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3405 2901 413 48 0 3357 0
[pid=9113] vsize: 13620
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 15748

[startup+170.02 s]
Raw data (loadavg): 1.08 1.03 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3004 0 0 0 15362 573 0 0 25 0 1 0 1852924354 13950976 2903 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3406 2903 413 48 0 3358 0
[pid=9113] vsize: 13624
Current children cumulated CPU time (s) 159.37
Current children cumulated vsize (Kb) 15752

[startup+180.021 s]
Raw data (loadavg): 1.07 1.03 0.95 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 3011 0 0 0 16275 604 0 0 25 0 1 0 1852924354 13950976 2910 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3406 2910 413 48 0 3358 0
[pid=9113] vsize: 13624
Current children cumulated CPU time (s) 168.81
Current children cumulated vsize (Kb) 15752

[startup+190.022 s]
Raw data (loadavg): 1.06 1.02 0.95 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 3020 0 0 0 17192 634 0 0 25 0 1 0 1852924354 13950976 2919 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3406 2919 413 48 0 3358 0
[pid=9113] vsize: 13624
Current children cumulated CPU time (s) 178.28
Current children cumulated vsize (Kb) 15752

[startup+200.023 s]
Raw data (loadavg): 1.05 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3039 0 0 0 18109 662 0 0 25 0 1 0 1852924354 14086144 2938 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3439 2938 413 48 0 3391 0
[pid=9113] vsize: 13756
Current children cumulated CPU time (s) 187.73
Current children cumulated vsize (Kb) 15884

[startup+210.024 s]
Raw data (loadavg): 1.04 1.02 0.95 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3044 0 0 0 19016 695 0 0 25 0 1 0 1852924354 14086144 2943 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3439 2943 413 48 0 3391 0
[pid=9113] vsize: 13756
Current children cumulated CPU time (s) 197.13
Current children cumulated vsize (Kb) 15884

[startup+220.025 s]
Raw data (loadavg): 1.03 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3051 0 0 0 19933 724 0 0 18 0 1 0 1852924354 14086144 2950 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3439 2950 413 48 0 3391 0
[pid=9113] vsize: 13756
Current children cumulated CPU time (s) 206.59
Current children cumulated vsize (Kb) 15884

[startup+230.025 s]
Raw data (loadavg): 1.03 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3051 0 0 0 20851 752 0 0 18 0 1 0 1852924354 14086144 2950 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3439 2950 413 48 0 3391 0
[pid=9113] vsize: 13756
Current children cumulated CPU time (s) 216.05
Current children cumulated vsize (Kb) 15884

[startup+240.026 s]
Raw data (loadavg): 1.02 1.02 0.95 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 3058 0 0 0 21758 784 0 0 25 0 1 0 1852924354 14086144 2957 4294967295 134512640 134702520 3221223952 3221223232 134550809 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3439 2957 413 48 0 3391 0
[pid=9113] vsize: 13756
Current children cumulated CPU time (s) 225.44
Current children cumulated vsize (Kb) 15884

[startup+250.027 s]
Raw data (loadavg): 1.02 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3085 0 0 0 22693 806 0 0 25 0 1 0 1852924354 14221312 2984 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3472 2984 413 48 0 3424 0
[pid=9113] vsize: 13888
Current children cumulated CPU time (s) 235.01
Current children cumulated vsize (Kb) 16016

[startup+260.028 s]
Raw data (loadavg): 1.02 1.02 0.95 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 3168 0 0 0 23590 845 0 0 25 0 1 0 1852924354 14221312 3067 4294967295 134512640 134702520 3221223952 3221223232 134552884 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3472 3067 413 48 0 3424 0
[pid=9113] vsize: 13888
Current children cumulated CPU time (s) 244.37
Current children cumulated vsize (Kb) 16016

[startup+270.029 s]
Raw data (loadavg): 1.01 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3240 0 0 0 24501 876 0 0 25 0 1 0 1852924354 15044608 3139 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3673 3139 413 48 0 3625 0
[pid=9113] vsize: 14692
Current children cumulated CPU time (s) 253.79
Current children cumulated vsize (Kb) 16820

[startup+280.03 s]
Raw data (loadavg): 1.01 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3329 0 0 0 25426 904 0 0 25 0 1 0 1852924354 15179776 3228 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3706 3228 413 48 0 3658 0
[pid=9113] vsize: 14824
Current children cumulated CPU time (s) 263.32
Current children cumulated vsize (Kb) 16952

[startup+290.031 s]
Raw data (loadavg): 1.01 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3371 0 0 0 26353 930 0 0 25 0 1 0 1852924354 15179776 3270 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3706 3270 413 48 0 3658 0
[pid=9113] vsize: 14824
Current children cumulated CPU time (s) 272.85
Current children cumulated vsize (Kb) 16952

[startup+300.031 s]
Raw data (loadavg): 1.01 1.01 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3447 0 0 0 27270 960 0 0 25 0 1 0 1852924354 15314944 3346 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3739 3346 413 48 0 3691 0
[pid=9113] vsize: 14956
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (Kb) 17084

[startup+310.032 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3502 0 0 0 28203 981 0 0 25 0 1 0 1852924354 16138240 3401 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3940 3401 413 48 0 3892 0
[pid=9113] vsize: 15760
Current children cumulated CPU time (s) 291.86
Current children cumulated vsize (Kb) 17888

[startup+320.033 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3558 0 0 0 29140 1004 0 0 25 0 1 0 1852924354 16273408 3457 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3973 3457 413 48 0 3925 0
[pid=9113] vsize: 15892
Current children cumulated CPU time (s) 301.46
Current children cumulated vsize (Kb) 18020

[startup+330.034 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3561 0 0 0 30059 1035 0 0 25 0 1 0 1852924354 16273408 3460 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3973 3460 413 48 0 3925 0
[pid=9113] vsize: 15892
Current children cumulated CPU time (s) 310.96
Current children cumulated vsize (Kb) 18020
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=9113) exited with status: 2
New process pid=9114
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=9114) exited with status: 0
New process pid=9115
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+340.034 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 986 0 0 0 354 13 0 0 25 0 1 0 1852957968 6070272 956 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 1482 956 413 48 0 1434 0
[pid=9115] vsize: 5928
Current children cumulated CPU time (s) 320.45
Current children cumulated vsize (Kb) 8056

[startup+350.035 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 1019 0 0 0 1270 39 0 0 25 0 1 0 1852957968 6340608 989 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 1548 989 413 48 0 1500 0
[pid=9115] vsize: 6192
Current children cumulated CPU time (s) 329.87
Current children cumulated vsize (Kb) 8320

[startup+360.036 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 1157 0 0 0 2179 70 0 0 25 0 1 0 1852957968 11673600 1127 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 2850 1127 413 48 0 2802 0
[pid=9115] vsize: 11400
Current children cumulated CPU time (s) 339.27
Current children cumulated vsize (Kb) 13528

[startup+370.036 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 1360 0 0 0 3090 101 0 0 25 0 1 0 1852957968 11808768 1330 4294967295 134512640 134702520 3221223712 3221222736 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 2883 1330 413 48 0 2835 0
[pid=9115] vsize: 11532
Current children cumulated CPU time (s) 348.69
Current children cumulated vsize (Kb) 13660

[startup+380.038 s]
Raw data (loadavg): 1.07 1.02 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 1553 0 0 0 3974 142 0 0 25 0 1 0 1852957968 11943936 1523 4294967295 134512640 134702520 3221223712 3221196128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9115/statm): 2916 1523 413 48 0 2868 0
[pid=9115] vsize: 11664
Current children cumulated CPU time (s) 357.94
Current children cumulated vsize (Kb) 13792

[startup+390.039 s]
Raw data (loadavg): 1.06 1.02 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 1562 0 0 0 4877 176 0 0 25 0 1 0 1852957968 12079104 1532 4294967295 134512640 134702520 3221223712 3221222992 134552175 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 2949 1532 413 48 0 2901 0
[pid=9115] vsize: 11796
Current children cumulated CPU time (s) 367.31
Current children cumulated vsize (Kb) 13924

[startup+400.041 s]
Raw data (loadavg): 1.05 1.02 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 1571 0 0 0 5783 212 0 0 25 0 1 0 1852957968 12079104 1541 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 2949 1541 413 48 0 2901 0
[pid=9115] vsize: 11796
Current children cumulated CPU time (s) 376.73
Current children cumulated vsize (Kb) 13924

[startup+410.041 s]
Raw data (loadavg): 1.04 1.02 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 1571 0 0 0 6698 243 0 0 25 0 1 0 1852957968 12079104 1541 4294967295 134512640 134702520 3221223712 3221222992 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 2949 1541 413 48 0 2901 0
[pid=9115] vsize: 11796
Current children cumulated CPU time (s) 386.19
Current children cumulated vsize (Kb) 13924

[startup+420.043 s]
Raw data (loadavg): 1.04 1.02 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 1674 0 0 0 7588 281 0 0 25 0 1 0 1852957968 12214272 1644 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 2982 1644 413 48 0 2934 0
[pid=9115] vsize: 11928
Current children cumulated CPU time (s) 395.47
Current children cumulated vsize (Kb) 14056

[startup+430.044 s]
Raw data (loadavg): 1.03 1.02 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 1678 0 0 0 8488 315 0 0 25 0 1 0 1852957968 12214272 1648 4294967295 134512640 134702520 3221223712 3221036128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9115/statm): 2982 1648 413 48 0 2934 0
[pid=9115] vsize: 11928
Current children cumulated CPU time (s) 404.81
Current children cumulated vsize (Kb) 14056

[startup+440.044 s]
Raw data (loadavg): 1.02 1.02 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2435 0 0 0 9380 354 0 0 25 0 1 0 1852957968 12484608 2405 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3048 2405 413 48 0 3000 0
[pid=9115] vsize: 12192
Current children cumulated CPU time (s) 414.12
Current children cumulated vsize (Kb) 14320

[startup+450.046 s]
Raw data (loadavg): 1.02 1.02 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2593 0 0 0 10293 387 0 0 25 0 1 0 1852957968 12611584 2563 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3079 2563 413 48 0 3031 0
[pid=9115] vsize: 12316
Current children cumulated CPU time (s) 423.58
Current children cumulated vsize (Kb) 14444

[startup+460.047 s]
Raw data (loadavg): 1.02 1.02 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2632 0 0 0 11186 424 0 0 25 0 1 0 1852957968 12746752 2602 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3112 2602 413 48 0 3064 0
[pid=9115] vsize: 12448
Current children cumulated CPU time (s) 432.88
Current children cumulated vsize (Kb) 14576

[startup+470.048 s]
Raw data (loadavg): 1.01 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2670 0 0 0 12095 456 0 0 25 0 1 0 1852957968 12881920 2640 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3145 2640 413 48 0 3097 0
[pid=9115] vsize: 12580
Current children cumulated CPU time (s) 442.29
Current children cumulated vsize (Kb) 14708

[startup+480.049 s]
Raw data (loadavg): 1.01 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2679 0 0 0 12987 492 0 0 18 0 1 0 1852957968 12881920 2649 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3145 2649 413 48 0 3097 0
[pid=9115] vsize: 12580
Current children cumulated CPU time (s) 451.57
Current children cumulated vsize (Kb) 14708

[startup+490.051 s]
Raw data (loadavg): 1.01 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2686 0 0 0 13899 521 0 0 25 0 1 0 1852957968 13037568 2656 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3183 2656 413 48 0 3135 0
[pid=9115] vsize: 12732
Current children cumulated CPU time (s) 460.98
Current children cumulated vsize (Kb) 14860

[startup+500.053 s]
Raw data (loadavg): 1.01 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2686 0 0 0 14797 556 0 0 25 0 1 0 1852957968 12980224 2656 4294967295 134512640 134702520 3221223712 3221222992 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3169 2656 413 48 0 3121 0
[pid=9115] vsize: 12676
Current children cumulated CPU time (s) 470.31
Current children cumulated vsize (Kb) 14804

[startup+510.053 s]
Raw data (loadavg): 1.01 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2705 0 0 0 15695 589 0 0 25 0 1 0 1852957968 12980224 2675 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3169 2675 413 48 0 3121 0
[pid=9115] vsize: 12676
Current children cumulated CPU time (s) 479.62
Current children cumulated vsize (Kb) 14804

[startup+520.055 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2723 0 0 0 16592 623 0 0 25 0 1 0 1852957968 13115392 2693 4294967295 134512640 134702520 3221223712 3221199488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3202 2693 413 48 0 3154 0
[pid=9115] vsize: 12808
Current children cumulated CPU time (s) 488.93
Current children cumulated vsize (Kb) 14936

[startup+530.056 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2726 0 0 0 17487 660 0 0 18 0 1 0 1852957968 13115392 2696 4294967295 134512640 134702520 3221223712 3221222832 134573613 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3202 2696 413 48 0 3154 0
[pid=9115] vsize: 12808
Current children cumulated CPU time (s) 498.25
Current children cumulated vsize (Kb) 14936

[startup+540.056 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2744 0 0 0 18380 696 0 0 25 0 1 0 1852957968 13254656 2714 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3236 2714 413 48 0 3188 0
[pid=9115] vsize: 12944
Current children cumulated CPU time (s) 507.54
Current children cumulated vsize (Kb) 15072

[startup+550.057 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2749 0 0 0 19265 734 0 0 25 0 1 0 1852957968 13225984 2719 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3229 2719 413 48 0 3181 0
[pid=9115] vsize: 12916
Current children cumulated CPU time (s) 516.77
Current children cumulated vsize (Kb) 15044

[startup+560.058 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2753 0 0 0 20158 770 0 0 18 0 1 0 1852957968 13225984 2723 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3229 2723 413 48 0 3181 0
[pid=9115] vsize: 12916
Current children cumulated CPU time (s) 526.06
Current children cumulated vsize (Kb) 15044

[startup+570.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2756 0 0 0 21040 811 0 0 25 0 1 0 1852957968 13225984 2726 4294967295 134512640 134702520 3221223712 3221196448 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3229 2726 413 48 0 3181 0
[pid=9115] vsize: 12916
Current children cumulated CPU time (s) 535.29
Current children cumulated vsize (Kb) 15044

[startup+580.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2760 0 0 0 21955 839 0 0 25 0 1 0 1852957968 13225984 2730 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3229 2730 413 48 0 3181 0
[pid=9115] vsize: 12916
Current children cumulated CPU time (s) 544.72
Current children cumulated vsize (Kb) 15044

[startup+590.061 s]
Raw data (loadavg): 1.07 1.02 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2760 0 0 0 22854 873 0 0 25 0 1 0 1852957968 13225984 2730 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3229 2730 413 48 0 3181 0
[pid=9115] vsize: 12916
Current children cumulated CPU time (s) 554.05
Current children cumulated vsize (Kb) 15044

[startup+600.062 s]
Raw data (loadavg): 1.06 1.02 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2766 0 0 0 23736 916 0 0 25 0 1 0 1852957968 13225984 2736 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3229 2736 413 48 0 3181 0
[pid=9115] vsize: 12916
Current children cumulated CPU time (s) 563.3
Current children cumulated vsize (Kb) 15044

[startup+610.062 s]
Raw data (loadavg): 1.05 1.02 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2776 0 0 0 24646 950 0 0 25 0 1 0 1852957968 13361152 2746 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3262 2746 413 48 0 3214 0
[pid=9115] vsize: 13048
Current children cumulated CPU time (s) 572.74
Current children cumulated vsize (Kb) 15176

[startup+620.063 s]
Raw data (loadavg): 1.04 1.02 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2819 0 0 0 25555 983 0 0 25 0 1 0 1852957968 13361152 2789 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3262 2789 413 48 0 3214 0
[pid=9115] vsize: 13048
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (Kb) 15176

[startup+630.064 s]
Raw data (loadavg): 1.04 1.02 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2907 0 0 0 26462 1014 0 0 25 0 1 0 1852957968 13361152 2877 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3262 2877 413 48 0 3214 0
[pid=9115] vsize: 13048
Current children cumulated CPU time (s) 591.54
Current children cumulated vsize (Kb) 15176

[startup+640.065 s]
Raw data (loadavg): 1.03 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3013 0 0 0 27385 1042 0 0 25 0 1 0 1852957968 14213120 2983 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3470 2983 413 48 0 3422 0
[pid=9115] vsize: 13880
Current children cumulated CPU time (s) 601.05
Current children cumulated vsize (Kb) 16008

[startup+650.065 s]
Raw data (loadavg): 1.02 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3112 0 0 0 28301 1072 0 0 25 0 1 0 1852957968 14348288 3082 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3503 3082 413 48 0 3455 0
[pid=9115] vsize: 14012
Current children cumulated CPU time (s) 610.51
Current children cumulated vsize (Kb) 16140

[startup+660.066 s]
Raw data (loadavg): 1.02 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3202 0 0 0 29234 1097 0 0 25 0 1 0 1852957968 15200256 3172 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3711 3172 413 48 0 3663 0
[pid=9115] vsize: 14844
Current children cumulated CPU time (s) 620.09
Current children cumulated vsize (Kb) 16972

[startup+670.068 s]
Raw data (loadavg): 1.02 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3228 0 0 0 30166 1120 0 0 25 0 1 0 1852957968 15335424 3198 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3744 3198 413 48 0 3696 0
[pid=9115] vsize: 14976
Current children cumulated CPU time (s) 629.64
Current children cumulated vsize (Kb) 17104

[startup+680.068 s]
Raw data (loadavg): 1.01 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3263 0 0 0 31108 1140 0 0 25 0 1 0 1852957968 15335424 3233 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3744 3233 413 48 0 3696 0
[pid=9115] vsize: 14976
Current children cumulated CPU time (s) 639.26
Current children cumulated vsize (Kb) 17104

[startup+690.069 s]
Raw data (loadavg): 1.01 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3323 0 0 0 32042 1163 0 0 19 0 1 0 1852957968 15470592 3293 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3777 3293 413 48 0 3729 0
[pid=9115] vsize: 15108
Current children cumulated CPU time (s) 648.83
Current children cumulated vsize (Kb) 17236

[startup+700.071 s]
Raw data (loadavg): 1.01 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3382 0 0 0 32976 1187 0 0 25 0 1 0 1852957968 15470592 3352 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3777 3352 413 48 0 3729 0
[pid=9115] vsize: 15108
Current children cumulated CPU time (s) 658.41
Current children cumulated vsize (Kb) 17236

[startup+710.072 s]
Raw data (loadavg): 1.01 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3472 0 0 0 33893 1218 0 0 25 0 1 0 1852957968 16322560 3442 4294967295 134512640 134702520 3221223712 3221130828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3985 3442 413 48 0 3937 0
[pid=9115] vsize: 15940
Current children cumulated CPU time (s) 667.89
Current children cumulated vsize (Kb) 18068

[startup+720.073 s]
Raw data (loadavg): 1.01 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3496 0 0 0 34827 1243 0 0 19 0 1 0 1852957968 16457728 3466 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4018 3466 413 48 0 3970 0
[pid=9115] vsize: 16072
Current children cumulated CPU time (s) 677.48
Current children cumulated vsize (Kb) 18200

[startup+730.075 s]
Raw data (loadavg): 1.00 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3544 0 0 0 35753 1268 0 0 19 0 1 0 1852957968 16457728 3514 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4018 3514 413 48 0 3970 0
[pid=9115] vsize: 16072
Current children cumulated CPU time (s) 686.99
Current children cumulated vsize (Kb) 18200

[startup+740.076 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3626 0 0 0 36676 1293 0 0 25 0 1 0 1852957968 16592896 3596 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4051 3596 413 48 0 4003 0
[pid=9115] vsize: 16204
Current children cumulated CPU time (s) 696.47
Current children cumulated vsize (Kb) 18332

[startup+750.076 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3640 0 0 0 37610 1317 0 0 25 0 1 0 1852957968 16592896 3610 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4051 3610 413 48 0 4003 0
[pid=9115] vsize: 16204
Current children cumulated CPU time (s) 706.05
Current children cumulated vsize (Kb) 18332

[startup+760.077 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3652 0 0 0 38538 1341 0 0 25 0 1 0 1852957968 16592896 3622 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4051 3622 413 48 0 4003 0
[pid=9115] vsize: 16204
Current children cumulated CPU time (s) 715.57
Current children cumulated vsize (Kb) 18332

[startup+770.078 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3684 0 0 0 39476 1360 0 0 25 0 1 0 1852957968 16728064 3654 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4084 3654 413 48 0 4036 0
[pid=9115] vsize: 16336
Current children cumulated CPU time (s) 725.14
Current children cumulated vsize (Kb) 18464

[startup+780.079 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3768 0 0 0 40416 1381 0 0 25 0 1 0 1852957968 17580032 3738 4294967295 134512640 134702520 3221223712 3221222992 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4292 3738 413 48 0 4244 0
[pid=9115] vsize: 17168
Current children cumulated CPU time (s) 734.75
Current children cumulated vsize (Kb) 19296

[startup+790.079 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3794 0 0 0 41345 1408 0 0 20 0 1 0 1852957968 16867328 3731 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4118 3731 413 48 0 4070 0
[pid=9115] vsize: 16472
Current children cumulated CPU time (s) 744.31
Current children cumulated vsize (Kb) 18600

[startup+800.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3794 0 0 0 42262 1436 0 0 25 0 1 0 1852957968 16867328 3731 4294967295 134512640 134702520 3221223712 3221222992 134550414 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4118 3731 413 48 0 4070 0
[pid=9115] vsize: 16472
Current children cumulated CPU time (s) 753.76
Current children cumulated vsize (Kb) 18600

[startup+810.081 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3796 0 0 0 43159 1472 0 0 25 0 1 0 1852957968 16867328 3733 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4118 3733 413 48 0 4070 0
[pid=9115] vsize: 16472
Current children cumulated CPU time (s) 763.09
Current children cumulated vsize (Kb) 18600

[startup+820.082 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3803 0 0 0 44080 1501 0 0 25 0 1 0 1852957968 16867328 3740 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4118 3740 413 48 0 4070 0
[pid=9115] vsize: 16472
Current children cumulated CPU time (s) 772.59
Current children cumulated vsize (Kb) 18600

[startup+830.083 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3804 0 0 0 44987 1530 0 0 25 0 1 0 1852957968 16867328 3741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4118 3741 413 48 0 4070 0
[pid=9115] vsize: 16472
Current children cumulated CPU time (s) 781.95
Current children cumulated vsize (Kb) 18600

[startup+840.084 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3806 0 0 0 45902 1559 0 0 25 0 1 0 1852957968 16867328 3743 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4118 3743 413 48 0 4070 0
[pid=9115] vsize: 16472
Current children cumulated CPU time (s) 791.39
Current children cumulated vsize (Kb) 18600

[startup+850.086 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3809 0 0 0 46816 1591 0 0 20 0 1 0 1852957968 17002496 3746 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4151 3746 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 800.85
Current children cumulated vsize (Kb) 18732

[startup+860.086 s]
Raw data (loadavg): 1.08 1.02 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3814 0 0 0 47740 1617 0 0 25 0 1 0 1852957968 17002496 3751 4294967295 134512640 134702520 3221223712 3221222832 134573392 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4151 3751 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 810.35
Current children cumulated vsize (Kb) 18732

[startup+870.088 s]
Raw data (loadavg): 1.07 1.02 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3821 0 0 0 48662 1645 0 0 25 0 1 0 1852957968 17002496 3758 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4151 3758 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 819.85
Current children cumulated vsize (Kb) 18732

[startup+880.089 s]
Raw data (loadavg): 1.06 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3823 0 0 0 49593 1668 0 0 25 0 1 0 1852957968 17002496 3760 4294967295 134512640 134702520 3221223712 3221222992 134557529 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4151 3760 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 829.39
Current children cumulated vsize (Kb) 18732

[startup+890.089 s]
Raw data (loadavg): 1.05 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3825 0 0 0 50517 1692 0 0 25 0 1 0 1852957968 17002496 3762 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4151 3762 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 838.87
Current children cumulated vsize (Kb) 18732

[startup+900.091 s]
Raw data (loadavg): 1.04 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3836 0 0 0 51440 1717 0 0 23 0 1 0 1852957968 17002496 3773 4294967295 134512640 134702520 3221223712 3221222992 134557470 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4151 3773 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 848.35
Current children cumulated vsize (Kb) 18732

[startup+910.092 s]
Raw data (loadavg): 1.03 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3838 0 0 0 52362 1743 0 0 25 0 1 0 1852957968 17002496 3775 4294967295 134512640 134702520 3221223712 3221222736 134557252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4151 3775 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 857.83
Current children cumulated vsize (Kb) 18732

[startup+920.092 s]
Raw data (loadavg): 1.03 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3842 0 0 0 53283 1771 0 0 25 0 1 0 1852957968 17154048 3779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4188 3779 413 48 0 4140 0
[pid=9115] vsize: 16752
Current children cumulated CPU time (s) 867.32
Current children cumulated vsize (Kb) 18880

[startup+930.093 s]
Raw data (loadavg): 1.02 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3842 0 0 0 54188 1804 0 0 25 0 1 0 1852957968 17096704 3779 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4174 3779 413 48 0 4126 0
[pid=9115] vsize: 16696
Current children cumulated CPU time (s) 876.7
Current children cumulated vsize (Kb) 18824

[startup+940.094 s]
Raw data (loadavg): 1.02 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3851 0 0 0 55110 1833 0 0 25 0 1 0 1852957968 17096704 3788 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4174 3788 413 48 0 4126 0
[pid=9115] vsize: 16696
Current children cumulated CPU time (s) 886.21
Current children cumulated vsize (Kb) 18824

[startup+950.095 s]
Raw data (loadavg): 1.02 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3853 0 0 0 56018 1866 0 0 19 0 1 0 1852957968 17096704 3790 4294967295 134512640 134702520 3221223712 3221222992 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4174 3790 413 48 0 4126 0
[pid=9115] vsize: 16696
Current children cumulated CPU time (s) 895.62
Current children cumulated vsize (Kb) 18824

[startup+960.095 s]
Raw data (loadavg): 1.01 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3870 0 0 0 56937 1892 0 0 25 0 1 0 1852957968 17231872 3807 4294967295 134512640 134702520 3221223712 3221222992 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4207 3807 413 48 0 4159 0
[pid=9115] vsize: 16828
Current children cumulated CPU time (s) 905.07
Current children cumulated vsize (Kb) 18956

[startup+970.097 s]
Raw data (loadavg): 1.01 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3882 0 0 0 57854 1921 0 0 20 0 1 0 1852957968 17231872 3819 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4207 3819 413 48 0 4159 0
[pid=9115] vsize: 16828
Current children cumulated CPU time (s) 914.53
Current children cumulated vsize (Kb) 18956

[startup+980.098 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3895 0 0 0 58769 1952 0 0 25 0 1 0 1852957968 17231872 3832 4294967295 134512640 134702520 3221223712 3221222992 134552889 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4207 3832 413 48 0 4159 0
[pid=9115] vsize: 16828
Current children cumulated CPU time (s) 923.99
Current children cumulated vsize (Kb) 18956

[startup+990.098 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3911 0 0 0 59694 1980 0 0 25 0 1 0 1852957968 17367040 3848 4294967295 134512640 134702520 3221223712 3221222968 134548989 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4240 3848 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 933.52
Current children cumulated vsize (Kb) 19088

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3913 0 0 0 60593 2016 0 0 19 0 1 0 1852957968 17367040 3850 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4240 3850 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 942.87
Current children cumulated vsize (Kb) 19088

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3913 0 0 0 61495 2051 0 0 25 0 1 0 1852957968 17367040 3850 4294967295 134512640 134702520 3221223712 3221222992 134552894 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4240 3850 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 952.24
Current children cumulated vsize (Kb) 19088

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3913 0 0 0 62383 2091 0 0 19 0 1 0 1852957968 17367040 3850 4294967295 134512640 134702520 3221223712 3221222992 134557267 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4240 3850 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 961.52
Current children cumulated vsize (Kb) 19088

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3913 0 0 0 63288 2126 0 0 25 0 1 0 1852957968 17367040 3850 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4240 3850 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 970.92
Current children cumulated vsize (Kb) 19088

[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3913 0 0 0 64190 2162 0 0 25 0 1 0 1852957968 17367040 3850 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4240 3850 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 980.3
Current children cumulated vsize (Kb) 19088

[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3913 0 0 0 65083 2199 0 0 25 0 1 0 1852957968 17367040 3850 4294967295 134512640 134702520 3221223712 3221139948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4240 3850 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 989.6
Current children cumulated vsize (Kb) 19088

[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3918 0 0 0 66000 2228 0 0 25 0 1 0 1852957968 17367040 3855 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4240 3855 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 999.06
Current children cumulated vsize (Kb) 19088
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=9115) exited with status: 2
New process pid=9116
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=9116) exited with status: 0
New process pid=9117
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 958 0 0 0 307 12 0 0 25 0 1 0 1853031039 5660672 929 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 1382 929 413 48 0 1334 0
[pid=9117] vsize: 5528
Current children cumulated CPU time (s) 1008.55
Current children cumulated vsize (Kb) 7656

[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 991 0 0 0 1220 43 0 0 25 0 1 0 1853031039 5939200 962 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 1450 962 413 48 0 1402 0
[pid=9117] vsize: 5800
Current children cumulated CPU time (s) 1017.99
Current children cumulated vsize (Kb) 7928

[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 1205 0 0 0 2104 84 0 0 18 0 1 0 1853031039 10272768 1176 4294967295 134512640 134702520 3221223712 3221179488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2508 1176 413 48 0 2460 0
[pid=9117] vsize: 10032
Current children cumulated CPU time (s) 1027.24
Current children cumulated vsize (Kb) 12160

[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2192 0 0 0 3013 116 0 0 25 0 1 0 1853031039 10686464 2163 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2609 2163 413 48 0 2561 0
[pid=9117] vsize: 10436
Current children cumulated CPU time (s) 1036.65
Current children cumulated vsize (Kb) 12564

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2247 0 0 0 3922 146 0 0 25 0 1 0 1853031039 10956800 2218 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2675 2218 413 48 0 2627 0
[pid=9117] vsize: 10700
Current children cumulated CPU time (s) 1046.04
Current children cumulated vsize (Kb) 12828

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2283 0 0 0 4820 181 0 0 19 0 1 0 1853031039 11091968 2254 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2708 2254 413 48 0 2660 0
[pid=9117] vsize: 10832
Current children cumulated CPU time (s) 1055.37
Current children cumulated vsize (Kb) 12960

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2326 0 0 0 5726 216 0 0 25 0 1 0 1853031039 11227136 2297 4294967295 134512640 134702520 3221223712 3221161088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2741 2297 413 48 0 2693 0
[pid=9117] vsize: 10964
Current children cumulated CPU time (s) 1064.78
Current children cumulated vsize (Kb) 13092

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2341 0 0 0 6628 248 0 0 25 0 1 0 1853031039 11227136 2312 4294967295 134512640 134702520 3221223712 3221086688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2741 2312 413 48 0 2693 0
[pid=9117] vsize: 10964
Current children cumulated CPU time (s) 1074.12
Current children cumulated vsize (Kb) 13092

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2364 0 0 0 7514 288 0 0 25 0 1 0 1853031039 11374592 2335 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2777 2335 413 48 0 2729 0
[pid=9117] vsize: 11108
Current children cumulated CPU time (s) 1083.38
Current children cumulated vsize (Kb) 13236

[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2421 0 0 0 8440 315 0 0 25 0 1 0 1853031039 11644928 2392 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2843 2392 413 48 0 2795 0
[pid=9117] vsize: 11372
Current children cumulated CPU time (s) 1092.91
Current children cumulated vsize (Kb) 13500

[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2427 0 0 0 9337 352 0 0 19 0 1 0 1853031039 11644928 2398 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2843 2398 413 48 0 2795 0
[pid=9117] vsize: 11372
Current children cumulated CPU time (s) 1102.25
Current children cumulated vsize (Kb) 13500

[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2436 0 0 0 10226 390 0 0 25 0 1 0 1853031039 11644928 2407 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2843 2407 413 48 0 2795 0
[pid=9117] vsize: 11372
Current children cumulated CPU time (s) 1111.52
Current children cumulated vsize (Kb) 13500

[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2439 0 0 0 11140 422 0 0 25 0 1 0 1853031039 11780096 2410 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2876 2410 413 48 0 2828 0
[pid=9117] vsize: 11504
Current children cumulated CPU time (s) 1120.98
Current children cumulated vsize (Kb) 13632

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2442 0 0 0 12042 455 0 0 25 0 1 0 1853031039 11722752 2413 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2862 2413 413 48 0 2814 0
[pid=9117] vsize: 11448
Current children cumulated CPU time (s) 1130.33
Current children cumulated vsize (Kb) 13576

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2450 0 0 0 12923 494 0 0 25 0 1 0 1853031039 11722752 2421 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2862 2421 413 48 0 2814 0
[pid=9117] vsize: 11448
Current children cumulated CPU time (s) 1139.53
Current children cumulated vsize (Kb) 13576

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2470 0 0 0 13806 532 0 0 19 0 1 0 1853031039 11857920 2441 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2895 2441 413 48 0 2847 0
[pid=9117] vsize: 11580
Current children cumulated CPU time (s) 1148.74
Current children cumulated vsize (Kb) 13708

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2476 0 0 0 14695 568 0 0 19 0 1 0 1853031039 11857920 2447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2895 2447 413 48 0 2847 0
[pid=9117] vsize: 11580
Current children cumulated CPU time (s) 1157.99
Current children cumulated vsize (Kb) 13708

[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2488 0 0 0 15582 607 0 0 25 0 1 0 1853031039 11857920 2459 4294967295 134512640 134702520 3221223712 3221222984 134553180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2895 2459 413 48 0 2847 0
[pid=9117] vsize: 11580
Current children cumulated CPU time (s) 1167.25
Current children cumulated vsize (Kb) 13708

[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2493 0 0 0 16465 646 0 0 25 0 1 0 1853031039 11857920 2464 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2895 2464 413 48 0 2847 0
[pid=9117] vsize: 11580
Current children cumulated CPU time (s) 1176.47
Current children cumulated vsize (Kb) 13708

[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2499 0 0 0 17382 675 0 0 25 0 1 0 1853031039 11997184 2470 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2929 2470 413 48 0 2881 0
[pid=9117] vsize: 11716
Current children cumulated CPU time (s) 1185.93
Current children cumulated vsize (Kb) 13844

[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2499 0 0 0 18286 709 0 0 25 0 1 0 1853031039 11968512 2470 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2922 2470 413 48 0 2874 0
[pid=9117] vsize: 11688
Current children cumulated CPU time (s) 1195.31
Current children cumulated vsize (Kb) 13816

[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2503 0 0 0 19170 748 0 0 25 0 1 0 1853031039 11968512 2474 4294967295 134512640 134702520 3221223712 3221191808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2922 2474 413 48 0 2874 0
[pid=9117] vsize: 11688
Current children cumulated CPU time (s) 1204.54
Current children cumulated vsize (Kb) 13816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2503 0 0 0 19170 748 0 0 25 0 1 0 1853031039 11968512 2474 4294967295 134512640 134702520 3221223712 3221191808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2922 2474 413 48 0 2874 0
[pid=9117] vsize: 11688
Current children cumulated CPU time (s) 1204.54
Current children cumulated vsize (Kb) 13816

Sending SIGTERM to -9110
Sleeping 2 seconds
New process pid=9119
New process pid=9120
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/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/18281/stat
open syscall for file /proc/18281/status
open syscall for file /proc/18281/cmdline
open syscall for file /proc/18281/environ
open syscall for file /proc/19827/stat
open syscall for file /proc/19827/status
open syscall for file /proc/19827/cmdline
open syscall for file /proc/19827/environ
open syscall for file /proc/19854/stat
open syscall for file /proc/19854/status
open syscall for file /proc/19854/cmdline
open syscall for file /proc/19854/environ
open syscall for file /proc/19878/stat
open syscall for file /proc/19878/status
open syscall for file /proc/19878/cmdline
open syscall for file /proc/19878/environ
open syscall for file /proc/28563/stat
open syscall for file /proc/28563/status
open syscall for file /proc/28563/cmdline
open syscall for file /proc/28563/environ
open syscall for file /proc/28582/stat
open syscall for file /proc/28582/status
open syscall for file /proc/28582/cmdline
open syscall for file /proc/28582/environ
open syscall for file /proc/5390/stat
open syscall for file /proc/5390/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/5390/cmdline
open syscall for file /proc/5390/environ
open syscall for file /proc/5425/stat
open syscall for file /proc/5425/status
open syscall for file /proc/5425/cmdline
open syscall for file /proc/5425/environ
open syscall for file /proc/21452/stat
open syscall for file /proc/21452/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/21452/cmdline
open syscall for file /proc/21452/environ
open syscall for file /proc/21453/stat
open syscall for file /proc/21453/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/21453/cmdline
open syscall for file /proc/21453/environ
open syscall for file /proc/21462/stat
open syscall for file /proc/21462/status
open syscall for file /proc/21462/cmdline
open syscall for file /proc/21462/environ
open syscall for file /proc/9073/stat
open syscall for file /proc/9073/status
open syscall for file /proc/9073/cmdline
open syscall for file /proc/9073/environ
open syscall for file /proc/9109/stat
open syscall for file /proc/9109/status
open syscall for file /proc/9109/cmdline
open syscall for file /proc/9109/environ
open syscall for file /proc/9110/stat
open syscall for file /proc/9110/status
open syscall for file /proc/9110/cmdline
open syscall for file /proc/9110/environ
open syscall for file /proc/9117/stat
open syscall for file /proc/9117/status
open syscall for file /proc/9117/cmdline
open syscall for file /proc/9117/environ
open syscall for file /proc/9119/stat
open syscall for file /proc/9119/status
open syscall for file /proc/9119/cmdline
open syscall for file /proc/9119/environ
open syscall for file /proc/9120/stat
open syscall for file /proc/9120/status
open syscall for file /proc/9120/cmdline
open syscall for file /proc/9120/environ
One traced child (pid=9120) exited with status: 0
One traced child (pid=9119) exited with status: 0
New process pid=9121
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=9121) exited with status: 0
New process pid=9122
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=9122) exited with status: 0
One traced child (pid=9110) ended because it received signal 15 (SIGTERM)
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=9117) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1280.99
CPU time (s): 200.041
CPU user time (s): 192.547
CPU system time (s): 7.49386
CPU usage (%): 15.6161
Max. virtual memory (cumulated for all children) (Kb): 19296

Verifier Data

ERROR: no interpretation found !