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

Nameweb/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
MD5SUMf306f9e77db4c563a096b79aebdedeaa
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
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 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 71
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 261
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables23621
Total number of constraints67526
Number of constraints which are clauses65126
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2400
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 3566

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-19 01:46:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7354 boxname=wulflinc17 idbench=322 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f306f9e77db4c563a096b79aebdedeaa  /oldhome/oroussel/tmp/wulflinc17/normalized-ooo.burch_dill.6.accl.ucl.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc17/normalized-ooo.burch_dill.6.accl.ucl.opb 0
IDLAUNCH: 7354
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        912224 kB
Buffers:         34384 kB
Cached:          60844 kB
SwapCached:        516 kB
Active:          57640 kB
Inactive:        40036 kB
HighTotal:      131008 kB
HighFree:        66192 kB
LowTotal:       903652 kB
LowFree:        846032 kB
SwapTotal:     2097892 kB
SwapFree:      2096672 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            19072 kB
Committed_AS:    64148 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 02:06:46 (client local time) WITH STATUS 3 IN 389.465 SECONDS
stats: 7354 7 389.465 3

Solver Data

1:
seed: 0
Nr of vars set: 1  (#equs: 0)
Nr of vars set: 4938  (#equs: 2268)
#decisions: 335824;  #end-nodes: 43958;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 164 (151)
#axs: 70616, #non-axs: 13809
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: 6944  (#equs: 3091)
Time taken: 7 min, 37 sec

2:
seed: 0
Nr of vars set: 6944  (#equs: 0)
Nr of vars set: 6944  (#equs: 0)
#decisions: 245260;  #end-nodes: 33528;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 167 (167)
#axs: 40641, #non-axs: 14041
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: 7866  (#equs: 1014)
Time taken: 5 min, 58 sec

3:

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: 7866  (#equs: 0)
Nr of vars set: 7866  (#equs: 0)
Interupt request received.
#decisions: 235407;  #end-nodes: 32152;
#proof improvement attempts: 0;  #restarts: 160
Current batch, end-nodes: 0 / 200 (200)
#axs: 34333, #non-axs: 21419
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: 7872  (#equs: 0)
Time taken: 6 min, 28 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/30329/stat): 30329 (vallstSAT2005PB) R 30328 30329 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1846068468 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/30329/statm): 174 3 169 147 0 27 0
[pid=30329] 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=30330
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=30330) exited with status: 0
New process pid=30331
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=30331) exited with status: 0
New process pid=30332
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/wulflinc17/normalized-ooo.burch_dill.6.accl.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0032 s]
Raw data (loadavg): 0.91 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2401 0 0 0 960 16 0 0 25 0 1 0 1846068477 12570624 2305 4294967295 134512640 134702520 3221223952 3221223216 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 3069 2305 413 48 0 3021 0
[pid=30332] vsize: 12276
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (Kb) 14404

[startup+20.0048 s]
Raw data (loadavg): 0.92 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2434 0 0 0 1888 39 0 0 20 0 1 0 1846068477 23990272 2338 4294967295 134512640 134702520 3221223952 3221223232 134552217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5857 2338 413 48 0 5809 0
[pid=30332] vsize: 23428
Current children cumulated CPU time (s) 19.3
Current children cumulated vsize (Kb) 25556

[startup+30.0064 s]
Raw data (loadavg): 0.93 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2450 0 0 0 2826 60 0 0 25 0 1 0 1846068477 23990272 2354 4294967295 134512640 134702520 3221223952 3221002928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5857 2354 413 48 0 5809 0
[pid=30332] vsize: 23428
Current children cumulated CPU time (s) 28.89
Current children cumulated vsize (Kb) 25556

[startup+40.007 s]
Raw data (loadavg): 0.94 1.00 0.99 1/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) T 30329 30329 19316 0 -1 0 2468 0 0 0 3759 85 0 0 25 0 1 0 1846068477 24100864 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5884 2372 413 48 0 5836 0
[pid=30332] vsize: 23536
Current children cumulated CPU time (s) 38.47
Current children cumulated vsize (Kb) 25664

[startup+50.0076 s]
Raw data (loadavg): 0.95 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2470 0 0 0 4752 88 0 0 25 0 1 0 1846068477 24100864 2374 4294967295 134512640 134702520 3221223952 3220878288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5884 2374 413 48 0 5836 0
[pid=30332] vsize: 23536
Current children cumulated CPU time (s) 48.43
Current children cumulated vsize (Kb) 25664

[startup+60.0082 s]
Raw data (loadavg): 0.96 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2493 0 0 0 5678 114 0 0 25 0 1 0 1846068477 24100864 2397 4294967295 134512640 134702520 3221223952 3221163548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5884 2397 413 48 0 5836 0
[pid=30332] vsize: 23536
Current children cumulated CPU time (s) 57.95
Current children cumulated vsize (Kb) 25664

[startup+70.0088 s]
Raw data (loadavg): 0.96 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2493 0 0 0 6678 114 0 0 25 0 1 0 1846068477 24100864 2397 4294967295 134512640 134702520 3221223952 3220814288 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5884 2397 413 48 0 5836 0
[pid=30332] vsize: 23536
Current children cumulated CPU time (s) 67.95
Current children cumulated vsize (Kb) 25664

[startup+80.0105 s]
Raw data (loadavg): 0.97 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2523 0 0 0 7617 135 0 0 25 0 1 0 1846068477 24100864 2427 4294967295 134512640 134702520 3221223952 3221210588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5884 2427 413 48 0 5836 0
[pid=30332] vsize: 23536
Current children cumulated CPU time (s) 77.55
Current children cumulated vsize (Kb) 25664

[startup+90.0111 s]
Raw data (loadavg): 0.97 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2525 0 0 0 8612 137 0 0 25 0 1 0 1846068477 24170496 2429 4294967295 134512640 134702520 3221223952 3221223232 134552319 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5901 2429 413 48 0 5853 0
[pid=30332] vsize: 23604
Current children cumulated CPU time (s) 87.52
Current children cumulated vsize (Kb) 25732

[startup+100.012 s]
Raw data (loadavg): 0.98 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2546 0 0 0 9546 161 0 0 25 0 1 0 1846068477 24170496 2450 4294967295 134512640 134702520 3221223952 3221092368 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5901 2450 413 48 0 5853 0
[pid=30332] vsize: 23604
Current children cumulated CPU time (s) 97.1
Current children cumulated vsize (Kb) 25732

[startup+110.013 s]
Raw data (loadavg): 0.98 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2557 0 0 0 10519 170 0 0 25 0 1 0 1846068477 24170496 2461 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5901 2461 413 48 0 5853 0
[pid=30332] vsize: 23604
Current children cumulated CPU time (s) 106.92
Current children cumulated vsize (Kb) 25732

[startup+120.014 s]
Raw data (loadavg): 0.98 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2582 0 0 0 11461 190 0 0 25 0 1 0 1846068477 24170496 2486 4294967295 134512640 134702520 3221223952 3220945628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5901 2486 413 48 0 5853 0
[pid=30332] vsize: 23604
Current children cumulated CPU time (s) 116.54
Current children cumulated vsize (Kb) 25732

[startup+130.015 s]
Raw data (loadavg): 0.98 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2595 0 0 0 12448 194 0 0 25 0 1 0 1846068477 24342528 2499 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5943 2499 413 48 0 5895 0
[pid=30332] vsize: 23772
Current children cumulated CPU time (s) 126.45
Current children cumulated vsize (Kb) 25900

[startup+140.016 s]
Raw data (loadavg): 1.07 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2597 0 0 0 13367 221 0 0 25 0 1 0 1846068477 24272896 2501 4294967295 134512640 134702520 3221223952 3221196368 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2501 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 135.91
Current children cumulated vsize (Kb) 25832

[startup+150.017 s]
Raw data (loadavg): 1.06 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2598 0 0 0 14312 240 0 0 25 0 1 0 1846068477 24272896 2502 4294967295 134512640 134702520 3221223952 3221223232 134553045 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2502 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 145.55
Current children cumulated vsize (Kb) 25832

[startup+160.017 s]
Raw data (loadavg): 1.05 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2598 0 0 0 15298 245 0 0 25 0 1 0 1846068477 24272896 2502 4294967295 134512640 134702520 3221223952 3221030428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2502 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 155.46
Current children cumulated vsize (Kb) 25832

[startup+170.018 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2598 0 0 0 16298 245 0 0 25 0 1 0 1846068477 24272896 2502 4294967295 134512640 134702520 3221223952 3220597948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2502 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 165.46
Current children cumulated vsize (Kb) 25832

[startup+180.018 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2598 0 0 0 17231 269 0 0 25 0 1 0 1846068477 24272896 2502 4294967295 134512640 134702520 3221223952 3220687868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2502 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 175.03
Current children cumulated vsize (Kb) 25832

[startup+190.02 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2598 0 0 0 18231 270 0 0 25 0 1 0 1846068477 24272896 2502 4294967295 134512640 134702520 3221223952 3220902288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2502 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 185.04
Current children cumulated vsize (Kb) 25832

[startup+200.021 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2599 0 0 0 19210 276 0 0 25 0 1 0 1846068477 24272896 2503 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2503 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 194.89
Current children cumulated vsize (Kb) 25832

[startup+210.021 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2604 0 0 0 20153 296 0 0 25 0 1 0 1846068477 24272896 2508 4294967295 134512640 134702520 3221223952 3221144348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2508 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (Kb) 25832

[startup+220.022 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2604 0 0 0 21152 296 0 0 25 0 1 0 1846068477 24272896 2508 4294967295 134512640 134702520 3221223952 3220753308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2508 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 214.51
Current children cumulated vsize (Kb) 25832

[startup+230.023 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2610 0 0 0 22122 306 0 0 25 0 1 0 1846068477 24272896 2514 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2514 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 224.31
Current children cumulated vsize (Kb) 25832

[startup+240.023 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2624 0 0 0 23078 320 0 0 25 0 1 0 1846068477 24272896 2528 4294967295 134512640 134702520 3221223952 3221083228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2528 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 234.01
Current children cumulated vsize (Kb) 25832

[startup+250.024 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2624 0 0 0 24077 320 0 0 25 0 1 0 1846068477 24272896 2528 4294967295 134512640 134702520 3221223952 3220749008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2528 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 244
Current children cumulated vsize (Kb) 25832

[startup+260.025 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2645 0 0 0 25038 336 0 0 25 0 1 0 1846068477 24272896 2549 4294967295 134512640 134702520 3221223952 3221223232 134553384 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2549 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 253.77
Current children cumulated vsize (Kb) 25832

[startup+270.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2661 0 0 0 26002 347 0 0 25 0 1 0 1846068477 24272896 2565 4294967295 134512640 134702520 3221223952 3221049628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2565 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 263.52
Current children cumulated vsize (Kb) 25832

[startup+280.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2661 0 0 0 27002 347 0 0 25 0 1 0 1846068477 24272896 2565 4294967295 134512640 134702520 3221223952 3220608028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2565 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 273.52
Current children cumulated vsize (Kb) 25832

[startup+290.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2663 0 0 0 27942 366 0 0 25 0 1 0 1846068477 24272896 2567 4294967295 134512640 134702520 3221223952 3221223200 134549065 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2567 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 283.11
Current children cumulated vsize (Kb) 25832

[startup+300.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2663 0 0 0 28924 372 0 0 25 0 1 0 1846068477 24272896 2567 4294967295 134512640 134702520 3221223952 3220986268 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2567 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 292.99
Current children cumulated vsize (Kb) 25832

[startup+310.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2663 0 0 0 29923 372 0 0 25 0 1 0 1846068477 24272896 2567 4294967295 134512640 134702520 3221223952 3220487888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2567 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 302.98
Current children cumulated vsize (Kb) 25832

[startup+320.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2674 0 0 0 30855 396 0 0 25 0 1 0 1846068477 24272896 2578 4294967295 134512640 134702520 3221223952 3221223208 134549067 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2578 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 312.54
Current children cumulated vsize (Kb) 25832

[startup+330.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2676 0 0 0 31853 397 0 0 25 0 1 0 1846068477 24272896 2580 4294967295 134512640 134702520 3221223952 3220929948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2580 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 322.53
Current children cumulated vsize (Kb) 25832

[startup+340.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2676 0 0 0 32852 397 0 0 25 0 1 0 1846068477 24272896 2580 4294967295 134512640 134702520 3221223952 3220372048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2580 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 332.52
Current children cumulated vsize (Kb) 25832

[startup+350.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2729 0 0 0 33768 425 0 0 25 0 1 0 1846068477 24350720 2633 4294967295 134512640 134702520 3221223952 3220824508 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5945 2633 413 48 0 5897 0
[pid=30332] vsize: 23780
Current children cumulated CPU time (s) 341.96
Current children cumulated vsize (Kb) 25908

[startup+360.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2729 0 0 0 34769 425 0 0 25 0 1 0 1846068477 24350720 2633 4294967295 134512640 134702520 3221223952 3220910108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5945 2633 413 48 0 5897 0
[pid=30332] vsize: 23780
Current children cumulated CPU time (s) 351.97
Current children cumulated vsize (Kb) 25908

[startup+370.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2729 0 0 0 35769 425 0 0 25 0 1 0 1846068477 24350720 2633 4294967295 134512640 134702520 3221223952 3220292528 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5945 2633 413 48 0 5897 0
[pid=30332] vsize: 23780
Current children cumulated CPU time (s) 361.97
Current children cumulated vsize (Kb) 25908

[startup+380.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2777 0 0 0 36688 455 0 0 25 0 1 0 1846068477 24350720 2681 4294967295 134512640 134702520 3221223952 3221114768 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5945 2681 413 48 0 5897 0
[pid=30332] vsize: 23780
Current children cumulated CPU time (s) 371.46
Current children cumulated vsize (Kb) 25908

[startup+390.034 s]
Raw data (loadavg): 1.15 1.03 1.01 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2777 0 0 0 37688 455 0 0 25 0 1 0 1846068477 24350720 2681 4294967295 134512640 134702520 3221223952 3220920848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5945 2681 413 48 0 5897 0
[pid=30332] vsize: 23780
Current children cumulated CPU time (s) 381.46
Current children cumulated vsize (Kb) 25908

[startup+400.034 s]
Raw data (loadavg): 1.13 1.03 1.00 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2777 0 0 0 38688 455 0 0 25 0 1 0 1846068477 24350720 2681 4294967295 134512640 134702520 3221223952 3220326448 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5945 2681 413 48 0 5897 0
[pid=30332] vsize: 23780
Current children cumulated CPU time (s) 391.46
Current children cumulated vsize (Kb) 25908

[startup+410.035 s]
Raw data (loadavg): 1.11 1.03 1.00 1/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) T 30329 30329 19316 0 -1 0 2861 0 0 0 39607 484 0 0 25 0 1 0 1846068477 24440832 2765 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5967 2765 413 48 0 5919 0
[pid=30332] vsize: 23868
Current children cumulated CPU time (s) 400.94
Current children cumulated vsize (Kb) 25996

[startup+420.036 s]
Raw data (loadavg): 1.09 1.03 1.00 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 3005 0 0 0 40537 508 0 0 25 0 1 0 1846068477 24440832 2909 4294967295 134512640 134702520 3221223952 3221169308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5967 2909 413 48 0 5919 0
[pid=30332] vsize: 23868
Current children cumulated CPU time (s) 410.48
Current children cumulated vsize (Kb) 25996

[startup+430.038 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 3005 0 0 0 41537 509 0 0 25 0 1 0 1846068477 24440832 2909 4294967295 134512640 134702520 3221223952 3220861968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5967 2909 413 48 0 5919 0
[pid=30332] vsize: 23868
Current children cumulated CPU time (s) 420.49
Current children cumulated vsize (Kb) 25996

[startup+440.038 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 3007 0 0 0 42526 513 0 0 25 0 1 0 1846068477 24539136 2911 4294967295 134512640 134702520 3221223952 3221223232 134552319 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5991 2911 413 48 0 5943 0
[pid=30332] vsize: 23964
Current children cumulated CPU time (s) 430.42
Current children cumulated vsize (Kb) 26092

[startup+450.039 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 3076 0 0 0 43439 542 0 0 25 0 1 0 1846068477 24539136 2980 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5991 2980 413 48 0 5943 0
[pid=30332] vsize: 23964
Current children cumulated CPU time (s) 439.84
Current children cumulated vsize (Kb) 26092

[startup+460.039 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 3080 0 0 0 44435 544 0 0 25 0 1 0 1846068477 24539136 2984 4294967295 134512640 134702520 3221223952 3220869488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5991 2984 413 48 0 5943 0
[pid=30332] vsize: 23964
Current children cumulated CPU time (s) 449.82
Current children cumulated vsize (Kb) 26092
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=30332) exited with status: 2
New process pid=30333
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=30333) exited with status: 0
New process pid=30334
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+470.039 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 1674 0 0 0 139 10 0 0 25 0 1 0 1846115325 10682368 1645 4294967295 134512640 134702520 3221223712 3221222268 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 2608 1645 413 48 0 2560 0
[pid=30334] vsize: 10432
Current children cumulated CPU time (s) 459.72
Current children cumulated vsize (Kb) 12560

[startup+480.04 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 1796 0 0 0 1138 10 0 0 25 0 1 0 1846115325 11182080 1767 4294967295 134512640 134702520 3221223712 3220902448 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 2730 1767 413 48 0 2682 0
[pid=30334] vsize: 10920
Current children cumulated CPU time (s) 469.71
Current children cumulated vsize (Kb) 13048

[startup+490.04 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) T 30329 30329 19316 0 -1 0 2037 0 0 0 2124 16 0 0 25 0 1 0 1846115325 24719360 2008 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6035 2008 413 48 0 5987 0
[pid=30334] vsize: 24140
Current children cumulated CPU time (s) 479.63
Current children cumulated vsize (Kb) 26268

[startup+500.04 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2088 0 0 0 3053 43 0 0 25 0 1 0 1846115325 24854528 2059 4294967295 134512640 134702520 3221223712 3221147948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6068 2059 413 48 0 6020 0
[pid=30334] vsize: 24272
Current children cumulated CPU time (s) 489.19
Current children cumulated vsize (Kb) 26400

[startup+510.04 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2088 0 0 0 4052 43 0 0 25 0 1 0 1846115325 24854528 2059 4294967295 134512640 134702520 3221223712 3220865228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6068 2059 413 48 0 6020 0
[pid=30334] vsize: 24272
Current children cumulated CPU time (s) 499.18
Current children cumulated vsize (Kb) 26400

[startup+520.041 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2101 0 0 0 5032 51 0 0 25 0 1 0 1846115325 24854528 2072 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6068 2072 413 48 0 6020 0
[pid=30334] vsize: 24272
Current children cumulated CPU time (s) 509.06
Current children cumulated vsize (Kb) 26400

[startup+530.042 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2131 0 0 0 5980 68 0 0 25 0 1 0 1846115325 24989696 2102 4294967295 134512640 134702520 3221223712 3221107008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6101 2102 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 518.71
Current children cumulated vsize (Kb) 26532

[startup+540.042 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2131 0 0 0 6981 68 0 0 25 0 1 0 1846115325 24989696 2102 4294967295 134512640 134702520 3221223712 3220742528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6101 2102 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 528.72
Current children cumulated vsize (Kb) 26532

[startup+550.043 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2153 0 0 0 7927 85 0 0 25 0 1 0 1846115325 24989696 2124 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6101 2124 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 538.35
Current children cumulated vsize (Kb) 26532

[startup+560.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2163 0 0 0 8901 96 0 0 25 0 1 0 1846115325 24989696 2134 4294967295 134512640 134702520 3221223712 3221044908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6101 2134 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 548.2
Current children cumulated vsize (Kb) 26532

[startup+570.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2163 0 0 0 9901 96 0 0 25 0 1 0 1846115325 24989696 2134 4294967295 134512640 134702520 3221223712 3220671948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6101 2134 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 558.2
Current children cumulated vsize (Kb) 26532

[startup+580.045 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) T 30329 30329 19316 0 -1 0 2187 0 0 0 10845 115 0 0 25 0 1 0 1846115325 24989696 2158 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6101 2158 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 567.83
Current children cumulated vsize (Kb) 26532

[startup+590.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2202 0 0 0 11805 129 0 0 25 0 1 0 1846115325 24989696 2173 4294967295 134512640 134702520 3221223712 3221074208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6101 2173 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 577.57
Current children cumulated vsize (Kb) 26532

[startup+600.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2202 0 0 0 12805 129 0 0 25 0 1 0 1846115325 24989696 2173 4294967295 134512640 134702520 3221223712 3220750208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6101 2173 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 587.57
Current children cumulated vsize (Kb) 26532

[startup+610.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2225 0 0 0 13754 146 0 0 25 0 1 0 1846115325 25067520 2196 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6120 2196 413 48 0 6072 0
[pid=30334] vsize: 24480
Current children cumulated CPU time (s) 597.23
Current children cumulated vsize (Kb) 26608

[startup+620.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2248 0 0 0 14713 161 0 0 25 0 1 0 1846115325 25067520 2219 4294967295 134512640 134702520 3221223712 3221006992 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6120 2219 413 48 0 6072 0
[pid=30334] vsize: 24480
Current children cumulated CPU time (s) 606.97
Current children cumulated vsize (Kb) 26608

[startup+630.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2248 0 0 0 15713 161 0 0 25 0 1 0 1846115325 25067520 2219 4294967295 134512640 134702520 3221223712 3220408108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6120 2219 413 48 0 6072 0
[pid=30334] vsize: 24480
Current children cumulated CPU time (s) 616.97
Current children cumulated vsize (Kb) 26608

[startup+640.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2310 0 0 0 16620 193 0 0 25 0 1 0 1846115325 25133056 2281 4294967295 134512640 134702520 3221223712 3221222976 134553215 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6136 2281 413 48 0 6088 0
[pid=30334] vsize: 24544
Current children cumulated CPU time (s) 626.36
Current children cumulated vsize (Kb) 26672

[startup+650.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2315 0 0 0 17607 197 0 0 25 0 1 0 1846115325 25133056 2286 4294967295 134512640 134702520 3221223712 3220923008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6136 2286 413 48 0 6088 0
[pid=30334] vsize: 24544
Current children cumulated CPU time (s) 636.27
Current children cumulated vsize (Kb) 26672

[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2316 0 0 0 18589 203 0 0 25 0 1 0 1846115325 25133056 2287 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6136 2287 413 48 0 6088 0
[pid=30334] vsize: 24544
Current children cumulated CPU time (s) 646.15
Current children cumulated vsize (Kb) 26672

[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2316 0 0 0 19509 227 0 0 25 0 1 0 1846115325 25133056 2287 4294967295 134512640 134702520 3221223712 3221148288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6136 2287 413 48 0 6088 0
[pid=30334] vsize: 24544
Current children cumulated CPU time (s) 655.59
Current children cumulated vsize (Kb) 26672

[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2316 0 0 0 20509 227 0 0 25 0 1 0 1846115325 25133056 2287 4294967295 134512640 134702520 3221223712 3220865888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6136 2287 413 48 0 6088 0
[pid=30334] vsize: 24544
Current children cumulated CPU time (s) 665.59
Current children cumulated vsize (Kb) 26672

[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) T 30329 30329 19316 0 -1 0 2317 0 0 0 21486 235 0 0 19 0 1 0 1846115325 25202688 2288 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6153 2288 413 48 0 6105 0
[pid=30334] vsize: 24612
Current children cumulated CPU time (s) 675.44
Current children cumulated vsize (Kb) 26740

[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2319 0 0 0 22422 257 0 0 25 0 1 0 1846115325 25202688 2290 4294967295 134512640 134702520 3221223712 3221111468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6153 2290 413 48 0 6105 0
[pid=30334] vsize: 24612
Current children cumulated CPU time (s) 685.02
Current children cumulated vsize (Kb) 26740

[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2319 0 0 0 23422 257 0 0 25 0 1 0 1846115325 25202688 2290 4294967295 134512640 134702520 3221223712 3220763648 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6153 2290 413 48 0 6105 0
[pid=30334] vsize: 24612
Current children cumulated CPU time (s) 695.02
Current children cumulated vsize (Kb) 26740

[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) T 30329 30329 19316 0 -1 0 2322 0 0 0 24393 267 0 0 18 0 1 0 1846115325 25206784 2293 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6154 2293 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 704.83
Current children cumulated vsize (Kb) 26744

[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2323 0 0 0 25331 288 0 0 25 0 1 0 1846115325 25206784 2294 4294967295 134512640 134702520 3221223712 3221118848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6154 2294 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 714.42
Current children cumulated vsize (Kb) 26744

[startup+740.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2323 0 0 0 26331 288 0 0 25 0 1 0 1846115325 25206784 2294 4294967295 134512640 134702520 3221223712 3220601708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6154 2294 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 724.42
Current children cumulated vsize (Kb) 26744

[startup+750.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2335 0 0 0 27292 302 0 0 25 0 1 0 1846115325 25206784 2306 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6154 2306 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 734.17
Current children cumulated vsize (Kb) 26744

[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2357 0 0 0 28246 318 0 0 25 0 1 0 1846115325 25206784 2328 4294967295 134512640 134702520 3221223712 3221070528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6154 2328 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 743.87
Current children cumulated vsize (Kb) 26744

[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2357 0 0 0 29246 318 0 0 25 0 1 0 1846115325 25206784 2328 4294967295 134512640 134702520 3221223712 3220706828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6154 2328 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 753.87
Current children cumulated vsize (Kb) 26744

[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2360 0 0 0 30203 333 0 0 25 0 1 0 1846115325 25206784 2331 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6154 2331 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 763.59
Current children cumulated vsize (Kb) 26744

[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2363 0 0 0 31147 351 0 0 25 0 1 0 1846115325 25206784 2334 4294967295 134512640 134702520 3221223712 3221096108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6154 2334 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 773.21
Current children cumulated vsize (Kb) 26744

[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2363 0 0 0 32147 351 0 0 25 0 1 0 1846115325 25206784 2334 4294967295 134512640 134702520 3221223712 3220770348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6154 2334 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 783.21
Current children cumulated vsize (Kb) 26744

[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2363 0 0 0 33147 351 0 0 25 0 1 0 1846115325 25206784 2334 4294967295 134512640 134702520 3221223712 3220164128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6154 2334 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 793.21
Current children cumulated vsize (Kb) 26744

[startup+820.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2383 0 0 0 34064 379 0 0 25 0 1 0 1846115325 25272320 2354 4294967295 134512640 134702520 3221223712 3221103148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6170 2354 413 48 0 6122 0
[pid=30334] vsize: 24680
Current children cumulated CPU time (s) 802.66
Current children cumulated vsize (Kb) 26808

[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2389 0 0 0 35052 384 0 0 25 0 1 0 1846115325 25423872 2360 4294967295 134512640 134702520 3221223712 3221222736 134552778 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6207 2360 413 48 0 6159 0
[pid=30334] vsize: 24828
Current children cumulated CPU time (s) 812.59
Current children cumulated vsize (Kb) 26956
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=30334) exited with status: 2
New process pid=30335
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=30335) exited with status: 0
New process pid=30336
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+840.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 1704 0 0 0 522 7 0 0 25 0 1 0 1846151953 9596928 1676 4294967295 134512640 134702520 3221223712 3221144668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 2343 1676 413 48 0 2295 0
[pid=30336] vsize: 9372
Current children cumulated CPU time (s) 822.44
Current children cumulated vsize (Kb) 11500

[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 1704 0 0 0 1522 7 0 0 25 0 1 0 1846151953 9596928 1676 4294967295 134512640 134702520 3221223712 3220904208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 2343 1676 413 48 0 2295 0
[pid=30336] vsize: 9372
Current children cumulated CPU time (s) 832.44
Current children cumulated vsize (Kb) 11500

[startup+860.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 1754 0 0 0 2522 7 0 0 25 0 1 0 1846151953 9801728 1726 4294967295 134512640 134702520 3221223712 3220543548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 2393 1726 413 48 0 2345 0
[pid=30336] vsize: 9572
Current children cumulated CPU time (s) 842.44
Current children cumulated vsize (Kb) 11700

[startup+870.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2047 0 0 0 3457 30 0 0 25 0 1 0 1846151953 20111360 2019 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4910 2019 413 48 0 4862 0
[pid=30336] vsize: 19640
Current children cumulated CPU time (s) 852.02
Current children cumulated vsize (Kb) 21768

[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2070 0 0 0 4425 43 0 0 25 0 1 0 1846151953 20111360 2042 4294967295 134512640 134702520 3221223712 3221064428 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4910 2042 413 48 0 4862 0
[pid=30336] vsize: 19640
Current children cumulated CPU time (s) 861.83
Current children cumulated vsize (Kb) 21768

[startup+890.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2070 0 0 0 5425 43 0 0 25 0 1 0 1846151953 20111360 2042 4294967295 134512640 134702520 3221223712 3220780128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4910 2042 413 48 0 4862 0
[pid=30336] vsize: 19640
Current children cumulated CPU time (s) 871.83
Current children cumulated vsize (Kb) 21768

[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2070 0 0 0 6425 43 0 0 25 0 1 0 1846151953 20111360 2042 4294967295 134512640 134702520 3221223712 3220243628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4910 2042 413 48 0 4862 0
[pid=30336] vsize: 19640
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (Kb) 21768

[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2131 0 0 0 7309 83 0 0 25 0 1 0 1846151953 20246528 2103 4294967295 134512640 134702520 3221223712 3221181708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4943 2103 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 891.07
Current children cumulated vsize (Kb) 21900

[startup+920.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2131 0 0 0 8309 83 0 0 25 0 1 0 1846151953 20246528 2103 4294967295 134512640 134702520 3221223712 3220979648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4943 2103 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 901.07
Current children cumulated vsize (Kb) 21900

[startup+930.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2131 0 0 0 9309 84 0 0 25 0 1 0 1846151953 20246528 2103 4294967295 134512640 134702520 3221223712 3220673728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4943 2103 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 911.08
Current children cumulated vsize (Kb) 21900

[startup+940.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2144 0 0 0 10286 92 0 0 25 0 1 0 1846151953 20246528 2116 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4943 2116 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 920.93
Current children cumulated vsize (Kb) 21900

[startup+950.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2186 0 0 0 11215 117 0 0 25 0 1 0 1846151953 20246528 2158 4294967295 134512640 134702520 3221223712 3221149708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4943 2158 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 930.47
Current children cumulated vsize (Kb) 21900

[startup+960.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2186 0 0 0 12215 117 0 0 25 0 1 0 1846151953 20246528 2158 4294967295 134512640 134702520 3221223712 3220884268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4943 2158 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 940.47
Current children cumulated vsize (Kb) 21900

[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2186 0 0 0 13215 117 0 0 25 0 1 0 1846151953 20246528 2158 4294967295 134512640 134702520 3221223712 3220548288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4943 2158 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 950.47
Current children cumulated vsize (Kb) 21900

[startup+980.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2218 0 0 0 14143 142 0 0 25 0 1 0 1846151953 20320256 2190 4294967295 134512640 134702520 3221223712 3221222992 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4961 2190 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 960
Current children cumulated vsize (Kb) 21972

[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2232 0 0 0 15112 152 0 0 25 0 1 0 1846151953 20320256 2204 4294967295 134512640 134702520 3221223712 3221057568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4961 2204 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 969.79
Current children cumulated vsize (Kb) 21972

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2232 0 0 0 16112 152 0 0 25 0 1 0 1846151953 20320256 2204 4294967295 134512640 134702520 3221223712 3220771808 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4961 2204 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 979.79
Current children cumulated vsize (Kb) 21972

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2232 0 0 0 17112 152 0 0 25 0 1 0 1846151953 20320256 2204 4294967295 134512640 134702520 3221223712 3220205088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4961 2204 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 989.79
Current children cumulated vsize (Kb) 21972

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2265 0 0 0 18016 185 0 0 25 0 1 0 1846151953 20320256 2237 4294967295 134512640 134702520 3221223712 3221198848 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4961 2237 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 999.16
Current children cumulated vsize (Kb) 21972

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2265 0 0 0 19016 185 0 0 25 0 1 0 1846151953 20320256 2237 4294967295 134512640 134702520 3221223712 3220943148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4961 2237 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 1009.16
Current children cumulated vsize (Kb) 21972

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2265 0 0 0 20016 185 0 0 25 0 1 0 1846151953 20320256 2237 4294967295 134512640 134702520 3221223712 3220626508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4961 2237 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 1019.16
Current children cumulated vsize (Kb) 21972

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2279 0 0 0 20974 200 0 0 25 0 1 0 1846151953 20418560 2251 4294967295 134512640 134702520 3221223712 3221222992 134552748 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4985 2251 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1028.89
Current children cumulated vsize (Kb) 22068

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2301 0 0 0 21913 223 0 0 25 0 1 0 1846151953 20418560 2273 4294967295 134512640 134702520 3221223712 3221118208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4985 2273 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1038.51
Current children cumulated vsize (Kb) 22068

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2301 0 0 0 22913 223 0 0 25 0 1 0 1846151953 20418560 2273 4294967295 134512640 134702520 3221223712 3220845408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2273 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1048.51
Current children cumulated vsize (Kb) 22068

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2301 0 0 0 23913 223 0 0 25 0 1 0 1846151953 20418560 2273 4294967295 134512640 134702520 3221223712 3220454528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2273 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1058.51
Current children cumulated vsize (Kb) 22068

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) T 30329 30329 19316 0 -1 0 2303 0 0 0 24816 258 0 0 25 0 1 0 1846151953 20418560 2275 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4985 2275 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1067.89
Current children cumulated vsize (Kb) 22068

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2303 0 0 0 25786 266 0 0 25 0 1 0 1846151953 20418560 2275 4294967295 134512640 134702520 3221223712 3221044448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2275 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1077.67
Current children cumulated vsize (Kb) 22068

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2303 0 0 0 26787 266 0 0 25 0 1 0 1846151953 20418560 2275 4294967295 134512640 134702520 3221223712 3220755468 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2275 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1087.68
Current children cumulated vsize (Kb) 22068

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2303 0 0 0 27787 266 0 0 25 0 1 0 1846151953 20418560 2275 4294967295 134512640 134702520 3221223712 3220127788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2275 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1097.68
Current children cumulated vsize (Kb) 22068

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2306 0 0 0 28686 298 0 0 25 0 1 0 1846151953 20418560 2278 4294967295 134512640 134702520 3221223712 3221190048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2278 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1106.99
Current children cumulated vsize (Kb) 22068

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2306 0 0 0 29686 298 0 0 25 0 1 0 1846151953 20418560 2278 4294967295 134512640 134702520 3221223712 3220932768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2278 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1116.99
Current children cumulated vsize (Kb) 22068

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2306 0 0 0 30686 298 0 0 25 0 1 0 1846151953 20418560 2278 4294967295 134512640 134702520 3221223712 3220613088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2278 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1126.99
Current children cumulated vsize (Kb) 22068

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2307 0 0 0 31636 315 0 0 25 0 1 0 1846151953 20418560 2279 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4985 2279 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1136.66
Current children cumulated vsize (Kb) 22068

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2317 0 0 0 32572 336 0 0 25 0 1 0 1846151953 20418560 2289 4294967295 134512640 134702520 3221223712 3221127168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2289 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1146.23
Current children cumulated vsize (Kb) 22068

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2317 0 0 0 33573 336 0 0 25 0 1 0 1846151953 20418560 2289 4294967295 134512640 134702520 3221223712 3220857228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2289 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1156.24
Current children cumulated vsize (Kb) 22068

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2317 0 0 0 34573 336 0 0 25 0 1 0 1846151953 20418560 2289 4294967295 134512640 134702520 3221223712 3220484928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2289 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1166.24
Current children cumulated vsize (Kb) 22068

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) T 30329 30329 19316 0 -1 0 2323 0 0 0 35500 363 0 0 25 0 1 0 1846151953 20496384 2295 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30336/statm): 5004 2295 413 48 0 4956 0
[pid=30336] vsize: 20016
Current children cumulated CPU time (s) 1175.78
Current children cumulated vsize (Kb) 22144

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2329 0 0 0 36477 371 0 0 25 0 1 0 1846151953 20496384 2301 4294967295 134512640 134702520 3221223712 3221042188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 5004 2301 413 48 0 4956 0
[pid=30336] vsize: 20016
Current children cumulated CPU time (s) 1185.63
Current children cumulated vsize (Kb) 22144

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2329 0 0 0 37477 371 0 0 25 0 1 0 1846151953 20496384 2301 4294967295 134512640 134702520 3221223712 3220752768 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 5004 2301 413 48 0 4956 0
[pid=30336] vsize: 20016
Current children cumulated CPU time (s) 1195.63
Current children cumulated vsize (Kb) 22144

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2329 0 0 0 38478 371 0 0 25 0 1 0 1846151953 20496384 2301 4294967295 134512640 134702520 3221223712 3220081888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 5004 2301 413 48 0 4956 0
[pid=30336] vsize: 20016
Current children cumulated CPU time (s) 1205.64
Current children cumulated vsize (Kb) 22144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2329 0 0 0 38478 371 0 0 25 0 1 0 1846151953 20496384 2301 4294967295 134512640 134702520 3221223712 3220081548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 5004 2301 413 48 0 4956 0
[pid=30336] vsize: 20016
Current children cumulated CPU time (s) 1205.64
Current children cumulated vsize (Kb) 22144

Sending SIGTERM to -30329
Sleeping 2 seconds
New process pid=30338
New process pid=30339
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/32036/stat
open syscall for file /proc/32036/status
open syscall for file /proc/32036/cmdline
open syscall for file /proc/32036/environ
open syscall for file /proc/1866/stat
open syscall for file /proc/1866/status
open syscall for file /proc/1866/cmdline
open syscall for file /proc/1866/environ
open syscall for file /proc/1893/stat
open syscall for file /proc/1893/status
open syscall for file /proc/1893/cmdline
open syscall for file /proc/1893/environ
open syscall for file /proc/1917/stat
open syscall for file /proc/1917/status
open syscall for file /proc/1917/cmdline
open syscall for file /proc/1917/environ
open syscall for file /proc/12510/stat
open syscall for file /proc/12510/status
open syscall for file /proc/12510/cmdline
open syscall for file /proc/12510/environ
open syscall for file /proc/16403/stat
open syscall for file /proc/16403/status
open syscall for file /proc/16403/cmdline
open syscall for file /proc/16403/environ
open syscall for file /proc/31159/stat
open syscall for file /proc/31159/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/31159/cmdline
open syscall for file /proc/31159/environ
open syscall for file /proc/31194/stat
open syscall for file /proc/31194/status
open syscall for file /proc/31194/cmdline
open syscall for file /proc/31194/environ
open syscall for file /proc/19316/stat
open syscall for file /proc/19316/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/19316/cmdline
open syscall for file /proc/19316/environ
open syscall for file /proc/19317/stat
open syscall for file /proc/19317/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/19317/cmdline
open syscall for file /proc/19317/environ
open syscall for file /proc/19326/stat
open syscall for file /proc/19326/status
open syscall for file /proc/19326/cmdline
open syscall for file /proc/19326/environ
open syscall for file /proc/30292/stat
open syscall for file /proc/30292/status
open syscall for file /proc/30292/cmdline
open syscall for file /proc/30292/environ
open syscall for file /proc/30328/stat
open syscall for file /proc/30328/status
open syscall for file /proc/30328/cmdline
open syscall for file /proc/30328/environ
open syscall for file /proc/30329/stat
open syscall for file /proc/30329/status
open syscall for file /proc/30329/cmdline
open syscall for file /proc/30329/environ
open syscall for file /proc/30336/stat
open syscall for file /proc/30336/status
open syscall for file /proc/30336/cmdline
open syscall for file /proc/30336/environ
open syscall for file /proc/30338/stat
open syscall for file /proc/30338/status
open syscall for file /proc/30338/cmdline
open syscall for file /proc/30338/environ
open syscall for file /proc/30339/stat
open syscall for file /proc/30339/status
open syscall for file /proc/30339/cmdline
open syscall for file /proc/30339/environ
One traced child (pid=30339) exited with status: 0
One traced child (pid=30338) exited with status: 0
New process pid=30340
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
One traced child (pid=30340) exited with status: 0
New process pid=30341
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=30341) exited with status: 0
One traced child (pid=30329) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=30336) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1231.09
CPU time (s): 389.465
CPU user time (s): 385.659
CPU system time (s): 3.80542
CPU usage (%): 31.6357
Max. virtual memory (cumulated for all children) (Kb): 26956

Verifier Data

ERROR: no interpretation found !