Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM3275929be36299f0a23379c5fe15d197
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 11160
Biggest coefficient in the objective function 2147483648
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 869952060630
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 2147483648
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 869952060630
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables21960
Total number of constraints1110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints750
Minimum length of a constraint1
Maximum length of a constraint372

Trace number 4905

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        866860 kB
Buffers:         36268 kB
Cached:         103692 kB
SwapCached:        732 kB
Active:          65608 kB
Inactive:        76968 kB
HighTotal:      131008 kB
HighFree:        25704 kB
LowTotal:       903652 kB
LowFree:        841156 kB
SwapTotal:     2097136 kB
SwapFree:      2095856 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            19628 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 21:13:01 (client local time) WITH STATUS 3 IN 374.251 SECONDS
stats: 7637 7 374.251 3

Solver Data

1:
seed: 0
Nr of vars set: 3330  (#equs: 0)
Nr of vars set: 4264  (#equs: 5)
#decisions: 95649;  #end-nodes: 67379;
#proof improvement attempts: 0;  #restarts: 480
Current batch, end-nodes: 0 / 199 (199)
#axs: 1087, #non-axs: 117
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 4829  (#equs: 6)
Time taken: 5 min, 13 sec

2:
seed: 0
Nr of vars set: 4829  (#equs: 0)
Nr of vars set: 4856  (#equs: 4)
#decisions: 217298;  #end-nodes: 166393;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 314 (311)
#axs: 1084, #non-axs: 346
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 4858  (#equs: 4)
Time taken: 8 min, 34 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: 4858  (#equs: 0)
Nr of vars set: 4858  (#equs: 4)
Interupt request received.
#decisions: 167172;  #end-nodes: 129193;
#proof improvement attempts: 0;  #restarts: 560
Current batch, end-nodes: 0 / 300 (300)
#axs: 1084, #non-axs: 635
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4863  (#equs: 4)
Time taken: 6 min, 14 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/28630/stat): 28630 (vallstSAT2005PB) R 28629 28630 9854 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1794681750 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28630/statm): 174 3 169 147 0 27 0
[pid=28630] 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=28631
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=28631) exited with status: 0
New process pid=28632
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=28632) exited with status: 0
New process pid=28633
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/wulflinc11/normalized-mps-v2-20-10-tr12-30.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0041 s]
Raw data (loadavg): 0.89 0.97 0.97 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1526 0 0 0 916 25 0 0 25 0 1 0 1794681757 7712768 1430 4294967295 134512640 134702520 3221223952 3221047788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28633/statm): 1883 1430 413 48 0 1835 0
[pid=28633] vsize: 7532
Current children cumulated CPU time (s) 9.43
Current children cumulated vsize (Kb) 9660

[startup+20.0049 s]
Raw data (loadavg): 0.91 0.97 0.97 1/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) T 28630 28630 9854 0 -1 0 1526 0 0 0 1378 190 0 0 16 0 1 0 1794681757 7712768 1430 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28633/statm): 1883 1430 413 48 0 1835 0
[pid=28633] vsize: 7532
Current children cumulated CPU time (s) 15.7
Current children cumulated vsize (Kb) 9660

[startup+30.0057 s]
Raw data (loadavg): 0.92 0.97 0.97 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1563 0 0 0 2275 226 0 0 25 0 1 0 1794681757 11538432 1305 4294967295 134512640 134702520 3221223952 3220813468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2817 1305 413 48 0 2769 0
[pid=28633] vsize: 11268
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (Kb) 13396

[startup+40.0065 s]
Raw data (loadavg): 0.93 0.97 0.97 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1584 0 0 0 3257 232 0 0 25 0 1 0 1794681757 11616256 1326 4294967295 134512640 134702520 3221223952 3221180368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2836 1326 413 48 0 2788 0
[pid=28633] vsize: 11344
Current children cumulated CPU time (s) 34.91
Current children cumulated vsize (Kb) 13472

[startup+50.0082 s]
Raw data (loadavg): 0.94 0.97 0.97 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1586 0 0 0 4248 235 0 0 25 0 1 0 1794681757 11616256 1328 4294967295 134512640 134702520 3221223952 3221054768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2836 1328 413 48 0 2788 0
[pid=28633] vsize: 11344
Current children cumulated CPU time (s) 44.85
Current children cumulated vsize (Kb) 13472

[startup+60.009 s]
Raw data (loadavg): 0.95 0.97 0.97 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1587 0 0 0 5238 238 0 0 25 0 1 0 1794681757 11616256 1329 4294967295 134512640 134702520 3221223952 3220897008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2836 1329 413 48 0 2788 0
[pid=28633] vsize: 11344
Current children cumulated CPU time (s) 54.78
Current children cumulated vsize (Kb) 13472

[startup+70.0098 s]
Raw data (loadavg): 0.96 0.97 0.97 1/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) T 28630 28630 9854 0 -1 0 1588 0 0 0 6221 243 0 0 23 0 1 0 1794681757 11616256 1330 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2836 1330 413 48 0 2788 0
[pid=28633] vsize: 11344
Current children cumulated CPU time (s) 64.66
Current children cumulated vsize (Kb) 13472

[startup+80.0116 s]
Raw data (loadavg): 1.04 0.99 0.97 1/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) T 28630 28630 9854 0 -1 0 1589 0 0 0 6544 465 0 0 16 0 1 0 1794681757 11800576 1331 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2881 1331 413 48 0 2833 0
[pid=28633] vsize: 11524
Current children cumulated CPU time (s) 70.11
Current children cumulated vsize (Kb) 13652

[startup+90.0124 s]
Raw data (loadavg): 1.03 0.99 0.97 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1592 0 0 0 7278 550 0 0 25 0 1 0 1794681757 11661312 1331 4294967295 134512640 134702520 3221223952 3221032848 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2847 1331 413 48 0 2799 0
[pid=28633] vsize: 11388
Current children cumulated CPU time (s) 78.3
Current children cumulated vsize (Kb) 13516

[startup+100.013 s]
Raw data (loadavg): 1.03 0.99 0.97 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1601 0 0 0 8266 554 0 0 25 0 1 0 1794681757 11694080 1340 4294967295 134512640 134702520 3221223952 3220915388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2855 1340 413 48 0 2807 0
[pid=28633] vsize: 11420
Current children cumulated CPU time (s) 88.22
Current children cumulated vsize (Kb) 13548

[startup+110.014 s]
Raw data (loadavg): 1.02 0.99 0.97 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1603 0 0 0 9256 557 0 0 25 0 1 0 1794681757 11694080 1342 4294967295 134512640 134702520 3221223952 3220763408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2855 1342 413 48 0 2807 0
[pid=28633] vsize: 11420
Current children cumulated CPU time (s) 98.15
Current children cumulated vsize (Kb) 13548

[startup+120.015 s]
Raw data (loadavg): 1.02 0.99 0.97 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1605 0 0 0 10232 565 0 0 22 0 1 0 1794681757 11694080 1344 4294967295 134512640 134702520 3221223952 3221212688 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2855 1344 413 48 0 2807 0
[pid=28633] vsize: 11420
Current children cumulated CPU time (s) 107.99
Current children cumulated vsize (Kb) 13548

[startup+130.016 s]
Raw data (loadavg): 1.09 1.01 0.98 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1606 0 0 0 11220 570 0 0 25 0 1 0 1794681757 11694080 1345 4294967295 134512640 134702520 3221223952 3221125308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2855 1345 413 48 0 2807 0
[pid=28633] vsize: 11420
Current children cumulated CPU time (s) 117.92
Current children cumulated vsize (Kb) 13548

[startup+140.016 s]
Raw data (loadavg): 1.07 1.01 0.98 1/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) T 28630 28630 9854 0 -1 0 1607 0 0 0 11969 654 0 0 16 0 1 0 1794681757 11849728 1346 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2893 1346 413 48 0 2845 0
[pid=28633] vsize: 11572
Current children cumulated CPU time (s) 126.25
Current children cumulated vsize (Kb) 13700

[startup+150.018 s]
Raw data (loadavg): 1.06 1.00 0.98 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1608 0 0 0 12297 867 0 0 16 0 1 0 1794681757 11849728 1347 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2893 1347 413 48 0 2845 0
[pid=28633] vsize: 11572
Current children cumulated CPU time (s) 131.66
Current children cumulated vsize (Kb) 13700

[startup+160.019 s]
Raw data (loadavg): 1.05 1.00 0.98 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1619 0 0 0 13241 886 0 0 21 0 1 0 1794681757 11735040 1355 4294967295 134512640 134702520 3221223952 3221208368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2865 1355 413 48 0 2817 0
[pid=28633] vsize: 11460
Current children cumulated CPU time (s) 141.29
Current children cumulated vsize (Kb) 13588

[startup+170.02 s]
Raw data (loadavg): 1.04 1.00 0.98 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1619 0 0 0 14226 891 0 0 25 0 1 0 1794681757 11735040 1355 4294967295 134512640 134702520 3221223952 3221140528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2865 1355 413 48 0 2817 0
[pid=28633] vsize: 11460
Current children cumulated CPU time (s) 151.19
Current children cumulated vsize (Kb) 13588

[startup+180.021 s]
Raw data (loadavg): 1.04 1.00 0.98 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1622 0 0 0 15212 895 0 0 25 0 1 0 1794681757 11735040 1358 4294967295 134512640 134702520 3221223952 3221067868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2865 1358 413 48 0 2817 0
[pid=28633] vsize: 11460
Current children cumulated CPU time (s) 161.09
Current children cumulated vsize (Kb) 13588

[startup+190.021 s]
Raw data (loadavg): 1.03 1.00 0.98 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1623 0 0 0 16199 899 0 0 25 0 1 0 1794681757 11735040 1359 4294967295 134512640 134702520 3221223952 3220983888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2865 1359 413 48 0 2817 0
[pid=28633] vsize: 11460
Current children cumulated CPU time (s) 171
Current children cumulated vsize (Kb) 13588

[startup+200.023 s]
Raw data (loadavg): 1.10 1.02 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1624 0 0 0 17185 904 0 0 25 0 1 0 1794681757 11735040 1360 4294967295 134512640 134702520 3221223952 3220891728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2865 1360 413 48 0 2817 0
[pid=28633] vsize: 11460
Current children cumulated CPU time (s) 180.91
Current children cumulated vsize (Kb) 13588

[startup+210.024 s]
Raw data (loadavg): 1.08 1.02 0.99 1/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) T 28630 28630 9854 0 -1 0 1626 0 0 0 17712 1059 0 0 16 0 1 0 1794681757 11886592 1362 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2902 1362 413 48 0 2854 0
[pid=28633] vsize: 11608
Current children cumulated CPU time (s) 187.73
Current children cumulated vsize (Kb) 13736

[startup+220.025 s]
Raw data (loadavg): 1.07 1.01 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1628 0 0 0 18261 1202 0 0 21 0 1 0 1794681757 11751424 1362 4294967295 134512640 134702520 3221223952 3221065788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2869 1362 413 48 0 2821 0
[pid=28633] vsize: 11476
Current children cumulated CPU time (s) 194.65
Current children cumulated vsize (Kb) 13604

[startup+230.025 s]
Raw data (loadavg): 1.06 1.01 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1635 0 0 0 19245 1208 0 0 25 0 1 0 1794681757 11767808 1369 4294967295 134512640 134702520 3221223952 3221006448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2873 1369 413 48 0 2825 0
[pid=28633] vsize: 11492
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (Kb) 13620

[startup+240.026 s]
Raw data (loadavg): 1.05 1.01 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1638 0 0 0 20228 1214 0 0 25 0 1 0 1794681757 11767808 1372 4294967295 134512640 134702520 3221223952 3220933148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2873 1372 413 48 0 2825 0
[pid=28633] vsize: 11492
Current children cumulated CPU time (s) 214.44
Current children cumulated vsize (Kb) 13620

[startup+250.027 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1639 0 0 0 21213 1219 0 0 25 0 1 0 1794681757 11767808 1373 4294967295 134512640 134702520 3221223952 3220850748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2873 1373 413 48 0 2825 0
[pid=28633] vsize: 11492
Current children cumulated CPU time (s) 224.34
Current children cumulated vsize (Kb) 13620

[startup+260.028 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1640 0 0 0 22199 1223 0 0 25 0 1 0 1794681757 11767808 1374 4294967295 134512640 134702520 3221223952 3220748688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2873 1374 413 48 0 2825 0
[pid=28633] vsize: 11492
Current children cumulated CPU time (s) 234.24
Current children cumulated vsize (Kb) 13620

[startup+270.029 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1644 0 0 0 23183 1228 0 0 25 0 1 0 1794681757 11767808 1378 4294967295 134512640 134702520 3221223952 3220609468 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2873 1378 413 48 0 2825 0
[pid=28633] vsize: 11492
Current children cumulated CPU time (s) 244.13
Current children cumulated vsize (Kb) 13620

[startup+280.029 s]
Raw data (loadavg): 1.02 1.01 0.99 1/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) T 28630 28630 9854 0 -1 0 1645 0 0 0 23576 1426 0 0 15 0 1 0 1794681757 11919360 1379 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2910 1379 413 48 0 2862 0
[pid=28633] vsize: 11640
Current children cumulated CPU time (s) 250.04
Current children cumulated vsize (Kb) 13768

[startup+290.03 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1646 0 0 0 24391 1488 0 0 25 0 1 0 1794681757 11780096 1378 4294967295 134512640 134702520 3221223952 3220816988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2876 1378 413 48 0 2828 0
[pid=28633] vsize: 11504
Current children cumulated CPU time (s) 258.81
Current children cumulated vsize (Kb) 13632

[startup+300.032 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1649 0 0 0 25374 1493 0 0 25 0 1 0 1794681757 11788288 1381 4294967295 134512640 134702520 3221223952 3220725648 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2878 1381 413 48 0 2830 0
[pid=28633] vsize: 11512
Current children cumulated CPU time (s) 268.69
Current children cumulated vsize (Kb) 13640

[startup+310.033 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1651 0 0 0 26357 1499 0 0 25 0 1 0 1794681757 11788288 1383 4294967295 134512640 134702520 3221223952 3220605628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28633/statm): 2878 1383 413 48 0 2830 0
[pid=28633] vsize: 11512
Current children cumulated CPU time (s) 278.58
Current children cumulated vsize (Kb) 13640

[startup+320.034 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1655 0 0 0 27323 1511 0 0 16 0 1 0 1794681757 11788288 1387 4294967295 134512640 134702520 3221223952 3221219888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2878 1387 413 48 0 2830 0
[pid=28633] vsize: 11512
Current children cumulated CPU time (s) 288.36
Current children cumulated vsize (Kb) 13640

[startup+330.034 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1657 0 0 0 28307 1516 0 0 17 0 1 0 1794681757 11788288 1389 4294967295 134512640 134702520 3221223952 3221176048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2878 1389 413 48 0 2830 0
[pid=28633] vsize: 11512
Current children cumulated CPU time (s) 298.25
Current children cumulated vsize (Kb) 13640

[startup+340.035 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) T 28630 28630 9854 0 -1 0 1659 0 0 0 29176 1555 0 0 16 0 1 0 1794681757 11939840 1391 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2915 1391 413 48 0 2867 0
[pid=28633] vsize: 11660
Current children cumulated CPU time (s) 307.33
Current children cumulated vsize (Kb) 13788
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+350.037 s]
Raw data (loadavg): 1.09 1.02 0.99 2/57 28633
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 1794681750 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 242 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28633/stat): 28633 (vallst) R 28630 28630 9854 0 -1 0 1662 0 0 0 29591 1751 0 0 16 0 1 0 1794681757 11804672 1392 4294967295 134512640 134702520 3221223952 3221223636 134538809 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28633/statm): 2882 1392 413 48 0 2834 0
[pid=28633] vsize: 11528
Current children cumulated CPU time (s) 313.44
Current children cumulated vsize (Kb) 13656
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=28633) exited with status: 2
New process pid=28634
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=28634) exited with status: 0
New process pid=28635
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+360.038 s]
Raw data (loadavg): 1.15 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1244 0 0 0 919 24 0 0 18 0 1 0 1794716768 6979584 1215 4294967295 134512640 134702520 3221223712 3221213168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 1704 1215 413 48 0 1656 0
[pid=28635] vsize: 6816
Current children cumulated CPU time (s) 322.96
Current children cumulated vsize (Kb) 8944

[startup+370.038 s]
Raw data (loadavg): 1.13 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1294 0 0 0 1906 29 0 0 25 0 1 0 1794716768 10903552 1265 4294967295 134512640 134702520 3221223712 3221108608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2662 1265 413 48 0 2614 0
[pid=28635] vsize: 10648
Current children cumulated CPU time (s) 332.88
Current children cumulated vsize (Kb) 12776

[startup+380.038 s]
Raw data (loadavg): 1.11 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1298 0 0 0 2893 33 0 0 25 0 1 0 1794716768 10907648 1269 4294967295 134512640 134702520 3221223712 3221057068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2663 1269 413 48 0 2615 0
[pid=28635] vsize: 10652
Current children cumulated CPU time (s) 342.79
Current children cumulated vsize (Kb) 12780

[startup+390.039 s]
Raw data (loadavg): 1.09 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1302 0 0 0 3880 39 0 0 25 0 1 0 1794716768 10907648 1273 4294967295 134512640 134702520 3221223712 3221001248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2663 1273 413 48 0 2615 0
[pid=28635] vsize: 10652
Current children cumulated CPU time (s) 352.72
Current children cumulated vsize (Kb) 12780

[startup+400.04 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1304 0 0 0 4866 43 0 0 25 0 1 0 1794716768 10907648 1275 4294967295 134512640 134702520 3221223712 3220940928 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2663 1275 413 48 0 2615 0
[pid=28635] vsize: 10652
Current children cumulated CPU time (s) 362.62
Current children cumulated vsize (Kb) 12780

[startup+410.041 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1306 0 0 0 5853 47 0 0 25 0 1 0 1794716768 10907648 1277 4294967295 134512640 134702520 3221223712 3220878528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2663 1277 413 48 0 2615 0
[pid=28635] vsize: 10652
Current children cumulated CPU time (s) 372.53
Current children cumulated vsize (Kb) 12780

[startup+420.04 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1309 0 0 0 6840 52 0 0 25 0 1 0 1794716768 10907648 1280 4294967295 134512640 134702520 3221223712 3220806028 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2663 1280 413 48 0 2615 0
[pid=28635] vsize: 10652
Current children cumulated CPU time (s) 382.45
Current children cumulated vsize (Kb) 12780

[startup+430.041 s]
Raw data (loadavg): 1.13 1.04 1.00 1/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) T 28630 28630 9854 0 -1 0 1310 0 0 0 7293 226 0 0 16 0 1 0 1794716768 11046912 1281 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2697 1281 413 48 0 2649 0
[pid=28635] vsize: 10788
Current children cumulated CPU time (s) 388.72
Current children cumulated vsize (Kb) 12916

[startup+440.042 s]
Raw data (loadavg): 1.11 1.04 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1313 0 0 0 7982 329 0 0 25 0 1 0 1794716768 10907648 1282 4294967295 134512640 134702520 3221223712 3220967148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2663 1282 413 48 0 2615 0
[pid=28635] vsize: 10652
Current children cumulated CPU time (s) 396.64
Current children cumulated vsize (Kb) 12780

[startup+450.043 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1315 0 0 0 8966 335 0 0 25 0 1 0 1794716768 10907648 1284 4294967295 134512640 134702520 3221223712 3220911308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2663 1284 413 48 0 2615 0
[pid=28635] vsize: 10652
Current children cumulated CPU time (s) 406.54
Current children cumulated vsize (Kb) 12780

[startup+460.044 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1317 0 0 0 9951 341 0 0 25 0 1 0 1794716768 10907648 1286 4294967295 134512640 134702520 3221223712 3220846848 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2663 1286 413 48 0 2615 0
[pid=28635] vsize: 10652
Current children cumulated CPU time (s) 416.45
Current children cumulated vsize (Kb) 12780

[startup+470.044 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1318 0 0 0 10936 346 0 0 25 0 1 0 1794716768 10907648 1287 4294967295 134512640 134702520 3221223712 3220776748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2663 1287 413 48 0 2615 0
[pid=28635] vsize: 10652
Current children cumulated CPU time (s) 426.35
Current children cumulated vsize (Kb) 12780

[startup+480.045 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1321 0 0 0 11921 352 0 0 25 0 1 0 1794716768 10907648 1290 4294967295 134512640 134702520 3221223712 3220684448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2663 1290 413 48 0 2615 0
[pid=28635] vsize: 10652
Current children cumulated CPU time (s) 436.26
Current children cumulated vsize (Kb) 12780

[startup+490.046 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1324 0 0 0 12908 357 0 0 25 0 1 0 1794716768 10907648 1293 4294967295 134512640 134702520 3221223712 3220556288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2663 1293 413 48 0 2615 0
[pid=28635] vsize: 10652
Current children cumulated CPU time (s) 446.18
Current children cumulated vsize (Kb) 12780

[startup+500.047 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1326 0 0 0 13243 571 0 0 16 0 1 0 1794716768 11059200 1295 4294967295 134512640 134702520 3221223712 3221222608 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2700 1295 413 48 0 2652 0
[pid=28635] vsize: 10800
Current children cumulated CPU time (s) 451.67
Current children cumulated vsize (Kb) 12928

[startup+510.048 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1331 0 0 0 14073 626 0 0 25 0 1 0 1794716768 10924032 1298 4294967295 134512640 134702520 3221223712 3220807968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2667 1298 413 48 0 2619 0
[pid=28635] vsize: 10668
Current children cumulated CPU time (s) 460.52
Current children cumulated vsize (Kb) 12796

[startup+520.048 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1331 0 0 0 15057 631 0 0 25 0 1 0 1794716768 10924032 1298 4294967295 134512640 134702520 3221223712 3220733068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2667 1298 413 48 0 2619 0
[pid=28635] vsize: 10668
Current children cumulated CPU time (s) 470.41
Current children cumulated vsize (Kb) 12796

[startup+530.049 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1335 0 0 0 16040 637 0 0 25 0 1 0 1794716768 10924032 1302 4294967295 134512640 134702520 3221223712 3220639328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2667 1302 413 48 0 2619 0
[pid=28635] vsize: 10668
Current children cumulated CPU time (s) 480.3
Current children cumulated vsize (Kb) 12796

[startup+540.049 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) T 28630 28630 9854 0 -1 0 1336 0 0 0 17020 644 0 0 24 0 1 0 1794716768 10924032 1303 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2667 1303 413 48 0 2619 0
[pid=28635] vsize: 10668
Current children cumulated CPU time (s) 490.17
Current children cumulated vsize (Kb) 12796

[startup+550.051 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1341 0 0 0 17992 654 0 0 24 0 1 0 1794716768 10924032 1308 4294967295 134512640 134702520 3221223712 3221203808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2667 1308 413 48 0 2619 0
[pid=28635] vsize: 10668
Current children cumulated CPU time (s) 499.99
Current children cumulated vsize (Kb) 12796

[startup+560.052 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1343 0 0 0 18883 689 0 0 16 0 1 0 1794716768 11075584 1310 4294967295 134512640 134702520 3221223712 3221222880 134658534 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2704 1310 413 48 0 2656 0
[pid=28635] vsize: 10816
Current children cumulated CPU time (s) 509.25
Current children cumulated vsize (Kb) 12944

[startup+570.051 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) T 28630 28630 9854 0 -1 0 1344 0 0 0 19236 895 0 0 16 0 1 0 1794716768 11075584 1311 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2704 1311 413 48 0 2656 0
[pid=28635] vsize: 10816
Current children cumulated CPU time (s) 514.84
Current children cumulated vsize (Kb) 12944

[startup+580.052 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1346 0 0 0 20158 920 0 0 25 0 1 0 1794716768 10940416 1311 4294967295 134512640 134702520 3221223712 3220588448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2671 1311 413 48 0 2623 0
[pid=28635] vsize: 10684
Current children cumulated CPU time (s) 524.31
Current children cumulated vsize (Kb) 12812

[startup+590.053 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1349 0 0 0 21123 931 0 0 20 0 1 0 1794716768 10940416 1314 4294967295 134512640 134702520 3221223712 3221222508 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2671 1314 413 48 0 2623 0
[pid=28635] vsize: 10684
Current children cumulated CPU time (s) 534.07
Current children cumulated vsize (Kb) 12812

[startup+600.055 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1354 0 0 0 22106 937 0 0 17 0 1 0 1794716768 10940416 1319 4294967295 134512640 134702520 3221223712 3221190828 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2671 1319 413 48 0 2623 0
[pid=28635] vsize: 10684
Current children cumulated CPU time (s) 543.96
Current children cumulated vsize (Kb) 12812

[startup+610.055 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1356 0 0 0 23090 943 0 0 18 0 1 0 1794716768 10940416 1321 4294967295 134512640 134702520 3221223712 3221155008 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2671 1321 413 48 0 2623 0
[pid=28635] vsize: 10684
Current children cumulated CPU time (s) 553.86
Current children cumulated vsize (Kb) 12812

[startup+620.056 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1358 0 0 0 24068 950 0 0 18 0 1 0 1794716768 10940416 1323 4294967295 134512640 134702520 3221223712 3221118848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2671 1323 413 48 0 2623 0
[pid=28635] vsize: 10684
Current children cumulated CPU time (s) 563.71
Current children cumulated vsize (Kb) 12812

[startup+630.057 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) T 28630 28630 9854 0 -1 0 1360 0 0 0 24843 1027 0 0 16 0 1 0 1794716768 11100160 1325 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2710 1325 413 48 0 2662 0
[pid=28635] vsize: 10840
Current children cumulated CPU time (s) 572.23
Current children cumulated vsize (Kb) 12968

[startup+640.058 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1364 0 0 0 25230 1227 0 0 17 0 1 0 1794716768 10964992 1327 4294967295 134512640 134702520 3221223712 3221214828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2677 1327 413 48 0 2629 0
[pid=28635] vsize: 10708
Current children cumulated CPU time (s) 578.1
Current children cumulated vsize (Kb) 12836

[startup+650.06 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1366 0 0 0 26210 1234 0 0 21 0 1 0 1794716768 10964992 1329 4294967295 134512640 134702520 3221223712 3221184768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2677 1329 413 48 0 2629 0
[pid=28635] vsize: 10708
Current children cumulated CPU time (s) 587.97
Current children cumulated vsize (Kb) 12836

[startup+660.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1368 0 0 0 27191 1240 0 0 18 0 1 0 1794716768 10964992 1331 4294967295 134512640 134702520 3221223712 3221149248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2677 1331 413 48 0 2629 0
[pid=28635] vsize: 10708
Current children cumulated CPU time (s) 597.84
Current children cumulated vsize (Kb) 12836

[startup+670.061 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1369 0 0 0 28170 1248 0 0 25 0 1 0 1794716768 10964992 1332 4294967295 134512640 134702520 3221223712 3221116108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2677 1332 413 48 0 2629 0
[pid=28635] vsize: 10708
Current children cumulated CPU time (s) 607.71
Current children cumulated vsize (Kb) 12836

[startup+680.062 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1371 0 0 0 29151 1255 0 0 25 0 1 0 1794716768 10964992 1334 4294967295 134512640 134702520 3221223712 3221079788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2677 1334 413 48 0 2629 0
[pid=28635] vsize: 10708
Current children cumulated CPU time (s) 617.59
Current children cumulated vsize (Kb) 12836

[startup+690.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1373 0 0 0 30131 1262 0 0 21 0 1 0 1794716768 10964992 1336 4294967295 134512640 134702520 3221223712 3221043948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2677 1336 413 48 0 2629 0
[pid=28635] vsize: 10708
Current children cumulated CPU time (s) 627.46
Current children cumulated vsize (Kb) 12836

[startup+700.064 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) T 28630 28630 9854 0 -1 0 1374 0 0 0 30821 1368 0 0 16 0 1 0 1794716768 11116544 1337 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2714 1337 413 48 0 2666 0
[pid=28635] vsize: 10856
Current children cumulated CPU time (s) 635.42
Current children cumulated vsize (Kb) 12984

[startup+710.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1377 0 0 0 31323 1529 0 0 18 0 1 0 1794716768 10977280 1338 4294967295 134512640 134702520 3221223712 3221141708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2680 1338 413 48 0 2632 0
[pid=28635] vsize: 10720
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (Kb) 12848

[startup+720.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1378 0 0 0 32302 1536 0 0 25 0 1 0 1794716768 10977280 1339 4294967295 134512640 134702520 3221223712 3221105388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2680 1339 413 48 0 2632 0
[pid=28635] vsize: 10720
Current children cumulated CPU time (s) 651.91
Current children cumulated vsize (Kb) 12848

[startup+730.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1378 0 0 0 33279 1543 0 0 25 0 1 0 1794716768 10977280 1339 4294967295 134512640 134702520 3221223712 3221069888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2680 1339 413 48 0 2632 0
[pid=28635] vsize: 10720
Current children cumulated CPU time (s) 661.75
Current children cumulated vsize (Kb) 12848

[startup+740.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1381 0 0 0 34256 1552 0 0 25 0 1 0 1794716768 10977280 1342 4294967295 134512640 134702520 3221223712 3221034028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2680 1342 413 48 0 2632 0
[pid=28635] vsize: 10720
Current children cumulated CPU time (s) 671.61
Current children cumulated vsize (Kb) 12848

[startup+750.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1384 0 0 0 35235 1560 0 0 25 0 1 0 1794716768 10977280 1345 4294967295 134512640 134702520 3221223712 3220998208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2680 1345 413 48 0 2632 0
[pid=28635] vsize: 10720
Current children cumulated CPU time (s) 681.48
Current children cumulated vsize (Kb) 12848

[startup+760.069 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1385 0 0 0 36212 1567 0 0 25 0 1 0 1794716768 10977280 1346 4294967295 134512640 134702520 3221223712 3220958688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2680 1346 413 48 0 2632 0
[pid=28635] vsize: 10720
Current children cumulated CPU time (s) 691.32
Current children cumulated vsize (Kb) 12848

[startup+770.069 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) T 28630 28630 9854 0 -1 0 1386 0 0 0 36817 1698 0 0 15 0 1 0 1794716768 11132928 1347 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2718 1347 413 48 0 2670 0
[pid=28635] vsize: 10872
Current children cumulated CPU time (s) 698.68
Current children cumulated vsize (Kb) 13000

[startup+780.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1390 0 0 0 37399 1837 0 0 20 0 1 0 1794716768 10997760 1349 4294967295 134512640 134702520 3221223712 3221072288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2685 1349 413 48 0 2637 0
[pid=28635] vsize: 10740
Current children cumulated CPU time (s) 705.89
Current children cumulated vsize (Kb) 12868

[startup+790.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1391 0 0 0 38378 1844 0 0 21 0 1 0 1794716768 10997760 1350 4294967295 134512640 134702520 3221223712 3221036748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2685 1350 413 48 0 2637 0
[pid=28635] vsize: 10740
Current children cumulated CPU time (s) 715.75
Current children cumulated vsize (Kb) 12868

[startup+800.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1392 0 0 0 39356 1850 0 0 25 0 1 0 1794716768 10997760 1351 4294967295 134512640 134702520 3221223712 3221003628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2685 1351 413 48 0 2637 0
[pid=28635] vsize: 10740
Current children cumulated CPU time (s) 725.59
Current children cumulated vsize (Kb) 12868

[startup+810.072 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1396 0 0 0 40332 1858 0 0 25 0 1 0 1794716768 10997760 1355 4294967295 134512640 134702520 3221223712 3220967328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2685 1355 413 48 0 2637 0
[pid=28635] vsize: 10740
Current children cumulated CPU time (s) 735.43
Current children cumulated vsize (Kb) 12868

[startup+820.072 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1398 0 0 0 41308 1865 0 0 25 0 1 0 1794716768 10997760 1357 4294967295 134512640 134702520 3221223712 3220926048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2685 1357 413 48 0 2637 0
[pid=28635] vsize: 10740
Current children cumulated CPU time (s) 745.26
Current children cumulated vsize (Kb) 12868

[startup+830.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1399 0 0 0 42284 1873 0 0 25 0 1 0 1794716768 10997760 1358 4294967295 134512640 134702520 3221223712 3220885568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2685 1358 413 48 0 2637 0
[pid=28635] vsize: 10740
Current children cumulated CPU time (s) 755.1
Current children cumulated vsize (Kb) 12868

[startup+840.074 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) T 28630 28630 9854 0 -1 0 1400 0 0 0 42826 2019 0 0 16 0 1 0 1794716768 11157504 1359 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2724 1359 413 48 0 2676 0
[pid=28635] vsize: 10896
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (Kb) 13024

[startup+850.075 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1404 0 0 0 43477 2132 0 0 21 0 1 0 1794716768 11018240 1361 4294967295 134512640 134702520 3221223712 3221013408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2690 1361 413 48 0 2642 0
[pid=28635] vsize: 10760
Current children cumulated CPU time (s) 769.62
Current children cumulated vsize (Kb) 12888

[startup+860.076 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1405 0 0 0 44454 2141 0 0 25 0 1 0 1794716768 11018240 1362 4294967295 134512640 134702520 3221223712 3220978368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2690 1362 413 48 0 2642 0
[pid=28635] vsize: 10760
Current children cumulated CPU time (s) 779.48
Current children cumulated vsize (Kb) 12888

[startup+870.077 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1408 0 0 0 45427 2149 0 0 25 0 1 0 1794716768 11018240 1365 4294967295 134512640 134702520 3221223712 3220939948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2690 1365 413 48 0 2642 0
[pid=28635] vsize: 10760
Current children cumulated CPU time (s) 789.29
Current children cumulated vsize (Kb) 12888

[startup+880.078 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1414 0 0 0 46402 2158 0 0 25 0 1 0 1794716768 11018240 1371 4294967295 134512640 134702520 3221223712 3220905248 134612005 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2690 1371 413 48 0 2642 0
[pid=28635] vsize: 10760
Current children cumulated CPU time (s) 799.13
Current children cumulated vsize (Kb) 12888

[startup+890.078 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1416 0 0 0 47374 2169 0 0 25 0 1 0 1794716768 11018240 1373 4294967295 134512640 134702520 3221223712 3220867468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2690 1373 413 48 0 2642 0
[pid=28635] vsize: 10760
Current children cumulated CPU time (s) 808.96
Current children cumulated vsize (Kb) 12888

[startup+900.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) R 28630 28630 9854 0 -1 0 1418 0 0 0 48350 2177 0 0 25 0 1 0 1794716768 11018240 1375 4294967295 134512640 134702520 3221223712 3220825388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28635/statm): 2690 1375 413 48 0 2642 0
[pid=28635] vsize: 10760
Current children cumulated CPU time (s) 818.8
Current children cumulated vsize (Kb) 12888

[startup+910.081 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 28635
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 378 2035 0 0 2 1 29597 1753 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28635/stat): 28635 (vallst) T 28630 28630 9854 0 -1 0 1420 0 0 0 48855 2342 0 0 16 0 1 0 1794716768 11182080 1377 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222298933 0 0 17 1 0 0
Raw data (/proc/28635/statm): 2730 1377 413 48 0 2682 0
[pid=28635] vsize: 10920
Current children cumulated CPU time (s) 825.5
Current children cumulated vsize (Kb) 13048
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=28635) exited with status: 2
New process pid=28636
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=28636) exited with status: 0
New process pid=28637
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+920.081 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1094 0 0 0 512 4 0 0 25 0 1 0 1794773250 6082560 1066 4294967295 134512640 134702520 3221223712 3220977468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 1485 1066 413 48 0 1437 0
[pid=28637] vsize: 5940
Current children cumulated CPU time (s) 833.61
Current children cumulated vsize (Kb) 8068

[startup+930.082 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) T 28630 28630 9854 0 -1 0 1229 0 0 0 1353 55 0 0 16 0 1 0 1794773250 6799360 1201 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28637/statm): 1660 1201 413 48 0 1612 0
[pid=28637] vsize: 6640
Current children cumulated CPU time (s) 842.53
Current children cumulated vsize (Kb) 8768

[startup+940.082 s]
Raw data (loadavg): 1.09 1.03 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1291 0 0 0 2099 142 0 0 25 0 1 0 1794773250 10280960 1263 4294967295 134512640 134702520 3221223712 3220890208 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2510 1263 413 48 0 2462 0
[pid=28637] vsize: 10040
Current children cumulated CPU time (s) 850.86
Current children cumulated vsize (Kb) 12168

[startup+950.083 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1298 0 0 0 3083 148 0 0 25 0 1 0 1794773250 10280960 1270 4294967295 134512640 134702520 3221223712 3220824108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2510 1270 413 48 0 2462 0
[pid=28637] vsize: 10040
Current children cumulated CPU time (s) 860.76
Current children cumulated vsize (Kb) 12168

[startup+960.084 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1299 0 0 0 4066 154 0 0 25 0 1 0 1794773250 10280960 1271 4294967295 134512640 134702520 3221223712 3220752768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2510 1271 413 48 0 2462 0
[pid=28637] vsize: 10040
Current children cumulated CPU time (s) 870.65
Current children cumulated vsize (Kb) 12168

[startup+970.087 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1303 0 0 0 5051 160 0 0 25 0 1 0 1794773250 10280960 1275 4294967295 134512640 134702520 3221223712 3220653568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2510 1275 413 48 0 2462 0
[pid=28637] vsize: 10040
Current children cumulated CPU time (s) 880.56
Current children cumulated vsize (Kb) 12168

[startup+980.088 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) T 28630 28630 9854 0 -1 0 1304 0 0 0 6032 167 0 0 25 0 1 0 1794773250 10280960 1276 4294967295 134512640 134702520 3221223712 3221222988 1074923931 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2510 1276 413 48 0 2462 0
[pid=28637] vsize: 10040
Current children cumulated CPU time (s) 890.44
Current children cumulated vsize (Kb) 12168

[startup+990.088 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) T 28630 28630 9854 0 -1 0 1307 0 0 0 6962 190 0 0 16 0 1 0 1794773250 10354688 1279 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2528 1279 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 899.97
Current children cumulated vsize (Kb) 12240

[startup+1000.09 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1308 0 0 0 7342 393 0 0 16 0 1 0 1794773250 10489856 1280 4294967295 134512640 134702520 3221223712 3221222608 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2561 1280 413 48 0 2513 0
[pid=28637] vsize: 10244
Current children cumulated CPU time (s) 905.8
Current children cumulated vsize (Kb) 12372

[startup+1010.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1310 0 0 0 8258 420 0 0 25 0 1 0 1794773250 10354688 1280 4294967295 134512640 134702520 3221223712 3220643968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2528 1280 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 915.23
Current children cumulated vsize (Kb) 12240

[startup+1020.09 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) T 28630 28630 9854 0 -1 0 1313 0 0 0 9238 428 0 0 25 0 1 0 1794773250 10354688 1283 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2528 1283 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 925.11
Current children cumulated vsize (Kb) 12240

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1318 0 0 0 10205 439 0 0 20 0 1 0 1794773250 10354688 1288 4294967295 134512640 134702520 3221223712 3221208448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2528 1288 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 934.89
Current children cumulated vsize (Kb) 12240

[startup+1040.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1321 0 0 0 11188 445 0 0 22 0 1 0 1794773250 10354688 1291 4294967295 134512640 134702520 3221223712 3221172608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2528 1291 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 944.78
Current children cumulated vsize (Kb) 12240

[startup+1050.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1322 0 0 0 12169 452 0 0 19 0 1 0 1794773250 10354688 1292 4294967295 134512640 134702520 3221223712 3221133888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2528 1292 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 954.66
Current children cumulated vsize (Kb) 12240

[startup+1060.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) T 28630 28630 9854 0 -1 0 1323 0 0 0 12972 512 0 0 15 0 1 0 1794773250 10489856 1293 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2561 1293 413 48 0 2513 0
[pid=28637] vsize: 10244
Current children cumulated CPU time (s) 963.29
Current children cumulated vsize (Kb) 12372

[startup+1070.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1327 0 0 0 13395 699 0 0 16 0 1 0 1794773250 10354688 1295 4294967295 134512640 134702520 3221223712 3221212748 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2528 1295 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 969.39
Current children cumulated vsize (Kb) 12240

[startup+1080.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1328 0 0 0 14376 706 0 0 21 0 1 0 1794773250 10354688 1296 4294967295 134512640 134702520 3221223712 3221180908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2528 1296 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 979.27
Current children cumulated vsize (Kb) 12240

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1329 0 0 0 15357 712 0 0 18 0 1 0 1794773250 10354688 1297 4294967295 134512640 134702520 3221223712 3221144288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2528 1297 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 989.14
Current children cumulated vsize (Kb) 12240

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1332 0 0 0 16338 718 0 0 19 0 1 0 1794773250 10354688 1300 4294967295 134512640 134702520 3221223712 3221106028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2528 1300 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 999.01
Current children cumulated vsize (Kb) 12240

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1334 0 0 0 17317 725 0 0 25 0 1 0 1794773250 10354688 1302 4294967295 134512640 134702520 3221223712 3221066208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2528 1302 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 1008.87
Current children cumulated vsize (Kb) 12240

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1337 0 0 0 18298 732 0 0 25 0 1 0 1794773250 10354688 1305 4294967295 134512640 134702520 3221223712 3221024448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2528 1305 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 1018.75
Current children cumulated vsize (Kb) 12240

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) T 28630 28630 9854 0 -1 0 1338 0 0 0 18981 834 0 0 16 0 1 0 1794773250 10489856 1306 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2561 1306 413 48 0 2513 0
[pid=28637] vsize: 10244
Current children cumulated CPU time (s) 1026.6
Current children cumulated vsize (Kb) 12372

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1340 0 0 0 19518 984 0 0 19 0 1 0 1794773250 10354688 1306 4294967295 134512640 134702520 3221223712 3221117728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2528 1306 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 1033.47
Current children cumulated vsize (Kb) 12240

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1341 0 0 0 20497 991 0 0 25 0 1 0 1794773250 10354688 1307 4294967295 134512640 134702520 3221223712 3221080448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2528 1307 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 1043.33
Current children cumulated vsize (Kb) 12240

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1342 0 0 0 21475 998 0 0 22 0 1 0 1794773250 10354688 1308 4294967295 134512640 134702520 3221223712 3221044428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2528 1308 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 1053.18
Current children cumulated vsize (Kb) 12240

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1343 0 0 0 22453 1006 0 0 25 0 1 0 1794773250 10354688 1309 4294967295 134512640 134702520 3221223712 3221006188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2528 1309 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 1063.04
Current children cumulated vsize (Kb) 12240

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1352 0 0 0 23431 1013 0 0 25 0 1 0 1794773250 10354688 1318 4294967295 134512640 134702520 3221223712 3220964428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2528 1318 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 1072.89
Current children cumulated vsize (Kb) 12240

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1366 0 0 0 24409 1022 0 0 25 0 1 0 1794773250 10354688 1332 4294967295 134512640 134702520 3221223712 3220925568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2528 1332 413 48 0 2480 0
[pid=28637] vsize: 10112
Current children cumulated CPU time (s) 1082.76
Current children cumulated vsize (Kb) 12240

[startup+1200.11 s]
Raw data (loadavg): 1.08 1.02 1.01 1/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) T 28630 28630 9854 0 -1 0 1367 0 0 0 25009 1154 0 0 16 0 1 0 1794773250 10498048 1333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2563 1333 413 48 0 2515 0
[pid=28637] vsize: 10252
Current children cumulated CPU time (s) 1090.08
Current children cumulated vsize (Kb) 12380

[startup+1210.11 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1371 0 0 0 25662 1268 0 0 21 0 1 0 1794773250 10358784 1335 4294967295 134512640 134702520 3221223712 3221017408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2529 1335 413 48 0 2481 0
[pid=28637] vsize: 10116
Current children cumulated CPU time (s) 1097.75
Current children cumulated vsize (Kb) 12244

[startup+1220.11 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1373 0 0 0 26639 1276 0 0 25 0 1 0 1794773250 10358784 1337 4294967295 134512640 134702520 3221223712 3220983808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2529 1337 413 48 0 2481 0
[pid=28637] vsize: 10116
Current children cumulated CPU time (s) 1107.6
Current children cumulated vsize (Kb) 12244

[startup+1230.11 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1375 0 0 0 27616 1284 0 0 25 0 1 0 1794773250 10358784 1339 4294967295 134512640 134702520 3221223712 3220944288 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2529 1339 413 48 0 2481 0
[pid=28637] vsize: 10116
Current children cumulated CPU time (s) 1117.45
Current children cumulated vsize (Kb) 12244

[startup+1240.11 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1376 0 0 0 28593 1291 0 0 25 0 1 0 1794773250 10358784 1340 4294967295 134512640 134702520 3221223712 3220900768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2529 1340 413 48 0 2481 0
[pid=28637] vsize: 10116
Current children cumulated CPU time (s) 1127.29
Current children cumulated vsize (Kb) 12244

[startup+1250.11 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1379 0 0 0 29570 1298 0 0 25 0 1 0 1794773250 10358784 1343 4294967295 134512640 134702520 3221223712 3220859948 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2529 1343 413 48 0 2481 0
[pid=28637] vsize: 10116
Current children cumulated CPU time (s) 1137.13
Current children cumulated vsize (Kb) 12244

[startup+1260.11 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1382 0 0 0 30547 1305 0 0 25 0 1 0 1794773250 10358784 1346 4294967295 134512640 134702520 3221223712 3220811468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2529 1346 413 48 0 2481 0
[pid=28637] vsize: 10116
Current children cumulated CPU time (s) 1146.97
Current children cumulated vsize (Kb) 12244

[startup+1270.11 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) T 28630 28630 9854 0 -1 0 1384 0 0 0 31068 1457 0 0 15 0 1 0 1794773250 10514432 1348 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2567 1348 413 48 0 2519 0
[pid=28637] vsize: 10268
Current children cumulated CPU time (s) 1153.7
Current children cumulated vsize (Kb) 12396

[startup+1280.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1389 0 0 0 31803 1542 0 0 25 0 1 0 1794773250 10375168 1351 4294967295 134512640 134702520 3221223712 3220930368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2533 1351 413 48 0 2485 0
[pid=28637] vsize: 10132
Current children cumulated CPU time (s) 1161.9
Current children cumulated vsize (Kb) 12260

[startup+1290.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1391 0 0 0 32779 1551 0 0 25 0 1 0 1794773250 10375168 1353 4294967295 134512640 134702520 3221223712 3220891648 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2533 1353 413 48 0 2485 0
[pid=28637] vsize: 10132
Current children cumulated CPU time (s) 1171.75
Current children cumulated vsize (Kb) 12260

[startup+1300.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1400 0 0 0 33752 1560 0 0 25 0 1 0 1794773250 10375168 1362 4294967295 134512640 134702520 3221223712 3220847328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2533 1362 413 48 0 2485 0
[pid=28637] vsize: 10132
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (Kb) 12260

[startup+1310.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1406 0 0 0 34726 1569 0 0 25 0 1 0 1794773250 10375168 1368 4294967295 134512640 134702520 3221223712 3220797888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2533 1368 413 48 0 2485 0
[pid=28637] vsize: 10132
Current children cumulated CPU time (s) 1191.4
Current children cumulated vsize (Kb) 12260

[startup+1320.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1407 0 0 0 35702 1577 0 0 25 0 1 0 1794773250 10375168 1369 4294967295 134512640 134702520 3221223712 3220741088 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28637/statm): 2533 1369 413 48 0 2485 0
[pid=28637] vsize: 10132
Current children cumulated CPU time (s) 1201.24
Current children cumulated vsize (Kb) 12260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1320.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 28637
Raw data (/proc/28630/stat): 28630 (vallstSAT2005PB) S 28629 28630 9854 0 -1 0 417 3600 0 0 2 1 78660 4182 17 0 1 0 1794681750 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28630/statm): 532 248 485 147 0 385 0
[pid=28630] vsize: 2128
Raw data (/proc/28637/stat): 28637 (vallst) R 28630 28630 9854 0 -1 0 1407 0 0 0 35702 1577 0 0 25 0 1 0 1794773250 10375168 1369 4294967295 134512640 134702520 3221223712 3220741068 134531184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28637/statm): 2533 1369 413 48 0 2485 0
[pid=28637] vsize: 10132
Current children cumulated CPU time (s) 1201.24
Current children cumulated vsize (Kb) 12260

Sending SIGTERM to -28630
Sleeping 2 seconds
New process pid=28639
New process pid=28640
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/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/21244/stat
open syscall for file /proc/21244/status
open syscall for file /proc/21244/cmdline
open syscall for file /proc/21244/environ
open syscall for file /proc/22265/stat
open syscall for file /proc/22265/status
open syscall for file /proc/22265/cmdline
open syscall for file /proc/22265/environ
open syscall for file /proc/22292/stat
open syscall for file /proc/22292/status
open syscall for file /proc/22292/cmdline
open syscall for file /proc/22292/environ
open syscall for file /proc/22316/stat
open syscall for file /proc/22316/status
open syscall for file /proc/22316/cmdline
open syscall for file /proc/22316/environ
open syscall for file /proc/1196/stat
open syscall for file /proc/1196/status
open syscall for file /proc/1196/cmdline
open syscall for file /proc/1196/environ
open syscall for file /proc/32112/stat
open syscall for file /proc/32112/status
open syscall for file /proc/32112/cmdline
open syscall for file /proc/32112/environ
open syscall for file /proc/23586/stat
open syscall for file /proc/23586/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/23586/cmdline
open syscall for file /proc/23586/environ
open syscall for file /proc/23621/stat
open syscall for file /proc/23621/status
open syscall for file /proc/23621/cmdline
open syscall for file /proc/23621/environ
open syscall for file /proc/9854/stat
open syscall for file /proc/9854/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/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/9855/stat
open syscall for file /proc/9855/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/9855/cmdline
open syscall for file /proc/9855/environ
open syscall for file /proc/9864/stat
open syscall for file /proc/9864/status
open syscall for file /proc/9864/cmdline
open syscall for file /proc/9864/environ
open syscall for file /proc/28593/stat
open syscall for file /proc/28593/status
open syscall for file /proc/28593/cmdline
open syscall for file /proc/28593/environ
open syscall for file /proc/28629/stat
open syscall for file /proc/28629/status
open syscall for file /proc/28629/cmdline
open syscall for file /proc/28629/environ
open syscall for file /proc/28630/stat
open syscall for file /proc/28630/status
open syscall for file /proc/28630/cmdline
open syscall for file /proc/28630/environ
open syscall for file /proc/28637/stat
open syscall for file /proc/28637/status
open syscall for file /proc/28637/cmdline
open syscall for file /proc/28637/environ
open syscall for file /proc/28639/stat
open syscall for file /proc/28639/status
open syscall for file /proc/28639/cmdline
open syscall for file /proc/28639/environ
open syscall for file /proc/28640/stat
open syscall for file /proc/28640/status
open syscall for file /proc/28640/cmdline
open syscall for file /proc/28640/environ
One traced child (pid=28640) exited with status: 0
One traced child (pid=28639) exited with status: 0
New process pid=28641
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=28641) exited with status: 0
New process pid=28642
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=28642) exited with status: 0
One traced child (pid=28630) 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=28637) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1321.57
CPU time (s): 374.251
CPU user time (s): 358.469
CPU system time (s): 15.7816
CPU usage (%): 28.3186
Max. virtual memory (cumulated for all children) (Kb): 13788

Verifier Data

ERROR: no interpretation found !