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-rout.opb
MD5SUM46c175563919d1fe493ed3da6f49d52f
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1236960
Optimality of the best value was proved YES
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 33812000
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 166074535
Number of bits of the biggest sum of numbers28
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark716.391
Number of variables5151
Total number of constraints606
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)314
Number of constraints which are nor clauses,nor cardinality constraints292
Minimum length of a constraint1
Maximum length of a constraint617

Trace number 9283

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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:        911668 kB
Buffers:         13432 kB
Cached:          90472 kB
SwapCached:          0 kB
Active:          61096 kB
Inactive:        45692 kB
HighTotal:      131008 kB
HighFree:        37968 kB
LowTotal:       903652 kB
LowFree:        873700 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10736 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 12:31:22 (client local time) WITH STATUS 0 IN 1207.48 SECONDS
stats: 8013 7 1207.48 0

Solver Data

1:
seed: 0
Nr of vars set: 2380  (#equs: 0)
Nr of vars set: 2400  (#equs: 0)
#decisions: 114989;  #end-nodes: 43417;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 151 (151)
#axs: 338, #non-axs: 3618
tight: meta-meta: start: 5, end: 7;  meta: start: 6, end (keep): 9
loose: meta-meta: start: 7, end: 10;  meta: start: 24, end (keep): 41
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: 2410  (#equs: 0)
Time taken: 6 min, 50 sec

2:
seed: 0
Nr of vars set: 2410  (#equs: 0)
Nr of vars set: 2410  (#equs: 0)
#decisions: 366446;  #end-nodes: 103289;
#proof improvement attempts: 0;  #restarts: 457
Current batch, end-nodes: 481 / 521 (234)
#axs: 328, #non-axs: 465
tight: meta-meta: start: 3, end: 4;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10;  meta: start: 24, end (keep): 41
result: model found (1)
Model found with constant:  833310 (1263840:>=*);
#decisions: 307796;  #end-nodes: 79271;
#proof improvement attempts: 0;  #restarts: 394
Current batch, end-nodes: 109 / 218 (218)
#axs: 328, #non-axs: 499
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10;  meta: start: 24, end (keep): 41
Model found with constant:  838878 (1258272:>=*);
#decisions: 223457;  #end-nodes: 57745;
#proof improvement attempts: 0;  #restarts: 303
Current batch, end-nodes: 84 / 197 (195)
#axs: 328, #non-axs: 538
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10;  meta: start: 24, end (keep): 41
Model found with constant:  839582 (1257568:>=*);
#decisions: 532682;  #end-nodes: 151633;
#proof improvement attempts: 0;  #restarts: 628
Current batch, end-nodes: 142 / 286 (277)
#axs: 328, #non-axs: 1656
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10;  meta: start: 23, end (keep): 39
Model found with constant:  844606 (1252544:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 844606 (1252544:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2410  (#equs: 0)
Time taken: 13 min, 17 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) R 5275 5276 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20070146 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5276/statm): 174 3 169 147 0 27 0
[pid=5276] 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=5277
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=5277) exited with status: 0
New process pid=5278
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=5278) exited with status: 0
New process pid=5279
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/wulflinc24/normalized-mps-v2-13-7-rout.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0029 s]
Raw data (loadavg): 0.93 0.98 0.99 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 535 0 0 0 982 3 0 0 25 0 1 0 20070154 3579904 505 4294967295 134512640 134702520 3221223952 3221223216 134552460 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 874 505 413 48 0 826 0
[pid=5279] vsize: 3496
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (Kb) 5624

[startup+20.0046 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 773 0 0 0 1963 10 0 0 25 0 1 0 20070154 4882432 743 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1192 743 413 48 0 1144 0
[pid=5279] vsize: 4768
Current children cumulated CPU time (s) 19.74
Current children cumulated vsize (Kb) 6896

[startup+30.0053 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 842 0 0 0 2945 16 0 0 25 0 1 0 20070154 4882432 812 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1192 812 413 48 0 1144 0
[pid=5279] vsize: 4768
Current children cumulated CPU time (s) 29.62
Current children cumulated vsize (Kb) 6896

[startup+40.005 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 844 0 0 0 3932 20 0 0 25 0 1 0 20070154 4886528 814 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 814 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 39.53
Current children cumulated vsize (Kb) 6900

[startup+50.0057 s]
Raw data (loadavg): 1.04 1.00 1.00 1/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) T 5276 5276 4059 0 -1 0 849 0 0 0 4920 24 0 0 25 0 1 0 20070154 4886528 819 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 819 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 49.45
Current children cumulated vsize (Kb) 6900

[startup+60.0064 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 851 0 0 0 5910 27 0 0 25 0 1 0 20070154 4886528 821 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1193 821 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 59.38
Current children cumulated vsize (Kb) 6900

[startup+70.0081 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 884 0 0 0 6900 31 0 0 25 0 1 0 20070154 4886528 854 4294967295 134512640 134702520 3221223952 3221223232 134552523 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 854 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 69.32
Current children cumulated vsize (Kb) 6900

[startup+80.0088 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 887 0 0 0 7887 34 0 0 25 0 1 0 20070154 4886528 857 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 857 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 79.22
Current children cumulated vsize (Kb) 6900

[startup+90.0085 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 889 0 0 0 8873 38 0 0 25 0 1 0 20070154 4886528 859 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 859 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 89.12
Current children cumulated vsize (Kb) 6900

[startup+100.009 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 894 0 0 0 9865 41 0 0 25 0 1 0 20070154 4886528 864 4294967295 134512640 134702520 3221223952 3221175728 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 864 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 99.07
Current children cumulated vsize (Kb) 6900

[startup+110.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 894 0 0 0 10853 45 0 0 25 0 1 0 20070154 4886528 864 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 864 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 108.99
Current children cumulated vsize (Kb) 6900

[startup+120.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 896 0 0 0 11840 49 0 0 25 0 1 0 20070154 4886528 866 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 866 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 118.9
Current children cumulated vsize (Kb) 6900

[startup+130.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 896 0 0 0 12828 53 0 0 25 0 1 0 20070154 4886528 866 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1193 866 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 128.82
Current children cumulated vsize (Kb) 6900

[startup+140.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 898 0 0 0 13820 56 0 0 23 0 1 0 20070154 4886528 868 4294967295 134512640 134702520 3221223952 3221222976 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1193 868 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 138.77
Current children cumulated vsize (Kb) 6900

[startup+150.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 898 0 0 0 14813 59 0 0 25 0 1 0 20070154 4886528 868 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 868 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 148.73
Current children cumulated vsize (Kb) 6900

[startup+160.014 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) T 5276 5276 4059 0 -1 0 898 0 0 0 15799 64 0 0 25 0 1 0 20070154 4886528 868 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 868 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 158.64
Current children cumulated vsize (Kb) 6900

[startup+170.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 898 0 0 0 16784 70 0 0 25 0 1 0 20070154 4886528 868 4294967295 134512640 134702520 3221223952 3220888828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 868 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 168.55
Current children cumulated vsize (Kb) 6900

[startup+180.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 899 0 0 0 17769 75 0 0 25 0 1 0 20070154 4886528 869 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 869 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 178.45
Current children cumulated vsize (Kb) 6900

[startup+190.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 900 0 0 0 18752 81 0 0 25 0 1 0 20070154 4886528 870 4294967295 134512640 134702520 3221223952 3221085788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1193 870 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 188.34
Current children cumulated vsize (Kb) 6900

[startup+200.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 902 0 0 0 19740 85 0 0 25 0 1 0 20070154 4886528 872 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 872 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 198.26
Current children cumulated vsize (Kb) 6900

[startup+210.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 905 0 0 0 20728 89 0 0 25 0 1 0 20070154 4886528 875 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 875 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 208.18
Current children cumulated vsize (Kb) 6900

[startup+220.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 906 0 0 0 21713 94 0 0 25 0 1 0 20070154 4886528 876 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 876 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 218.08
Current children cumulated vsize (Kb) 6900

[startup+230.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 910 0 0 0 22695 100 0 0 25 0 1 0 20070154 4886528 880 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 880 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 227.96
Current children cumulated vsize (Kb) 6900

[startup+240.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 911 0 0 0 23679 106 0 0 25 0 1 0 20070154 4886528 881 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1193 881 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 237.86
Current children cumulated vsize (Kb) 6900

[startup+250.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 913 0 0 0 24665 110 0 0 25 0 1 0 20070154 4886528 883 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1193 883 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 247.76
Current children cumulated vsize (Kb) 6900

[startup+260.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 915 0 0 0 25653 114 0 0 25 0 1 0 20070154 4886528 885 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1193 885 413 48 0 1145 0
[pid=5279] vsize: 4772
Current children cumulated CPU time (s) 257.68
Current children cumulated vsize (Kb) 6900

[startup+270.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 918 0 0 0 26640 118 0 0 25 0 1 0 20070154 5029888 888 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1228 888 413 48 0 1180 0
[pid=5279] vsize: 4912
Current children cumulated CPU time (s) 267.59
Current children cumulated vsize (Kb) 7040

[startup+280.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 921 0 0 0 27634 119 0 0 25 0 1 0 20070154 5169152 891 4294967295 134512640 134702520 3221223952 3221222976 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 891 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 277.54
Current children cumulated vsize (Kb) 7176

[startup+290.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 921 0 0 0 28625 123 0 0 25 0 1 0 20070154 5169152 891 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 891 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 287.49
Current children cumulated vsize (Kb) 7176

[startup+300.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 922 0 0 0 29611 127 0 0 25 0 1 0 20070154 5169152 892 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 892 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 297.39
Current children cumulated vsize (Kb) 7176

[startup+310.025 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) T 5276 5276 4059 0 -1 0 925 0 0 0 30599 131 0 0 25 0 1 0 20070154 5169152 895 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 895 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 307.31
Current children cumulated vsize (Kb) 7176

[startup+320.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 930 0 0 0 31582 136 0 0 25 0 1 0 20070154 5169152 900 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 900 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 317.19
Current children cumulated vsize (Kb) 7176

[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 936 0 0 0 32566 141 0 0 25 0 1 0 20070154 5169152 906 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 906 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 327.08
Current children cumulated vsize (Kb) 7176

[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 943 0 0 0 33553 145 0 0 25 0 1 0 20070154 5169152 913 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 913 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 336.99
Current children cumulated vsize (Kb) 7176

[startup+350.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 949 0 0 0 34540 150 0 0 25 0 1 0 20070154 5169152 919 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 919 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 346.91
Current children cumulated vsize (Kb) 7176

[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 955 0 0 0 35526 156 0 0 25 0 1 0 20070154 5169152 925 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 925 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 356.83
Current children cumulated vsize (Kb) 7176

[startup+370.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 962 0 0 0 36510 161 0 0 25 0 1 0 20070154 5169152 932 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 932 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 366.72
Current children cumulated vsize (Kb) 7176

[startup+380.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 970 0 0 0 37494 167 0 0 25 0 1 0 20070154 5169152 940 4294967295 134512640 134702520 3221223952 3220993948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 940 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 376.62
Current children cumulated vsize (Kb) 7176

[startup+390.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 977 0 0 0 38483 171 0 0 25 0 1 0 20070154 5169152 947 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5279/statm): 1262 947 413 48 0 1214 0
[pid=5279] vsize: 5048
Current children cumulated CPU time (s) 386.55
Current children cumulated vsize (Kb) 7176

[startup+400.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 985 0 0 0 39469 176 0 0 25 0 1 0 20070154 5312512 955 4294967295 134512640 134702520 3221223952 3221222976 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1297 955 413 48 0 1249 0
[pid=5279] vsize: 5188
Current children cumulated CPU time (s) 396.46
Current children cumulated vsize (Kb) 7316

[startup+410.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5279
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 20070146 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 242 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5279/stat): 5279 (vallst) R 5276 5276 4059 0 -1 0 985 0 0 0 40465 178 0 0 25 0 1 0 20070154 5312512 955 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5279/statm): 1297 955 413 48 0 1249 0
[pid=5279] vsize: 5188
Current children cumulated CPU time (s) 406.44
Current children cumulated vsize (Kb) 7316
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=5279) exited with status: 2
New process pid=5280
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=5280) exited with status: 0
New process pid=5281
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+420.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 540 0 0 0 513 36 0 0 21 0 1 0 20111538 3514368 510 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 858 510 413 48 0 810 0
[pid=5281] vsize: 3432
Current children cumulated CPU time (s) 415.73
Current children cumulated vsize (Kb) 5560

[startup+430.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 540 0 0 0 1283 114 0 0 21 0 1 0 20111538 3514368 510 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 858 510 413 48 0 810 0
[pid=5281] vsize: 3432
Current children cumulated CPU time (s) 424.21
Current children cumulated vsize (Kb) 5560

[startup+440.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 906 0 0 0 2108 168 0 0 19 0 1 0 20111538 5115904 876 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1249 876 413 48 0 1201 0
[pid=5281] vsize: 4996
Current children cumulated CPU time (s) 433
Current children cumulated vsize (Kb) 7124

[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 945 0 0 0 2976 211 0 0 19 0 1 0 20111538 5115904 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1249 915 413 48 0 1201 0
[pid=5281] vsize: 4996
Current children cumulated CPU time (s) 442.11
Current children cumulated vsize (Kb) 7124

[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 949 0 0 0 3773 277 0 0 21 0 1 0 20111538 5115904 919 4294967295 134512640 134702520 3221223712 3221222900 134617742 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1249 919 413 48 0 1201 0
[pid=5281] vsize: 4996
Current children cumulated CPU time (s) 450.74
Current children cumulated vsize (Kb) 7124

[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 950 0 0 0 4508 365 0 0 19 0 1 0 20111538 5115904 920 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1249 920 413 48 0 1201 0
[pid=5281] vsize: 4996
Current children cumulated CPU time (s) 458.97
Current children cumulated vsize (Kb) 7124

[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 959 0 0 0 5374 409 0 0 22 0 1 0 20111538 5246976 929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1281 929 413 48 0 1233 0
[pid=5281] vsize: 5124
Current children cumulated CPU time (s) 468.07
Current children cumulated vsize (Kb) 7252

[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 966 0 0 0 6237 455 0 0 25 0 1 0 20111538 5246976 936 4294967295 134512640 134702520 3221223712 3220921068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1281 936 413 48 0 1233 0
[pid=5281] vsize: 5124
Current children cumulated CPU time (s) 477.16
Current children cumulated vsize (Kb) 7252

[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 968 0 0 0 6994 543 0 0 22 0 1 0 20111538 5246976 938 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1281 938 413 48 0 1233 0
[pid=5281] vsize: 5124
Current children cumulated CPU time (s) 485.61
Current children cumulated vsize (Kb) 7252

[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 970 0 0 0 7781 617 0 0 25 0 1 0 20111538 5246976 940 4294967295 134512640 134702520 3221223712 3220972268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1281 940 413 48 0 1233 0
[pid=5281] vsize: 5124
Current children cumulated CPU time (s) 494.22
Current children cumulated vsize (Kb) 7252

[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 978 0 0 0 8610 675 0 0 24 0 1 0 20111538 5246976 948 4294967295 134512640 134702520 3221223712 3221162348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1281 948 413 48 0 1233 0
[pid=5281] vsize: 5124
Current children cumulated CPU time (s) 503.09
Current children cumulated vsize (Kb) 7252

[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 986 0 0 0 9478 720 0 0 21 0 1 0 20111538 5390336 956 4294967295 134512640 134702520 3221223712 3221222608 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1316 956 413 48 0 1268 0
[pid=5281] vsize: 5264
Current children cumulated CPU time (s) 512.22
Current children cumulated vsize (Kb) 7392

[startup+540.042 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 986 0 0 0 10232 804 0 0 22 0 1 0 20111538 5390336 956 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1316 956 413 48 0 1268 0
[pid=5281] vsize: 5264
Current children cumulated CPU time (s) 520.6
Current children cumulated vsize (Kb) 7392

[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 990 0 0 0 11007 880 0 0 20 0 1 0 20111538 5365760 960 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1310 960 413 48 0 1262 0
[pid=5281] vsize: 5240
Current children cumulated CPU time (s) 529.11
Current children cumulated vsize (Kb) 7368

[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 996 0 0 0 11872 925 0 0 25 0 1 0 20111538 5365760 966 4294967295 134512640 134702520 3221223712 3220958528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1310 966 413 48 0 1262 0
[pid=5281] vsize: 5240
Current children cumulated CPU time (s) 538.21
Current children cumulated vsize (Kb) 7368

[startup+570.044 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1003 0 0 0 12699 981 0 0 21 0 1 0 20111538 5365760 973 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1310 973 413 48 0 1262 0
[pid=5281] vsize: 5240
Current children cumulated CPU time (s) 547.04
Current children cumulated vsize (Kb) 7368

[startup+580.045 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1003 0 0 0 13470 1059 0 0 21 0 1 0 20111538 5365760 973 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1310 973 413 48 0 1262 0
[pid=5281] vsize: 5240
Current children cumulated CPU time (s) 555.53
Current children cumulated vsize (Kb) 7368

[startup+590.046 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1006 0 0 0 14240 1133 0 0 19 0 1 0 20111538 5365760 976 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1310 976 413 48 0 1262 0
[pid=5281] vsize: 5240
Current children cumulated CPU time (s) 563.97
Current children cumulated vsize (Kb) 7368

[startup+600.047 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1013 0 0 0 15098 1179 0 0 25 0 1 0 20111538 5365760 983 4294967295 134512640 134702520 3221223712 3221004268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1310 983 413 48 0 1262 0
[pid=5281] vsize: 5240
Current children cumulated CPU time (s) 573.01
Current children cumulated vsize (Kb) 7368

[startup+610.048 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1019 0 0 0 15927 1236 0 0 25 0 1 0 20111538 5492736 989 4294967295 134512640 134702520 3221223712 3221133868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1341 989 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (Kb) 7492

[startup+620.048 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1021 0 0 0 16785 1282 0 0 25 0 1 0 20111538 5492736 991 4294967295 134512640 134702520 3221223712 3221125728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 991 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 590.91
Current children cumulated vsize (Kb) 7492

[startup+630.049 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1023 0 0 0 17580 1353 0 0 22 0 1 0 20111538 5492736 993 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 993 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 599.57
Current children cumulated vsize (Kb) 7492

[startup+640.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1023 0 0 0 18372 1426 0 0 25 0 1 0 20111538 5492736 993 4294967295 134512640 134702520 3221223712 3221076108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 993 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 608.22
Current children cumulated vsize (Kb) 7492

[startup+650.049 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1025 0 0 0 19208 1481 0 0 23 0 1 0 20111538 5492736 995 4294967295 134512640 134702520 3221223712 3221167468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 995 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 617.13
Current children cumulated vsize (Kb) 7492

[startup+660.05 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1027 0 0 0 20068 1524 0 0 22 0 1 0 20111538 5492736 997 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 997 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 626.16
Current children cumulated vsize (Kb) 7492

[startup+670.05 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1027 0 0 0 20838 1599 0 0 22 0 1 0 20111538 5492736 997 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 997 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 634.61
Current children cumulated vsize (Kb) 7492

[startup+680.051 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1028 0 0 0 21616 1674 0 0 20 0 1 0 20111538 5492736 998 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 998 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 643.14
Current children cumulated vsize (Kb) 7492

[startup+690.052 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1029 0 0 0 22476 1719 0 0 20 0 1 0 20111538 5492736 999 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 999 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 652.19
Current children cumulated vsize (Kb) 7492

[startup+700.053 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1033 0 0 0 23303 1779 0 0 21 0 1 0 20111538 5492736 1003 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1003 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 661.06
Current children cumulated vsize (Kb) 7492

[startup+710.054 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1033 0 0 0 24076 1858 0 0 21 0 1 0 20111538 5492736 1003 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1003 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 669.58
Current children cumulated vsize (Kb) 7492

[startup+720.054 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1034 0 0 0 24894 1917 0 0 25 0 1 0 20111538 5492736 1004 4294967295 134512640 134702520 3221223712 3220982208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1341 1004 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 678.35
Current children cumulated vsize (Kb) 7492

[startup+730.056 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1035 0 0 0 25737 1969 0 0 25 0 1 0 20111538 5492736 1005 4294967295 134512640 134702520 3221223712 3221115788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1005 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 687.3
Current children cumulated vsize (Kb) 7492

[startup+740.056 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1037 0 0 0 26553 2032 0 0 21 0 1 0 20111538 5492736 1007 4294967295 134512640 134702520 3221223712 3221222608 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1007 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 696.09
Current children cumulated vsize (Kb) 7492

[startup+750.057 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1037 0 0 0 27330 2110 0 0 19 0 1 0 20111538 5492736 1007 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1007 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 704.64
Current children cumulated vsize (Kb) 7492

[startup+760.058 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1039 0 0 0 28127 2175 0 0 18 0 1 0 20111538 5492736 1009 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1009 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 713.26
Current children cumulated vsize (Kb) 7492

[startup+770.058 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1039 0 0 0 28989 2222 0 0 19 0 1 0 20111538 5492736 1009 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1009 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 722.35
Current children cumulated vsize (Kb) 7492

[startup+780.059 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1040 0 0 0 29791 2284 0 0 22 0 1 0 20111538 5492736 1010 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1341 1010 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 730.99
Current children cumulated vsize (Kb) 7492

[startup+790.06 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1040 0 0 0 30543 2369 0 0 18 0 1 0 20111538 5492736 1010 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1341 1010 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 739.36
Current children cumulated vsize (Kb) 7492

[startup+800.062 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1041 0 0 0 31409 2413 0 0 19 0 1 0 20111538 5492736 1011 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1341 1011 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 748.46
Current children cumulated vsize (Kb) 7492

[startup+810.062 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1044 0 0 0 32287 2451 0 0 22 0 1 0 20111538 5492736 1014 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1014 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 757.62
Current children cumulated vsize (Kb) 7492

[startup+820.062 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1044 0 0 0 33064 2530 0 0 23 0 1 0 20111538 5492736 1014 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1014 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 766.18
Current children cumulated vsize (Kb) 7492

[startup+830.063 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1044 0 0 0 33862 2593 0 0 21 0 1 0 20111538 5492736 1014 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1014 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 774.79
Current children cumulated vsize (Kb) 7492

[startup+840.063 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1045 0 0 0 34720 2642 0 0 25 0 1 0 20111538 5492736 1015 4294967295 134512640 134702520 3221223712 3220942672 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1341 1015 413 48 0 1293 0
[pid=5281] vsize: 5364
Current children cumulated CPU time (s) 783.86
Current children cumulated vsize (Kb) 7492

[startup+850.065 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1047 0 0 0 35552 2699 0 0 21 0 1 0 20111538 5627904 1017 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1374 1017 413 48 0 1326 0
[pid=5281] vsize: 5496
Current children cumulated CPU time (s) 792.75
Current children cumulated vsize (Kb) 7624

[startup+860.066 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1047 0 0 0 36343 2777 0 0 22 0 1 0 20111538 5627904 1017 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1374 1017 413 48 0 1326 0
[pid=5281] vsize: 5496
Current children cumulated CPU time (s) 801.44
Current children cumulated vsize (Kb) 7624

[startup+870.066 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1047 0 0 0 37131 2846 0 0 25 0 1 0 20111538 5607424 1017 4294967295 134512640 134702520 3221223712 3221135488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1017 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 810.01
Current children cumulated vsize (Kb) 7604

[startup+880.067 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1048 0 0 0 37992 2893 0 0 24 0 1 0 20111538 5607424 1018 4294967295 134512640 134702520 3221223712 3221131008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1018 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 819.09
Current children cumulated vsize (Kb) 7604

[startup+890.068 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1049 0 0 0 38815 2947 0 0 21 0 1 0 20111538 5607424 1019 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1019 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 827.86
Current children cumulated vsize (Kb) 7604

[startup+900.068 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1049 0 0 0 39590 3020 0 0 21 0 1 0 20111538 5607424 1019 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1369 1019 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 836.34
Current children cumulated vsize (Kb) 7604

[startup+910.069 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1049 0 0 0 40412 3081 0 0 24 0 1 0 20111538 5607424 1019 4294967295 134512640 134702520 3221223712 3221158208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1019 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 845.17
Current children cumulated vsize (Kb) 7604

[startup+920.069 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1050 0 0 0 41270 3130 0 0 22 0 1 0 20111538 5607424 1020 4294967295 134512640 134702520 3221223712 3221182208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1020 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 854.24
Current children cumulated vsize (Kb) 7604

[startup+930.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1051 0 0 0 42077 3199 0 0 22 0 1 0 20111538 5607424 1021 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1369 1021 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 863
Current children cumulated vsize (Kb) 7604

[startup+940.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1051 0 0 0 42854 3278 0 0 24 0 1 0 20111538 5607424 1021 4294967295 134512640 134702520 3221223712 3221143148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1021 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 871.56
Current children cumulated vsize (Kb) 7604

[startup+950.071 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1052 0 0 0 43694 3330 0 0 19 0 1 0 20111538 5607424 1022 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1022 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 880.48
Current children cumulated vsize (Kb) 7604

[startup+960.072 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1053 0 0 0 44571 3372 0 0 22 0 1 0 20111538 5607424 1023 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1369 1023 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 889.67
Current children cumulated vsize (Kb) 7604

[startup+970.072 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1053 0 0 0 45355 3447 0 0 23 0 1 0 20111538 5607424 1023 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1023 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 898.26
Current children cumulated vsize (Kb) 7604

[startup+980.073 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1054 0 0 0 46156 3513 0 0 21 0 1 0 20111538 5607424 1024 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1024 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 906.93
Current children cumulated vsize (Kb) 7604

[startup+990.074 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1055 0 0 0 47010 3560 0 0 25 0 1 0 20111538 5607424 1025 4294967295 134512640 134702520 3221223712 3221013868 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1369 1025 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 915.94
Current children cumulated vsize (Kb) 7604

[startup+1000.07 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1060 0 0 0 47846 3616 0 0 22 0 1 0 20111538 5607424 1030 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1030 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 924.86
Current children cumulated vsize (Kb) 7604

[startup+1010.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1060 0 0 0 48634 3691 0 0 23 0 1 0 20111538 5607424 1030 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1030 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 933.49
Current children cumulated vsize (Kb) 7604

[startup+1020.08 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1061 0 0 0 49421 3763 0 0 19 0 1 0 20111538 5607424 1031 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1031 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (Kb) 7604

[startup+1030.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1063 0 0 0 50284 3810 0 0 25 0 1 0 20111538 5607424 1033 4294967295 134512640 134702520 3221223712 3220986668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1033 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 951.18
Current children cumulated vsize (Kb) 7604

[startup+1040.08 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1066 0 0 0 51113 3867 0 0 21 0 1 0 20111538 5607424 1036 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1036 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 960.04
Current children cumulated vsize (Kb) 7604

[startup+1050.08 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1066 0 0 0 51895 3941 0 0 22 0 1 0 20111538 5607424 1036 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1036 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 968.6
Current children cumulated vsize (Kb) 7604

[startup+1060.08 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1068 0 0 0 52677 4018 0 0 19 0 1 0 20111538 5607424 1038 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1038 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 977.19
Current children cumulated vsize (Kb) 7604

[startup+1070.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1069 0 0 0 53518 4073 0 0 25 0 1 0 20111538 5607424 1039 4294967295 134512640 134702520 3221223712 3221107168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1369 1039 413 48 0 1321 0
[pid=5281] vsize: 5476
Current children cumulated CPU time (s) 986.15
Current children cumulated vsize (Kb) 7604

[startup+1080.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1073 0 0 0 54359 4126 0 0 22 0 1 0 20111538 5742592 1043 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1402 1043 413 48 0 1354 0
[pid=5281] vsize: 5608
Current children cumulated CPU time (s) 995.09
Current children cumulated vsize (Kb) 7736

[startup+1090.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1073 0 0 0 55142 4201 0 0 22 0 1 0 20111538 5742592 1043 4294967295 134512640 134702520 3221223712 3221222608 134553430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1402 1043 413 48 0 1354 0
[pid=5281] vsize: 5608
Current children cumulated CPU time (s) 1003.67
Current children cumulated vsize (Kb) 7736

[startup+1100.08 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1075 0 0 0 55940 4272 0 0 25 0 1 0 20111538 5718016 1045 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1045 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1012.36
Current children cumulated vsize (Kb) 7712

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1077 0 0 0 56783 4323 0 0 23 0 1 0 20111538 5718016 1047 4294967295 134512640 134702520 3221223712 3221179308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1047 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1021.3
Current children cumulated vsize (Kb) 7712

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1078 0 0 0 57661 4360 0 0 25 0 1 0 20111538 5718016 1048 4294967295 134512640 134702520 3221223712 3221135968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1048 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1030.45
Current children cumulated vsize (Kb) 7712

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1079 0 0 0 58522 4406 0 0 22 0 1 0 20111538 5718016 1049 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1049 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1039.52
Current children cumulated vsize (Kb) 7712

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1079 0 0 0 59303 4483 0 0 21 0 1 0 20111538 5718016 1049 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1049 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1048.1
Current children cumulated vsize (Kb) 7712

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1079 0 0 0 60124 4542 0 0 25 0 1 0 20111538 5718016 1049 4294967295 134512640 134702520 3221223712 3221052588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1049 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1056.9
Current children cumulated vsize (Kb) 7712

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1080 0 0 0 60989 4585 0 0 25 0 1 0 20111538 5718016 1050 4294967295 134512640 134702520 3221223712 3221080588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1050 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1065.98
Current children cumulated vsize (Kb) 7712

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1082 0 0 0 61807 4648 0 0 22 0 1 0 20111538 5718016 1052 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1052 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1074.79
Current children cumulated vsize (Kb) 7712

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1082 0 0 0 62600 4721 0 0 21 0 1 0 20111538 5718016 1052 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1052 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1083.45
Current children cumulated vsize (Kb) 7712

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1082 0 0 0 63444 4771 0 0 25 0 1 0 20111538 5718016 1052 4294967295 134512640 134702520 3221223712 3221090348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1052 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1092.39
Current children cumulated vsize (Kb) 7712

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1082 0 0 0 64307 4819 0 0 25 0 1 0 20111538 5718016 1052 4294967295 134512640 134702520 3221223712 3221123808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1052 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1101.5
Current children cumulated vsize (Kb) 7712

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1083 0 0 0 65103 4890 0 0 22 0 1 0 20111538 5718016 1053 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1053 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1110.17
Current children cumulated vsize (Kb) 7712

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1083 0 0 0 65892 4959 0 0 25 0 1 0 20111538 5718016 1053 4294967295 134512640 134702520 3221223712 3221110688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1053 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1118.75
Current children cumulated vsize (Kb) 7712

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1083 0 0 0 66734 5012 0 0 19 0 1 0 20111538 5718016 1053 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1053 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1127.7
Current children cumulated vsize (Kb) 7712

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1084 0 0 0 67605 5053 0 0 24 0 1 0 20111538 5718016 1054 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1054 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1136.82
Current children cumulated vsize (Kb) 7712

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1085 0 0 0 68391 5128 0 0 23 0 1 0 20111538 5718016 1055 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1055 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1145.43
Current children cumulated vsize (Kb) 7712

[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1085 0 0 0 69194 5193 0 0 25 0 1 0 20111538 5718016 1055 4294967295 134512640 134702520 3221223712 3220887648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1055 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1154.11
Current children cumulated vsize (Kb) 7712

[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1085 0 0 0 69998 5256 0 0 19 0 1 0 20111538 5718016 1055 4294967295 134512640 134702520 3221223712 3221216588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1055 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1162.78
Current children cumulated vsize (Kb) 7712

[startup+1280.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1089 0 0 0 70869 5300 0 0 23 0 1 0 20111538 5718016 1059 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1059 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1171.93
Current children cumulated vsize (Kb) 7712

[startup+1290.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1089 0 0 0 71660 5369 0 0 21 0 1 0 20111538 5718016 1059 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1059 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1180.53
Current children cumulated vsize (Kb) 7712

[startup+1300.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1089 0 0 0 72467 5437 0 0 23 0 1 0 20111538 5718016 1059 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5281/statm): 1396 1059 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1189.28
Current children cumulated vsize (Kb) 7712

[startup+1310.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) R 5276 5276 4059 0 -1 0 1090 0 0 0 73301 5495 0 0 24 0 1 0 20111538 5718016 1060 4294967295 134512640 134702520 3221223712 3221166668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1060 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1198.2
Current children cumulated vsize (Kb) 7712

[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1093 0 0 0 74164 5543 0 0 24 0 1 0 20111538 5718016 1063 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1063 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1207.31
Current children cumulated vsize (Kb) 7712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1320.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5281
Raw data (/proc/5276/stat): 5276 (vallstSAT2005PB) S 5275 5276 4059 0 -1 0 378 1360 0 0 1 1 40841 181 19 0 1 0 20070146 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5276/statm): 532 248 485 147 0 385 0
[pid=5276] vsize: 2128
Raw data (/proc/5281/stat): 5281 (vallst) T 5276 5276 4059 0 -1 0 1093 0 0 0 74164 5543 0 0 24 0 1 0 20111538 5718016 1063 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5281/statm): 1396 1063 413 48 0 1348 0
[pid=5281] vsize: 5584
Current children cumulated CPU time (s) 1207.31
Current children cumulated vsize (Kb) 7712

Sending SIGTERM to -5276
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5283
New process pid=5284
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=5281) exited with status: 3
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/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/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/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/5237/stat
open syscall for file /proc/5237/status
open syscall for file /proc/5237/cmdline
open syscall for file /proc/5237/environ
open syscall for file /proc/5275/stat
open syscall for file /proc/5275/status
open syscall for file /proc/5275/cmdline
open syscall for file /proc/5275/environ
open syscall for file /proc/5276/stat
open syscall for file /proc/5276/status
open syscall for file /proc/5276/cmdline
open syscall for file /proc/5276/environ
open syscall for file /proc/5283/stat
open syscall for file /proc/5283/status
open syscall for file /proc/5283/cmdline
open syscall for file /proc/5283/environ
open syscall for file /proc/5284/stat
open syscall for file /proc/5284/status
open syscall for file /proc/5284/cmdline
open syscall for file /proc/5284/environ
One traced child (pid=5283) exited with status: 0
One traced child (pid=5284) exited with status: 0
New process pid=5285
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5285) exited with status: 0
New process pid=5286
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=5286) exited with status: 0
One traced child (pid=5276) 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): 1320.58
CPU time (s): 1207.48
CPU user time (s): 1150.14
CPU system time (s): 57.3413
CPU usage (%): 91.4354
Max. virtual memory (cumulated for all children) (Kb): 7736

Verifier Data

ERROR: no interpretation found !