Some explanations

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

General information on the benchmark

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

Trace number 9243

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.193
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:        946516 kB
Buffers:          9748 kB
Cached:          61244 kB
SwapCached:          0 kB
Active:          45188 kB
Inactive:        28668 kB
HighTotal:      131008 kB
HighFree:        65800 kB
LowTotal:       903652 kB
LowFree:        880716 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:             8696 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:08:34 (client local time) WITH STATUS 0 IN 1209.23 SECONDS
stats: 7973 7 1209.23 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 1443  (#equs: 4)
#decisions: 680173;  #end-nodes: 328824;
#proof improvement attempts: 0;  #restarts: 480
Current batch, end-nodes: 0 / 259 (199)
#axs: 1652, #non-axs: 8229
tight: meta-meta: start: 5, end: 7;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 7, end: 10;  meta: start: 24, end (keep): 40
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1547  (#equs: 5)
Time taken: 8 min, 15 sec

2:
seed: 0
Nr of vars set: 1547  (#equs: 0)
Nr of vars set: 1547  (#equs: 0)
#decisions: 1162246;  #end-nodes: 532888;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 3021 (263)
#axs: 1629, #non-axs: 3006
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 4
loose: meta-meta: start: 6, end: 8;  meta: start: 12, end (keep): 17
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1580  (#equs: 1)
Time taken: 11 min, 1 sec

3:
seed: 0
Nr of vars set: 1580  (#equs: 0)
Nr of vars set: 1580  (#equs: 0)
Interupt request received.
#decisions: 79716;  #end-nodes: 33249;
#proof improvement attempts: 0;  #restarts: 65
Current batch, end-nodes: 8834 / 9872 (176)
#axs: 1628, #non-axs: 3041
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 4
loose: meta-meta: start: 6, end: 8;  meta: start: 12, end (keep): 17
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3036  (#equs: 0)
Time taken in seconds: 50

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/4975/stat): 4975 (vallstSAT2005PB) R 4974 4975 4061 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19943894 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4975/statm): 174 3 169 147 0 27 0
[pid=4975] 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=4976
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=4976) exited with status: 0
New process pid=4977
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=4977) exited with status: 0
New process pid=4978
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/wulflinc10/normalized-mps-v2-13-7-air04.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.003 s]
Raw data (loadavg): 0.99 1.02 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 1122 0 0 0 893 35 0 0 23 0 1 0 19943903 6574080 1038 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 1605 1038 413 48 0 1557 0
[pid=4978] vsize: 6420
Current children cumulated CPU time (s) 9.3
Current children cumulated vsize (Kb) 8548

[startup+20.0036 s]
Raw data (loadavg): 0.99 1.02 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 1176 0 0 0 1760 83 0 0 25 0 1 0 19943903 12619776 1092 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3081 1092 413 48 0 3033 0
[pid=4978] vsize: 12324
Current children cumulated CPU time (s) 18.45
Current children cumulated vsize (Kb) 14452

[startup+30.0052 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 1224 0 0 0 2664 115 0 0 25 0 1 0 19943903 12709888 1140 4294967295 134512640 134702520 3221223952 3221221808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3103 1140 413 48 0 3055 0
[pid=4978] vsize: 12412
Current children cumulated CPU time (s) 27.81
Current children cumulated vsize (Kb) 14540

[startup+40.0057 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 1487 0 0 0 3572 144 0 0 25 0 1 0 19943903 12845056 1403 4294967295 134512640 134702520 3221223952 3221118908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3136 1403 413 48 0 3088 0
[pid=4978] vsize: 12544
Current children cumulated CPU time (s) 37.18
Current children cumulated vsize (Kb) 14672

[startup+50.0063 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 1506 0 0 0 4479 175 0 0 25 0 1 0 19943903 12845056 1422 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3136 1422 413 48 0 3088 0
[pid=4978] vsize: 12544
Current children cumulated CPU time (s) 46.56
Current children cumulated vsize (Kb) 14672

[startup+60.0068 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 1514 0 0 0 5390 205 0 0 25 0 1 0 19943903 13000704 1430 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3174 1430 413 48 0 3126 0
[pid=4978] vsize: 12696
Current children cumulated CPU time (s) 55.97
Current children cumulated vsize (Kb) 14824

[startup+70.0084 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 1530 0 0 0 6288 243 0 0 25 0 1 0 19943903 12972032 1446 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3167 1446 413 48 0 3119 0
[pid=4978] vsize: 12668
Current children cumulated CPU time (s) 65.33
Current children cumulated vsize (Kb) 14796

[startup+80.01 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2791 0 0 0 7201 275 0 0 25 0 1 0 19943903 13246464 2707 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3234 2707 413 48 0 3186 0
[pid=4978] vsize: 12936
Current children cumulated CPU time (s) 74.78
Current children cumulated vsize (Kb) 15064

[startup+90.0105 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2805 0 0 0 8101 307 0 0 25 0 1 0 19943903 13385728 2721 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3268 2721 413 48 0 3220 0
[pid=4978] vsize: 13072
Current children cumulated CPU time (s) 84.1
Current children cumulated vsize (Kb) 15200

[startup+100.01 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2831 0 0 0 9020 335 0 0 25 0 1 0 19943903 13389824 2747 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3269 2747 413 48 0 3221 0
[pid=4978] vsize: 13076
Current children cumulated CPU time (s) 93.57
Current children cumulated vsize (Kb) 15204

[startup+110.011 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2853 0 0 0 9921 370 0 0 25 0 1 0 19943903 13524992 2769 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3302 2769 413 48 0 3254 0
[pid=4978] vsize: 13208
Current children cumulated CPU time (s) 102.93
Current children cumulated vsize (Kb) 15336

[startup+120.011 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2881 0 0 0 10827 403 0 0 25 0 1 0 19943903 13524992 2797 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3302 2797 413 48 0 3254 0
[pid=4978] vsize: 13208
Current children cumulated CPU time (s) 112.32
Current children cumulated vsize (Kb) 15336

[startup+130.013 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2892 0 0 0 11742 434 0 0 25 0 1 0 19943903 13684736 2808 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3341 2808 413 48 0 3293 0
[pid=4978] vsize: 13364
Current children cumulated CPU time (s) 121.78
Current children cumulated vsize (Kb) 15492

[startup+140.013 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2893 0 0 0 12657 464 0 0 25 0 1 0 19943903 13627392 2809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3327 2809 413 48 0 3279 0
[pid=4978] vsize: 13308
Current children cumulated CPU time (s) 131.23
Current children cumulated vsize (Kb) 15436

[startup+150.014 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 2935 0 0 0 13568 494 0 0 25 0 1 0 19943903 13762560 2851 4294967295 134512640 134702520 3221223952 3221223232 134551062 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3360 2851 413 48 0 3312 0
[pid=4978] vsize: 13440
Current children cumulated CPU time (s) 140.64
Current children cumulated vsize (Kb) 15568

[startup+160.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 2947 0 0 0 14476 527 0 0 25 0 1 0 19943903 13762560 2863 4294967295 134512640 134702520 3221223952 3221223200 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3360 2863 413 48 0 3312 0
[pid=4978] vsize: 13440
Current children cumulated CPU time (s) 150.05
Current children cumulated vsize (Kb) 15568

[startup+170.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 2952 0 0 0 15377 562 0 0 25 0 1 0 19943903 13897728 2868 4294967295 134512640 134702520 3221223952 3221223232 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2868 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 159.41
Current children cumulated vsize (Kb) 15700

[startup+180.016 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2959 0 0 0 16295 592 0 0 25 0 1 0 19943903 13897728 2875 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2875 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 168.89
Current children cumulated vsize (Kb) 15700

[startup+190.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 2969 0 0 0 17200 627 0 0 25 0 1 0 19943903 13897728 2885 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2885 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 178.29
Current children cumulated vsize (Kb) 15700

[startup+200.028 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2982 0 0 0 18112 655 0 0 25 0 1 0 19943903 13897728 2898 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2898 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 187.69
Current children cumulated vsize (Kb) 15700

[startup+210.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2985 0 0 0 19028 685 0 0 25 0 1 0 19943903 13897728 2901 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2901 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 197.15
Current children cumulated vsize (Kb) 15700

[startup+220.029 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2987 0 0 0 19938 719 0 0 25 0 1 0 19943903 13897728 2903 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2903 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 206.59
Current children cumulated vsize (Kb) 15700

[startup+230.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 2992 0 0 0 20828 756 0 0 25 0 1 0 19943903 13897728 2908 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3393 2908 413 48 0 3345 0
[pid=4978] vsize: 13572
Current children cumulated CPU time (s) 215.86
Current children cumulated vsize (Kb) 15700

[startup+240.03 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3003 0 0 0 21739 788 0 0 19 0 1 0 19943903 14032896 2919 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3426 2919 413 48 0 3378 0
[pid=4978] vsize: 13704
Current children cumulated CPU time (s) 225.29
Current children cumulated vsize (Kb) 15832

[startup+250.031 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3013 0 0 0 22646 821 0 0 25 0 1 0 19943903 14032896 2929 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3426 2929 413 48 0 3378 0
[pid=4978] vsize: 13704
Current children cumulated CPU time (s) 234.69
Current children cumulated vsize (Kb) 15832

[startup+260.032 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3087 0 0 0 23564 850 0 0 25 0 1 0 19943903 14032896 3003 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3426 3003 413 48 0 3378 0
[pid=4978] vsize: 13704
Current children cumulated CPU time (s) 244.16
Current children cumulated vsize (Kb) 15832

[startup+270.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3168 0 0 0 24491 875 0 0 25 0 1 0 19943903 14856192 3084 4294967295 134512640 134702520 3221223952 3221223232 134557285 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3627 3084 413 48 0 3579 0
[pid=4978] vsize: 14508
Current children cumulated CPU time (s) 253.68
Current children cumulated vsize (Kb) 16636

[startup+280.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3207 0 0 0 25419 901 0 0 25 0 1 0 19943903 15011840 3123 4294967295 134512640 134702520 3221223952 3221222848 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4978/statm): 3665 3123 413 48 0 3617 0
[pid=4978] vsize: 14660
Current children cumulated CPU time (s) 263.22
Current children cumulated vsize (Kb) 16788

[startup+290.033 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3207 0 0 0 26341 931 0 0 25 0 1 0 19943903 15011840 3123 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3665 3123 413 48 0 3617 0
[pid=4978] vsize: 14660
Current children cumulated CPU time (s) 272.74
Current children cumulated vsize (Kb) 16788

[startup+300.033 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3233 0 0 0 27274 955 0 0 25 0 1 0 19943903 14983168 3149 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3658 3149 413 48 0 3610 0
[pid=4978] vsize: 14632
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (Kb) 16760

[startup+310.035 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3257 0 0 0 28204 979 0 0 25 0 1 0 19943903 15118336 3173 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3691 3173 413 48 0 3643 0
[pid=4978] vsize: 14764
Current children cumulated CPU time (s) 291.85
Current children cumulated vsize (Kb) 16892

[startup+320.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3270 0 0 0 29110 1011 0 0 25 0 1 0 19943903 15253504 3186 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3724 3186 413 48 0 3676 0
[pid=4978] vsize: 14896
Current children cumulated CPU time (s) 301.23
Current children cumulated vsize (Kb) 17024

[startup+330.036 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3300 0 0 0 30030 1037 0 0 25 0 1 0 19943903 15253504 3216 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3724 3216 413 48 0 3676 0
[pid=4978] vsize: 14896
Current children cumulated CPU time (s) 310.69
Current children cumulated vsize (Kb) 17024

[startup+340.037 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3362 0 0 0 30953 1064 0 0 25 0 1 0 19943903 15388672 3278 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3757 3278 413 48 0 3709 0
[pid=4978] vsize: 15028
Current children cumulated CPU time (s) 320.19
Current children cumulated vsize (Kb) 17156

[startup+350.037 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3427 0 0 0 31870 1093 0 0 25 0 1 0 19943903 15388672 3343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3757 3343 413 48 0 3709 0
[pid=4978] vsize: 15028
Current children cumulated CPU time (s) 329.65
Current children cumulated vsize (Kb) 17156

[startup+360.039 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3458 0 0 0 32814 1110 0 0 25 0 1 0 19943903 15523840 3374 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3790 3374 413 48 0 3742 0
[pid=4978] vsize: 15160
Current children cumulated CPU time (s) 339.26
Current children cumulated vsize (Kb) 17288

[startup+370.039 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3500 0 0 0 33760 1130 0 0 25 0 1 0 19943903 15523840 3416 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 3790 3416 413 48 0 3742 0
[pid=4978] vsize: 15160
Current children cumulated CPU time (s) 348.92
Current children cumulated vsize (Kb) 17288

[startup+380.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3558 0 0 0 34698 1150 0 0 25 0 1 0 19943903 16347136 3474 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4978/statm): 3991 3474 413 48 0 3943 0
[pid=4978] vsize: 15964
Current children cumulated CPU time (s) 358.5
Current children cumulated vsize (Kb) 18092

[startup+390.04 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3632 0 0 0 35634 1171 0 0 25 0 1 0 19943903 16486400 3548 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4025 3548 413 48 0 3977 0
[pid=4978] vsize: 16100
Current children cumulated CPU time (s) 368.07
Current children cumulated vsize (Kb) 18228

[startup+400.254 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3712 0 0 0 36577 1191 0 0 25 0 1 0 19943903 16621568 3628 4294967295 134512640 134702520 3221223952 3221223232 134550645 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4058 3628 413 48 0 4010 0
[pid=4978] vsize: 16232
Current children cumulated CPU time (s) 377.7
Current children cumulated vsize (Kb) 18360

[startup+410.255 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3766 0 0 0 37536 1205 0 0 25 0 1 0 19943903 16756736 3682 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4091 3682 413 48 0 4043 0
[pid=4978] vsize: 16364
Current children cumulated CPU time (s) 387.43
Current children cumulated vsize (Kb) 18492

[startup+420.255 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3805 0 0 0 38496 1221 0 0 25 0 1 0 19943903 16756736 3721 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4091 3721 413 48 0 4043 0
[pid=4978] vsize: 16364
Current children cumulated CPU time (s) 397.19
Current children cumulated vsize (Kb) 18492

[startup+430.256 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3833 0 0 0 39447 1239 0 0 25 0 1 0 19943903 16896000 3749 4294967295 134512640 134702520 3221223952 3221223232 134553444 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4978/statm): 4125 3749 413 48 0 4077 0
[pid=4978] vsize: 16500
Current children cumulated CPU time (s) 406.88
Current children cumulated vsize (Kb) 18628

[startup+440.256 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3861 0 0 0 40387 1260 0 0 25 0 1 0 19943903 16896000 3777 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4125 3777 413 48 0 4077 0
[pid=4978] vsize: 16500
Current children cumulated CPU time (s) 416.49
Current children cumulated vsize (Kb) 18628

[startup+450.257 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 3903 0 0 0 41305 1287 0 0 25 0 1 0 19943903 17854464 3819 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4359 3819 413 48 0 4311 0
[pid=4978] vsize: 17436
Current children cumulated CPU time (s) 425.94
Current children cumulated vsize (Kb) 19564

[startup+460.257 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3940 0 0 0 42258 1303 0 0 25 0 1 0 19943903 17854464 3856 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4359 3856 413 48 0 4311 0
[pid=4978] vsize: 17436
Current children cumulated CPU time (s) 435.63
Current children cumulated vsize (Kb) 19564

[startup+470.258 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 3974 0 0 0 43207 1323 0 0 25 0 1 0 19943903 17989632 3890 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4392 3890 413 48 0 4344 0
[pid=4978] vsize: 17568
Current children cumulated CPU time (s) 445.32
Current children cumulated vsize (Kb) 19696

[startup+480.257 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 4034 0 0 0 44142 1346 0 0 25 0 1 0 19943903 17989632 3950 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4392 3950 413 48 0 4344 0
[pid=4978] vsize: 17568
Current children cumulated CPU time (s) 454.9
Current children cumulated vsize (Kb) 19696

[startup+490.26 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 4039 0 0 0 45075 1371 0 0 25 0 1 0 19943903 17989632 3955 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4392 3955 413 48 0 4344 0
[pid=4978] vsize: 17568
Current children cumulated CPU time (s) 464.48
Current children cumulated vsize (Kb) 19696

[startup+500.261 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) R 4975 4975 4061 0 -1 0 4055 0 0 0 46011 1393 0 0 25 0 1 0 19943903 18124800 3971 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4425 3971 413 48 0 4377 0
[pid=4978] vsize: 17700
Current children cumulated CPU time (s) 474.06
Current children cumulated vsize (Kb) 19828

[startup+510.261 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 4088 0 0 0 46945 1418 0 0 25 0 1 0 19943903 18124800 4004 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4425 4004 413 48 0 4377 0
[pid=4978] vsize: 17700
Current children cumulated CPU time (s) 483.65
Current children cumulated vsize (Kb) 19828

[startup+520.262 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4978
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 330 232 0 0 1 1 0 0 17 0 1 0 19943894 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 242 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4978/stat): 4978 (vallst) T 4975 4975 4061 0 -1 0 4091 0 0 0 47864 1445 0 0 25 0 1 0 19943903 18124800 4007 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4978/statm): 4425 4007 413 48 0 4377 0
[pid=4978] vsize: 17700
Current children cumulated CPU time (s) 493.11
Current children cumulated vsize (Kb) 19828
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=4978) exited with status: 2
New process pid=4979
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=4979) exited with status: 0
New process pid=4980
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+530.261 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1054 0 0 0 637 20 0 0 25 0 1 0 19996238 6529024 1024 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 1594 1024 413 48 0 1546 0
[pid=4980] vsize: 6376
Current children cumulated CPU time (s) 502.61
Current children cumulated vsize (Kb) 8504

[startup+540.262 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1056 0 0 0 1568 48 0 0 25 0 1 0 19996238 6529024 1026 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 1594 1026 413 48 0 1546 0
[pid=4980] vsize: 6376
Current children cumulated CPU time (s) 512.2
Current children cumulated vsize (Kb) 8504

[startup+550.262 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1361 0 0 0 2472 82 0 0 25 0 1 0 19996238 12349440 1331 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3015 1331 413 48 0 2967 0
[pid=4980] vsize: 12060
Current children cumulated CPU time (s) 521.58
Current children cumulated vsize (Kb) 14188

[startup+560.263 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1449 0 0 0 3373 116 0 0 25 0 1 0 19996238 12484608 1419 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4980/statm): 3048 1419 413 48 0 3000 0
[pid=4980] vsize: 12192
Current children cumulated CPU time (s) 530.93
Current children cumulated vsize (Kb) 14320

[startup+570.264 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 1535 0 0 0 4284 146 0 0 25 0 1 0 19996238 12619776 1505 4294967295 134512640 134702520 3221223712 3221111168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3081 1505 413 48 0 3033 0
[pid=4980] vsize: 12324
Current children cumulated CPU time (s) 540.34
Current children cumulated vsize (Kb) 14452

[startup+580.263 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1556 0 0 0 5190 179 0 0 25 0 1 0 19996238 12742656 1526 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3111 1526 413 48 0 3063 0
[pid=4980] vsize: 12444
Current children cumulated CPU time (s) 549.73
Current children cumulated vsize (Kb) 14572

[startup+590.264 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1811 0 0 0 6083 215 0 0 25 0 1 0 19996238 12877824 1781 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3144 1781 413 48 0 3096 0
[pid=4980] vsize: 12576
Current children cumulated CPU time (s) 559.02
Current children cumulated vsize (Kb) 14704

[startup+600.263 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1892 0 0 0 6999 246 0 0 25 0 1 0 19996238 13037568 1862 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3183 1862 413 48 0 3135 0
[pid=4980] vsize: 12732
Current children cumulated CPU time (s) 568.49
Current children cumulated vsize (Kb) 14860

[startup+610.265 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1893 0 0 0 7920 271 0 0 25 0 1 0 19996238 13037568 1863 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3183 1863 413 48 0 3135 0
[pid=4980] vsize: 12732
Current children cumulated CPU time (s) 577.95
Current children cumulated vsize (Kb) 14860

[startup+620.265 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1900 0 0 0 8813 308 0 0 21 0 1 0 19996238 12976128 1870 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3168 1870 413 48 0 3120 0
[pid=4980] vsize: 12672
Current children cumulated CPU time (s) 587.25
Current children cumulated vsize (Kb) 14800

[startup+630.265 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1906 0 0 0 9707 345 0 0 25 0 1 0 19996238 12976128 1876 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3168 1876 413 48 0 3120 0
[pid=4980] vsize: 12672
Current children cumulated CPU time (s) 596.56
Current children cumulated vsize (Kb) 14800

[startup+640.265 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 1932 0 0 0 10599 387 0 0 25 0 1 0 19996238 13111296 1902 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3201 1902 413 48 0 3153 0
[pid=4980] vsize: 12804
Current children cumulated CPU time (s) 605.9
Current children cumulated vsize (Kb) 14932

[startup+650.266 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2738 0 0 0 11501 421 0 0 25 0 1 0 19996238 13246464 2708 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3234 2708 413 48 0 3186 0
[pid=4980] vsize: 12936
Current children cumulated CPU time (s) 615.26
Current children cumulated vsize (Kb) 15064

[startup+660.267 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2796 0 0 0 12427 446 0 0 25 0 1 0 19996238 13381632 2766 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3267 2766 413 48 0 3219 0
[pid=4980] vsize: 13068
Current children cumulated CPU time (s) 624.77
Current children cumulated vsize (Kb) 15196

[startup+670.267 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2801 0 0 0 13325 482 0 0 25 0 1 0 19996238 13496320 2771 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3295 2771 413 48 0 3247 0
[pid=4980] vsize: 13180
Current children cumulated CPU time (s) 634.11
Current children cumulated vsize (Kb) 15308

[startup+680.267 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 2804 0 0 0 14225 518 0 0 25 0 1 0 19996238 13496320 2774 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3295 2774 413 48 0 3247 0
[pid=4980] vsize: 13180
Current children cumulated CPU time (s) 643.47
Current children cumulated vsize (Kb) 15308

[startup+690.267 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 2812 0 0 0 15144 547 0 0 25 0 1 0 19996238 13496320 2782 4294967295 134512640 134702520 3221223712 3221222608 134553451 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3295 2782 413 48 0 3247 0
[pid=4980] vsize: 13180
Current children cumulated CPU time (s) 652.95
Current children cumulated vsize (Kb) 15308

[startup+700.268 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2812 0 0 0 16064 576 0 0 25 0 1 0 19996238 13496320 2782 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3295 2782 413 48 0 3247 0
[pid=4980] vsize: 13180
Current children cumulated CPU time (s) 662.44
Current children cumulated vsize (Kb) 15308

[startup+710.269 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 2823 0 0 0 16957 616 0 0 25 0 1 0 19996238 13496320 2793 4294967295 134512640 134702520 3221223712 3221222832 134591595 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 3295 2793 413 48 0 3247 0
[pid=4980] vsize: 13180
Current children cumulated CPU time (s) 671.77
Current children cumulated vsize (Kb) 15308

[startup+720.27 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 2829 0 0 0 17852 651 0 0 25 0 1 0 19996238 13496320 2799 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3295 2799 413 48 0 3247 0
[pid=4980] vsize: 13180
Current children cumulated CPU time (s) 681.07
Current children cumulated vsize (Kb) 15308

[startup+730.27 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2833 0 0 0 18763 683 0 0 25 0 1 0 19996238 13623296 2803 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3326 2803 413 48 0 3278 0
[pid=4980] vsize: 13304
Current children cumulated CPU time (s) 690.5
Current children cumulated vsize (Kb) 15432

[startup+740.271 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 2840 0 0 0 19655 724 0 0 25 0 1 0 19996238 13623296 2810 4294967295 134512640 134702520 3221223712 3221181248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3326 2810 413 48 0 3278 0
[pid=4980] vsize: 13304
Current children cumulated CPU time (s) 699.83
Current children cumulated vsize (Kb) 15432

[startup+750.272 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2847 0 0 0 20551 760 0 0 25 0 1 0 19996238 13623296 2817 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3326 2817 413 48 0 3278 0
[pid=4980] vsize: 13304
Current children cumulated CPU time (s) 709.15
Current children cumulated vsize (Kb) 15432

[startup+760.272 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2854 0 0 0 21444 797 0 0 25 0 1 0 19996238 13623296 2824 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3326 2824 413 48 0 3278 0
[pid=4980] vsize: 13304
Current children cumulated CPU time (s) 718.45
Current children cumulated vsize (Kb) 15432

[startup+770.273 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2859 0 0 0 22346 831 0 0 25 0 1 0 19996238 13778944 2829 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3364 2829 413 48 0 3316 0
[pid=4980] vsize: 13456
Current children cumulated CPU time (s) 727.81
Current children cumulated vsize (Kb) 15584

[startup+780.272 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2860 0 0 0 23262 862 0 0 25 0 1 0 19996238 13778944 2830 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3364 2830 413 48 0 3316 0
[pid=4980] vsize: 13456
Current children cumulated CPU time (s) 737.28
Current children cumulated vsize (Kb) 15584

[startup+790.273 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2871 0 0 0 24153 899 0 0 25 0 1 0 19996238 13721600 2841 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3350 2841 413 48 0 3302 0
[pid=4980] vsize: 13400
Current children cumulated CPU time (s) 746.56
Current children cumulated vsize (Kb) 15528

[startup+800.274 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2881 0 0 0 25051 937 0 0 25 0 1 0 19996238 13721600 2851 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3350 2851 413 48 0 3302 0
[pid=4980] vsize: 13400
Current children cumulated CPU time (s) 755.92
Current children cumulated vsize (Kb) 15528

[startup+810.275 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2921 0 0 0 25945 974 0 0 25 0 1 0 19996238 13856768 2891 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3383 2891 413 48 0 3335 0
[pid=4980] vsize: 13532
Current children cumulated CPU time (s) 765.23
Current children cumulated vsize (Kb) 15660

[startup+820.276 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4980
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 2986 0 0 0 26852 1006 0 0 25 0 1 0 19996238 13856768 2956 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3383 2956 413 48 0 3335 0
[pid=4980] vsize: 13532
Current children cumulated CPU time (s) 774.62
Current children cumulated vsize (Kb) 15660

[startup+830.275 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3071 0 0 0 27779 1031 0 0 25 0 1 0 19996238 14761984 3041 4294967295 134512640 134702520 3221223712 3221169568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3604 3041 413 48 0 3556 0
[pid=4980] vsize: 14416
Current children cumulated CPU time (s) 784.14
Current children cumulated vsize (Kb) 16544

[startup+840.276 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3126 0 0 0 28688 1063 0 0 25 0 1 0 19996238 14761984 3096 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3604 3096 413 48 0 3556 0
[pid=4980] vsize: 14416
Current children cumulated CPU time (s) 793.55
Current children cumulated vsize (Kb) 16544

[startup+850.276 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3221 0 0 0 29613 1090 0 0 17 0 1 0 19996238 14897152 3191 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3637 3191 413 48 0 3589 0
[pid=4980] vsize: 14548
Current children cumulated CPU time (s) 803.07
Current children cumulated vsize (Kb) 16676

[startup+860.277 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3253 0 0 0 30541 1117 0 0 25 0 1 0 19996238 15052800 3223 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3675 3223 413 48 0 3627 0
[pid=4980] vsize: 14700
Current children cumulated CPU time (s) 812.62
Current children cumulated vsize (Kb) 16828

[startup+870.277 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3319 0 0 0 31453 1145 0 0 25 0 1 0 19996238 15822848 3289 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3863 3289 413 48 0 3815 0
[pid=4980] vsize: 15452
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (Kb) 17580

[startup+880.277 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3372 0 0 0 32373 1172 0 0 25 0 1 0 19996238 15822848 3342 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3863 3342 413 48 0 3815 0
[pid=4980] vsize: 15452
Current children cumulated CPU time (s) 831.49
Current children cumulated vsize (Kb) 17580

[startup+890.278 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3380 0 0 0 33296 1199 0 0 25 0 1 0 19996238 15986688 3350 4294967295 134512640 134702520 3221223712 3221222736 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3903 3350 413 48 0 3855 0
[pid=4980] vsize: 15612
Current children cumulated CPU time (s) 840.99
Current children cumulated vsize (Kb) 17740

[startup+900.278 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4982
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3383 0 0 0 34215 1228 0 0 25 0 1 0 19996238 15986688 3353 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3903 3353 413 48 0 3855 0
[pid=4980] vsize: 15612
Current children cumulated CPU time (s) 850.47
Current children cumulated vsize (Kb) 17740

[startup+910.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/59 4985
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3383 0 0 0 35119 1264 0 0 23 0 1 0 19996238 15953920 3353 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3895 3353 413 48 0 3847 0
[pid=4980] vsize: 15580
Current children cumulated CPU time (s) 859.87
Current children cumulated vsize (Kb) 17708

[startup+920.28 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3386 0 0 0 36016 1299 0 0 25 0 1 0 19996238 15953920 3356 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3895 3356 413 48 0 3847 0
[pid=4980] vsize: 15580
Current children cumulated CPU time (s) 869.19
Current children cumulated vsize (Kb) 17708

[startup+930.28 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3390 0 0 0 36920 1332 0 0 25 0 1 0 19996238 15953920 3360 4294967295 134512640 134702520 3221223712 3221222736 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3895 3360 413 48 0 3847 0
[pid=4980] vsize: 15580
Current children cumulated CPU time (s) 878.56
Current children cumulated vsize (Kb) 17708

[startup+940.281 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3392 0 0 0 37830 1362 0 0 25 0 1 0 19996238 15953920 3362 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3895 3362 413 48 0 3847 0
[pid=4980] vsize: 15580
Current children cumulated CPU time (s) 887.96
Current children cumulated vsize (Kb) 17708

[startup+950.282 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3399 0 0 0 38733 1396 0 0 25 0 1 0 19996238 15953920 3369 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3895 3369 413 48 0 3847 0
[pid=4980] vsize: 15580
Current children cumulated CPU time (s) 897.33
Current children cumulated vsize (Kb) 17708

[startup+960.283 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3414 0 0 0 39654 1423 0 0 25 0 1 0 19996238 16089088 3384 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3928 3384 413 48 0 3880 0
[pid=4980] vsize: 15712
Current children cumulated CPU time (s) 906.81
Current children cumulated vsize (Kb) 17840

[startup+970.283 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3424 0 0 0 40583 1448 0 0 25 0 1 0 19996238 16089088 3394 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3928 3394 413 48 0 3880 0
[pid=4980] vsize: 15712
Current children cumulated CPU time (s) 916.35
Current children cumulated vsize (Kb) 17840

[startup+980.283 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5037
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3437 0 0 0 41504 1474 0 0 25 0 1 0 19996238 16089088 3407 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3928 3407 413 48 0 3880 0
[pid=4980] vsize: 15712
Current children cumulated CPU time (s) 925.82
Current children cumulated vsize (Kb) 17840

[startup+990.283 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3451 0 0 0 42431 1497 0 0 25 0 1 0 19996238 16224256 3421 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3961 3421 413 48 0 3913 0
[pid=4980] vsize: 15844
Current children cumulated CPU time (s) 935.32
Current children cumulated vsize (Kb) 17972

[startup+1000.28 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3458 0 0 0 43352 1525 0 0 25 0 1 0 19996238 16224256 3428 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3961 3428 413 48 0 3913 0
[pid=4980] vsize: 15844
Current children cumulated CPU time (s) 944.81
Current children cumulated vsize (Kb) 17972

[startup+1010.28 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3468 0 0 0 44276 1553 0 0 25 0 1 0 19996238 16224256 3438 4294967295 134512640 134702520 3221223712 3221009388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3961 3438 413 48 0 3913 0
[pid=4980] vsize: 15844
Current children cumulated CPU time (s) 954.33
Current children cumulated vsize (Kb) 17972

[startup+1020.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3475 0 0 0 45195 1583 0 0 25 0 1 0 19996238 16224256 3445 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3961 3445 413 48 0 3913 0
[pid=4980] vsize: 15844
Current children cumulated CPU time (s) 963.82
Current children cumulated vsize (Kb) 17972

[startup+1030.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3487 0 0 0 46123 1609 0 0 25 0 1 0 19996238 16359424 3457 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3994 3457 413 48 0 3946 0
[pid=4980] vsize: 15976
Current children cumulated CPU time (s) 973.36
Current children cumulated vsize (Kb) 18104

[startup+1040.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3493 0 0 0 47044 1639 0 0 25 0 1 0 19996238 16359424 3463 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 3994 3463 413 48 0 3946 0
[pid=4980] vsize: 15976
Current children cumulated CPU time (s) 982.87
Current children cumulated vsize (Kb) 18104

[startup+1050.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3499 0 0 0 47969 1665 0 0 25 0 1 0 19996238 16359424 3469 4294967295 134512640 134702520 3221223712 3221043488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 3994 3469 413 48 0 3946 0
[pid=4980] vsize: 15976
Current children cumulated CPU time (s) 992.38
Current children cumulated vsize (Kb) 18104

[startup+1060.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3503 0 0 0 48896 1690 0 0 25 0 1 0 19996238 16506880 3473 4294967295 134512640 134702520 3221223712 3221222608 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4030 3473 413 48 0 3982 0
[pid=4980] vsize: 16120
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (Kb) 18248

[startup+1070.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3503 0 0 0 49802 1724 0 0 25 0 1 0 19996238 16449536 3473 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4016 3473 413 48 0 3968 0
[pid=4980] vsize: 16064
Current children cumulated CPU time (s) 1011.3
Current children cumulated vsize (Kb) 18192

[startup+1080.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3507 0 0 0 50715 1754 0 0 25 0 1 0 19996238 16449536 3477 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4016 3477 413 48 0 3968 0
[pid=4980] vsize: 16064
Current children cumulated CPU time (s) 1020.73
Current children cumulated vsize (Kb) 18192

[startup+1090.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3510 0 0 0 51621 1788 0 0 25 0 1 0 19996238 16453632 3480 4294967295 134512640 134702520 3221223712 3221222992 134553451 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 4017 3480 413 48 0 3969 0
[pid=4980] vsize: 16068
Current children cumulated CPU time (s) 1030.13
Current children cumulated vsize (Kb) 18196

[startup+1100.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3511 0 0 0 52528 1822 0 0 25 0 1 0 19996238 16453632 3481 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 4017 3481 413 48 0 3969 0
[pid=4980] vsize: 16068
Current children cumulated CPU time (s) 1039.54
Current children cumulated vsize (Kb) 18196

[startup+1110.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3531 0 0 0 53453 1849 0 0 25 0 1 0 19996238 16576512 3501 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4047 3501 413 48 0 3999 0
[pid=4980] vsize: 16188
Current children cumulated CPU time (s) 1049.06
Current children cumulated vsize (Kb) 18316

[startup+1120.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3531 0 0 0 54357 1883 0 0 25 0 1 0 19996238 16576512 3501 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4047 3501 413 48 0 3999 0
[pid=4980] vsize: 16188
Current children cumulated CPU time (s) 1058.44
Current children cumulated vsize (Kb) 18316

[startup+1130.29 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3535 0 0 0 55265 1915 0 0 25 0 1 0 19996238 16576512 3505 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4047 3505 413 48 0 3999 0
[pid=4980] vsize: 16188
Current children cumulated CPU time (s) 1067.84
Current children cumulated vsize (Kb) 18316

[startup+1140.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3540 0 0 0 56176 1945 0 0 23 0 1 0 19996238 16576512 3510 4294967295 134512640 134702520 3221223712 3221222832 134591692 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 4047 3510 413 48 0 3999 0
[pid=4980] vsize: 16188
Current children cumulated CPU time (s) 1077.25
Current children cumulated vsize (Kb) 18316

[startup+1150.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3548 0 0 0 57076 1979 0 0 25 0 1 0 19996238 16576512 3518 4294967295 134512640 134702520 3221223712 3221222992 134557491 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 4047 3518 413 48 0 3999 0
[pid=4980] vsize: 16188
Current children cumulated CPU time (s) 1086.59
Current children cumulated vsize (Kb) 18316

[startup+1160.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3552 0 0 0 57976 2012 0 0 25 0 1 0 19996238 16576512 3522 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4980/statm): 4047 3522 413 48 0 3999 0
[pid=4980] vsize: 16188
Current children cumulated CPU time (s) 1095.92
Current children cumulated vsize (Kb) 18316

[startup+1170.29 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3577 0 0 0 58900 2040 0 0 25 0 1 0 19996238 16711680 3547 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4080 3547 413 48 0 4032 0
[pid=4980] vsize: 16320
Current children cumulated CPU time (s) 1105.44
Current children cumulated vsize (Kb) 18448

[startup+1180.29 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3587 0 0 0 59828 2068 0 0 25 0 1 0 19996238 16711680 3557 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4080 3557 413 48 0 4032 0
[pid=4980] vsize: 16320
Current children cumulated CPU time (s) 1115
Current children cumulated vsize (Kb) 18448

[startup+1190.29 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) R 4975 4975 4061 0 -1 0 3601 0 0 0 60743 2096 0 0 25 0 1 0 19996238 16846848 3571 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4113 3571 413 48 0 4065 0
[pid=4980] vsize: 16452
Current children cumulated CPU time (s) 1124.43
Current children cumulated vsize (Kb) 18580

[startup+1200.3 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3601 0 0 0 61627 2136 0 0 25 0 1 0 19996238 16846848 3571 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4113 3571 413 48 0 4065 0
[pid=4980] vsize: 16452
Current children cumulated CPU time (s) 1133.67
Current children cumulated vsize (Kb) 18580

[startup+1210.3 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3609 0 0 0 62534 2170 0 0 25 0 1 0 19996238 16846848 3579 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4113 3579 413 48 0 4065 0
[pid=4980] vsize: 16452
Current children cumulated CPU time (s) 1143.08
Current children cumulated vsize (Kb) 18580

[startup+1220.3 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5041
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 378 4466 0 0 2 1 48145 1456 18 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/4980/stat): 4980 (vallst) T 4975 4975 4061 0 -1 0 3612 0 0 0 63447 2198 0 0 25 0 1 0 19996238 16846848 3582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4980/statm): 4113 3582 413 48 0 4065 0
[pid=4980] vsize: 16452
Current children cumulated CPU time (s) 1152.49
Current children cumulated vsize (Kb) 18580
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=4980) exited with status: 2
New process pid=5042
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=5042) exited with status: 0
New process pid=5043
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+1230.3 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5043
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) R 4975 4975 4061 0 -1 0 972 0 0 0 351 15 0 0 25 0 1 0 20066556 5808128 943 4294967295 134512640 134702520 3221223712 3221222916 134548995 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5043/statm): 1418 943 413 48 0 1370 0
[pid=5043] vsize: 5672
Current children cumulated CPU time (s) 1162.02
Current children cumulated vsize (Kb) 7800

[startup+1240.3 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5043
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) T 4975 4975 4061 0 -1 0 1000 0 0 0 1270 44 0 0 25 0 1 0 20066556 5971968 971 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5043/statm): 1458 971 413 48 0 1410 0
[pid=5043] vsize: 5832
Current children cumulated CPU time (s) 1171.5
Current children cumulated vsize (Kb) 7960

[startup+1250.3 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5043
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) T 4975 4975 4061 0 -1 0 1115 0 0 0 2166 81 0 0 25 0 1 0 20066556 10338304 1086 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5043/statm): 2524 1086 413 48 0 2476 0
[pid=5043] vsize: 10096
Current children cumulated CPU time (s) 1180.83
Current children cumulated vsize (Kb) 12224

[startup+1260.3 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5043
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) T 4975 4975 4061 0 -1 0 1328 0 0 0 3050 120 0 0 25 0 1 0 20066556 10608640 1299 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5043/statm): 2590 1299 413 48 0 2542 0
[pid=5043] vsize: 10360
Current children cumulated CPU time (s) 1190.06
Current children cumulated vsize (Kb) 12488

[startup+1270.3 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5045
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) T 4975 4975 4061 0 -1 0 1374 0 0 0 3936 159 0 0 20 0 1 0 20066556 10608640 1345 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5043/statm): 2590 1345 413 48 0 2542 0
[pid=5043] vsize: 10360
Current children cumulated CPU time (s) 1199.31
Current children cumulated vsize (Kb) 12488

[startup+1280.3 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5045
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) T 4975 4975 4061 0 -1 0 2272 0 0 0 4843 195 0 0 25 0 1 0 20066556 10993664 2243 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5043/statm): 2684 2243 413 48 0 2636 0
[pid=5043] vsize: 10736
Current children cumulated CPU time (s) 1208.74
Current children cumulated vsize (Kb) 12864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.3 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5045
Raw data (/proc/4975/stat): 4975 (vallstSAT2005PB) S 4974 4975 4061 0 -1 0 417 8222 0 0 2 2 112155 3677 19 0 1 0 19943894 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4975/statm): 532 248 485 147 0 385 0
[pid=4975] vsize: 2128
Raw data (/proc/5043/stat): 5043 (vallst) T 4975 4975 4061 0 -1 0 2272 0 0 0 4843 195 0 0 25 0 1 0 20066556 10993664 2243 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5043/statm): 2684 2243 413 48 0 2636 0
[pid=5043] vsize: 10736
Current children cumulated CPU time (s) 1208.74
Current children cumulated vsize (Kb) 12864

Sending SIGTERM to -4975
Sleeping 2 seconds
New process pid=5047
New process pid=5048
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4044/stat
open syscall for file /proc/4044/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/4044/cmdline
open syscall for file /proc/4044/environ
open syscall for file /proc/4069/stat
open syscall for file /proc/4069/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/4069/cmdline
open syscall for file /proc/4069/environ
open syscall for file /proc/4936/stat
open syscall for file /proc/4936/status
open syscall for file /proc/4936/cmdline
open syscall for file /proc/4936/environ
open syscall for file /proc/4974/stat
open syscall for file /proc/4974/status
open syscall for file /proc/4974/cmdline
open syscall for file /proc/4974/environ
open syscall for file /proc/4975/stat
open syscall for file /proc/4975/status
open syscall for file /proc/4975/cmdline
open syscall for file /proc/4975/environ
open syscall for file /proc/5043/stat
open syscall for file /proc/5043/status
open syscall for file /proc/5043/cmdline
open syscall for file /proc/5043/environ
open syscall for file /proc/5047/stat
open syscall for file /proc/5047/status
open syscall for file /proc/5047/cmdline
open syscall for file /proc/5047/environ
open syscall for file /proc/5048/stat
open syscall for file /proc/5048/status
open syscall for file /proc/5048/cmdline
open syscall for file /proc/5048/environ
One traced child (pid=5047) exited with status: 0
One traced child (pid=5048) exited with status: 0
New process pid=5049
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_changing_setting.options
One traced child (pid=5043) exited with status: 3
One traced child (pid=5049) exited with status: 0
New process pid=5050
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=5050) exited with status: 0
One traced child (pid=4975) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1280.78
CPU time (s): 1209.23
CPU user time (s): 1170.37
CPU system time (s): 38.8631
CPU usage (%): 94.4135
Max. virtual memory (cumulated for all children) (Kb): 19828

Verifier Data

ERROR: no interpretation found !