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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb
MD5SUM3c3e6264ad2029dcb2dc81be78ef5988
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 13633395
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables9183
Total number of constraints632
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints592
Minimum length of a constraint1
Maximum length of a constraint260

Trace number 9399

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        940160 kB
Buffers:         13620 kB
Cached:          61180 kB
SwapCached:          0 kB
Active:          44780 kB
Inactive:        32848 kB
HighTotal:      131008 kB
HighFree:        65548 kB
LowTotal:       903652 kB
LowFree:        874612 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11268 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:37:35 (client local time) WITH STATUS 0 IN 1206.06 SECONDS
stats: 8127 7 1206.06 0

Solver Data

1:
seed: 0
Nr of vars set: 2478  (#equs: 0)
Nr of vars set: 2822  (#equs: 0)
#decisions: 173678;  #end-nodes: 20402;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 128 (127)
#axs: 726, #non-axs: 2048
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 8, end: 13;  meta: start: 27, end (keep): 44
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: 2822  (#equs: 0)
Time taken: 9 min, 38 sec

2:
seed: 0
Nr of vars set: 2822  (#equs: 0)
Nr of vars set: 2822  (#equs: 0)
Interupt request received.
#decisions: 1446509;  #end-nodes: 269699;
#proof improvement attempts: 0;  #restarts: 1025
Current batch, end-nodes: 23 / 402 (376)
#axs: 726, #non-axs: 2335
tight: meta-meta: start: 3, end: 4;  meta: start: 6, end (keep): 9
loose: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 7060  (#equs: 0)
Time taken: 10 min, 27 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/5461/stat): 5461 (vallstSAT2005PB) R 5460 5461 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20478603 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5461/statm): 174 3 169 147 0 27 0
[pid=5461] 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=5462
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=5462) exited with status: 0
New process pid=5463
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=5463) exited with status: 0
New process pid=5464
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/wulflinc18/normalized-mps-v2-13-7-bienst2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0035 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 869 0 0 0 960 12 0 0 25 0 1 0 20478609 4800512 783 4294967295 134512640 134702520 3221223952 3221223088 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1172 783 413 48 0 1124 0
[pid=5464] vsize: 4688
Current children cumulated CPU time (s) 9.74
Current children cumulated vsize (Kb) 6816

[startup+20.0054 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 885 0 0 0 1949 15 0 0 25 0 1 0 20478609 7364608 799 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1798 799 413 48 0 1750 0
[pid=5464] vsize: 7192
Current children cumulated CPU time (s) 19.66
Current children cumulated vsize (Kb) 9320

[startup+30.0063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 900 0 0 0 2935 20 0 0 25 0 1 0 20478609 7364608 814 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1798 814 413 48 0 1750 0
[pid=5464] vsize: 7192
Current children cumulated CPU time (s) 29.57
Current children cumulated vsize (Kb) 9320

[startup+40.0063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 907 0 0 0 3915 25 0 0 25 0 1 0 20478609 7364608 821 4294967295 134512640 134702520 3221223952 3221223232 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1798 821 413 48 0 1750 0
[pid=5464] vsize: 7192
Current children cumulated CPU time (s) 39.42
Current children cumulated vsize (Kb) 9320

[startup+50.0082 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 911 0 0 0 4895 31 0 0 25 0 1 0 20478609 7364608 825 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1798 825 413 48 0 1750 0
[pid=5464] vsize: 7192
Current children cumulated CPU time (s) 49.28
Current children cumulated vsize (Kb) 9320

[startup+60.0091 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 913 0 0 0 5889 34 0 0 25 0 1 0 20478609 7364608 827 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1798 827 413 48 0 1750 0
[pid=5464] vsize: 7192
Current children cumulated CPU time (s) 59.25
Current children cumulated vsize (Kb) 9320

[startup+70.0111 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 919 0 0 0 6876 39 0 0 25 0 1 0 20478609 7364608 833 4294967295 134512640 134702520 3221223952 3221063408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1798 833 413 48 0 1750 0
[pid=5464] vsize: 7192
Current children cumulated CPU time (s) 69.17
Current children cumulated vsize (Kb) 9320

[startup+80.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 932 0 0 0 7868 43 0 0 25 0 1 0 20478609 7393280 846 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 846 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 79.13
Current children cumulated vsize (Kb) 9348

[startup+90.0119 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 934 0 0 0 8851 49 0 0 25 0 1 0 20478609 7393280 848 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 848 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 89.02
Current children cumulated vsize (Kb) 9348

[startup+100.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 937 0 0 0 9835 54 0 0 25 0 1 0 20478609 7393280 851 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 851 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 98.91
Current children cumulated vsize (Kb) 9348

[startup+110.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 939 0 0 0 10824 57 0 0 25 0 1 0 20478609 7393280 853 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 853 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 108.83
Current children cumulated vsize (Kb) 9348

[startup+120.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 947 0 0 0 11812 60 0 0 25 0 1 0 20478609 7393280 861 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 861 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 118.74
Current children cumulated vsize (Kb) 9348

[startup+130.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 947 0 0 0 12800 64 0 0 25 0 1 0 20478609 7393280 861 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 861 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 128.66
Current children cumulated vsize (Kb) 9348

[startup+140.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 956 0 0 0 13785 69 0 0 25 0 1 0 20478609 7393280 870 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 870 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 138.56
Current children cumulated vsize (Kb) 9348

[startup+150.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) T 5461 5461 4060 0 -1 0 963 0 0 0 14775 72 0 0 25 0 1 0 20478609 7393280 877 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 877 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 148.49
Current children cumulated vsize (Kb) 9348

[startup+160.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 965 0 0 0 15764 76 0 0 25 0 1 0 20478609 7393280 879 4294967295 134512640 134702520 3221223952 3221061968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 879 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 158.42
Current children cumulated vsize (Kb) 9348

[startup+170.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 965 0 0 0 16749 81 0 0 25 0 1 0 20478609 7393280 879 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 879 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 168.32
Current children cumulated vsize (Kb) 9348

[startup+180.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 967 0 0 0 17730 88 0 0 25 0 1 0 20478609 7393280 881 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 881 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 178.2
Current children cumulated vsize (Kb) 9348

[startup+190.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 969 0 0 0 18728 89 0 0 25 0 1 0 20478609 7393280 883 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 883 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 188.19
Current children cumulated vsize (Kb) 9348

[startup+200.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 972 0 0 0 19719 92 0 0 25 0 1 0 20478609 7393280 886 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 886 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 198.13
Current children cumulated vsize (Kb) 9348

[startup+210.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 974 0 0 0 20714 94 0 0 25 0 1 0 20478609 7393280 888 4294967295 134512640 134702520 3221223952 3220888208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 888 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 208.1
Current children cumulated vsize (Kb) 9348

[startup+220.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 974 0 0 0 21698 98 0 0 25 0 1 0 20478609 7393280 888 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 888 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 217.98
Current children cumulated vsize (Kb) 9348

[startup+230.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 974 0 0 0 22679 104 0 0 25 0 1 0 20478609 7393280 888 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 888 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 227.85
Current children cumulated vsize (Kb) 9348

[startup+240.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 978 0 0 0 23664 108 0 0 25 0 1 0 20478609 7393280 892 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 892 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 237.74
Current children cumulated vsize (Kb) 9348

[startup+250.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1005 0 0 0 24642 116 0 0 25 0 1 0 20478609 7393280 919 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 919 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 247.6
Current children cumulated vsize (Kb) 9348

[startup+260.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1015 0 0 0 25627 121 0 0 25 0 1 0 20478609 7393280 929 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 929 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 257.5
Current children cumulated vsize (Kb) 9348

[startup+270.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1022 0 0 0 26618 125 0 0 25 0 1 0 20478609 7393280 936 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 936 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 267.45
Current children cumulated vsize (Kb) 9348

[startup+280.031 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) T 5461 5461 4060 0 -1 0 1026 0 0 0 27591 133 0 0 22 0 1 0 20478609 7393280 940 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 940 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 277.26
Current children cumulated vsize (Kb) 9348

[startup+290.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1026 0 0 0 28584 135 0 0 25 0 1 0 20478609 7393280 940 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 940 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 287.21
Current children cumulated vsize (Kb) 9348

[startup+300.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1026 0 0 0 29565 142 0 0 25 0 1 0 20478609 7393280 940 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 940 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 297.09
Current children cumulated vsize (Kb) 9348

[startup+310.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1026 0 0 0 30551 146 0 0 25 0 1 0 20478609 7393280 940 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 940 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 306.99
Current children cumulated vsize (Kb) 9348

[startup+320.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1026 0 0 0 31544 149 0 0 25 0 1 0 20478609 7393280 940 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 940 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 316.95
Current children cumulated vsize (Kb) 9348

[startup+330.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1026 0 0 0 32527 154 0 0 25 0 1 0 20478609 7393280 940 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 940 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 326.83
Current children cumulated vsize (Kb) 9348

[startup+340.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1026 0 0 0 33514 158 0 0 25 0 1 0 20478609 7393280 940 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 940 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 336.74
Current children cumulated vsize (Kb) 9348

[startup+350.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1026 0 0 0 34502 162 0 0 25 0 1 0 20478609 7393280 940 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 940 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 346.66
Current children cumulated vsize (Kb) 9348

[startup+360.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1026 0 0 0 35497 163 0 0 25 0 1 0 20478609 7393280 940 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 940 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 356.62
Current children cumulated vsize (Kb) 9348

[startup+370.041 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) T 5461 5461 4060 0 -1 0 1026 0 0 0 36484 168 0 0 25 0 1 0 20478609 7393280 940 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 940 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 366.54
Current children cumulated vsize (Kb) 9348

[startup+380.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1027 0 0 0 37467 174 0 0 25 0 1 0 20478609 7393280 941 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 941 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 376.43
Current children cumulated vsize (Kb) 9348

[startup+390.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1028 0 0 0 38458 176 0 0 25 0 1 0 20478609 7393280 942 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 942 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 386.36
Current children cumulated vsize (Kb) 9348

[startup+400.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) T 5461 5461 4060 0 -1 0 1032 0 0 0 39451 179 0 0 25 0 1 0 20478609 7393280 946 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1805 946 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 396.32
Current children cumulated vsize (Kb) 9348

[startup+410.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1035 0 0 0 40429 185 0 0 25 0 1 0 20478609 7393280 949 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 949 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 406.16
Current children cumulated vsize (Kb) 9348

[startup+420.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1038 0 0 0 41411 190 0 0 25 0 1 0 20478609 7393280 952 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 952 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 416.03
Current children cumulated vsize (Kb) 9348

[startup+430.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1041 0 0 0 42407 192 0 0 25 0 1 0 20478609 7393280 955 4294967295 134512640 134702520 3221223952 3220907868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 955 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 426.01
Current children cumulated vsize (Kb) 9348

[startup+440.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1041 0 0 0 43375 201 0 0 25 0 1 0 20478609 7393280 955 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 955 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 435.78
Current children cumulated vsize (Kb) 9348

[startup+450.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1042 0 0 0 44374 202 0 0 25 0 1 0 20478609 7393280 956 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 956 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 445.78
Current children cumulated vsize (Kb) 9348

[startup+460.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1045 0 0 0 45364 206 0 0 25 0 1 0 20478609 7393280 959 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 959 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 455.72
Current children cumulated vsize (Kb) 9348

[startup+470.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1048 0 0 0 46337 215 0 0 25 0 1 0 20478609 7393280 962 4294967295 134512640 134702520 3221223952 3221181468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 962 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 465.54
Current children cumulated vsize (Kb) 9348

[startup+480.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1049 0 0 0 47329 218 0 0 25 0 1 0 20478609 7393280 963 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1805 963 413 48 0 1757 0
[pid=5464] vsize: 7220
Current children cumulated CPU time (s) 475.49
Current children cumulated vsize (Kb) 9348

[startup+490.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1054 0 0 0 48326 218 0 0 25 0 1 0 20478609 7700480 968 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1880 968 413 48 0 1832 0
[pid=5464] vsize: 7520
Current children cumulated CPU time (s) 485.46
Current children cumulated vsize (Kb) 9648

[startup+500.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1058 0 0 0 49309 224 0 0 25 0 1 0 20478609 7700480 972 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1880 972 413 48 0 1832 0
[pid=5464] vsize: 7520
Current children cumulated CPU time (s) 495.35
Current children cumulated vsize (Kb) 9648

[startup+510.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1064 0 0 0 50291 228 0 0 25 0 1 0 20478609 7700480 978 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1880 978 413 48 0 1832 0
[pid=5464] vsize: 7520
Current children cumulated CPU time (s) 505.21
Current children cumulated vsize (Kb) 9648

[startup+520.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1067 0 0 0 51281 231 0 0 25 0 1 0 20478609 7700480 981 4294967295 134512640 134702520 3221223952 3221102608 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1880 981 413 48 0 1832 0
[pid=5464] vsize: 7520
Current children cumulated CPU time (s) 515.14
Current children cumulated vsize (Kb) 9648

[startup+530.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1068 0 0 0 52280 232 0 0 25 0 1 0 20478609 7811072 982 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1907 982 413 48 0 1859 0
[pid=5464] vsize: 7628
Current children cumulated CPU time (s) 525.14
Current children cumulated vsize (Kb) 9756

[startup+540.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1070 0 0 0 53262 237 0 0 25 0 1 0 20478609 7811072 984 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1907 984 413 48 0 1859 0
[pid=5464] vsize: 7628
Current children cumulated CPU time (s) 535.01
Current children cumulated vsize (Kb) 9756

[startup+550.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1074 0 0 0 54246 243 0 0 25 0 1 0 20478609 7811072 988 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1907 988 413 48 0 1859 0
[pid=5464] vsize: 7628
Current children cumulated CPU time (s) 544.91
Current children cumulated vsize (Kb) 9756

[startup+560.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1077 0 0 0 55239 245 0 0 25 0 1 0 20478609 7811072 991 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1907 991 413 48 0 1859 0
[pid=5464] vsize: 7628
Current children cumulated CPU time (s) 554.86
Current children cumulated vsize (Kb) 9756

[startup+570.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1085 0 0 0 56222 251 0 0 25 0 1 0 20478609 7811072 999 4294967295 134512640 134702520 3221223952 3221002108 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5464/statm): 1907 999 413 48 0 1859 0
[pid=5464] vsize: 7628
Current children cumulated CPU time (s) 564.75
Current children cumulated vsize (Kb) 9756

[startup+580.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5464
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20478603 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 242 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5464/stat): 5464 (vallst) R 5461 5461 4060 0 -1 0 1087 0 0 0 57193 261 0 0 25 0 1 0 20478609 7811072 1001 4294967295 134512640 134702520 3221223952 3221222848 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5464/statm): 1907 1001 413 48 0 1859 0
[pid=5464] vsize: 7628
Current children cumulated CPU time (s) 574.56
Current children cumulated vsize (Kb) 9756
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=5464) exited with status: 2
New process pid=5465
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=5465) exited with status: 0
New process pid=5466
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+590.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 737 0 0 0 578 14 0 0 25 0 1 0 20536994 4673536 707 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1141 707 413 48 0 1093 0
[pid=5466] vsize: 4564
Current children cumulated CPU time (s) 584.24
Current children cumulated vsize (Kb) 6692

[startup+600.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 740 0 0 0 1493 44 0 0 25 0 1 0 20536994 4673536 710 4294967295 134512640 134702520 3221223712 3221222848 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1141 710 413 48 0 1093 0
[pid=5466] vsize: 4564
Current children cumulated CPU time (s) 593.69
Current children cumulated vsize (Kb) 6692

[startup+610.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 855 0 0 0 2380 83 0 0 24 0 1 0 20536994 7245824 825 4294967295 134512640 134702520 3221223712 3221222992 134553133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1769 825 413 48 0 1721 0
[pid=5466] vsize: 7076
Current children cumulated CPU time (s) 602.95
Current children cumulated vsize (Kb) 9204

[startup+620.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 882 0 0 0 3282 113 0 0 25 0 1 0 20536994 7380992 852 4294967295 134512640 134702520 3221223712 3221195328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1802 852 413 48 0 1754 0
[pid=5466] vsize: 7208
Current children cumulated CPU time (s) 612.27
Current children cumulated vsize (Kb) 9336

[startup+630.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 889 0 0 0 4218 133 0 0 25 0 1 0 20536994 7380992 859 4294967295 134512640 134702520 3221223712 3220860908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1802 859 413 48 0 1754 0
[pid=5466] vsize: 7208
Current children cumulated CPU time (s) 621.83
Current children cumulated vsize (Kb) 9336

[startup+640.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 896 0 0 0 5128 161 0 0 25 0 1 0 20536994 7380992 866 4294967295 134512640 134702520 3221223712 3221222992 134552705 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1802 866 413 48 0 1754 0
[pid=5466] vsize: 7208
Current children cumulated CPU time (s) 631.21
Current children cumulated vsize (Kb) 9336

[startup+650.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 903 0 0 0 6032 192 0 0 25 0 1 0 20536994 7380992 873 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1802 873 413 48 0 1754 0
[pid=5466] vsize: 7208
Current children cumulated CPU time (s) 640.56
Current children cumulated vsize (Kb) 9336

[startup+660.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 903 0 0 0 6952 219 0 0 25 0 1 0 20536994 7380992 873 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1802 873 413 48 0 1754 0
[pid=5466] vsize: 7208
Current children cumulated CPU time (s) 650.03
Current children cumulated vsize (Kb) 9336

[startup+670.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 912 0 0 0 7825 260 0 0 23 0 1 0 20536994 7380992 882 4294967295 134512640 134702520 3221223712 3221194508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1802 882 413 48 0 1754 0
[pid=5466] vsize: 7208
Current children cumulated CPU time (s) 659.17
Current children cumulated vsize (Kb) 9336

[startup+680.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 915 0 0 0 8758 282 0 0 25 0 1 0 20536994 7495680 885 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1830 885 413 48 0 1782 0
[pid=5466] vsize: 7320
Current children cumulated CPU time (s) 668.72
Current children cumulated vsize (Kb) 9448

[startup+690.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 933 0 0 0 9607 331 0 0 24 0 1 0 20536994 7495680 903 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1830 903 413 48 0 1782 0
[pid=5466] vsize: 7320
Current children cumulated CPU time (s) 677.7
Current children cumulated vsize (Kb) 9448

[startup+700.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 937 0 0 0 10526 359 0 0 24 0 1 0 20536994 7495680 907 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1830 907 413 48 0 1782 0
[pid=5466] vsize: 7320
Current children cumulated CPU time (s) 687.17
Current children cumulated vsize (Kb) 9448

[startup+710.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 940 0 0 0 11443 386 0 0 25 0 1 0 20536994 7495680 910 4294967295 134512640 134702520 3221223712 3221222608 134553125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1830 910 413 48 0 1782 0
[pid=5466] vsize: 7320
Current children cumulated CPU time (s) 696.61
Current children cumulated vsize (Kb) 9448

[startup+720.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 943 0 0 0 12316 427 0 0 19 0 1 0 20536994 7495680 913 4294967295 134512640 134702520 3221223712 3221219948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1830 913 413 48 0 1782 0
[pid=5466] vsize: 7320
Current children cumulated CPU time (s) 705.75
Current children cumulated vsize (Kb) 9448

[startup+730.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 965 0 0 0 13239 453 0 0 25 0 1 0 20536994 7495680 935 4294967295 134512640 134702520 3221223712 3220843468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1830 935 413 48 0 1782 0
[pid=5466] vsize: 7320
Current children cumulated CPU time (s) 715.24
Current children cumulated vsize (Kb) 9448

[startup+740.076 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 971 0 0 0 14097 497 0 0 18 0 1 0 20536994 7610368 941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1858 941 413 48 0 1810 0
[pid=5466] vsize: 7432
Current children cumulated CPU time (s) 724.26
Current children cumulated vsize (Kb) 9560

[startup+750.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 975 0 0 0 14996 527 0 0 25 0 1 0 20536994 7610368 945 4294967295 134512640 134702520 3221223712 3221091968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1858 945 413 48 0 1810 0
[pid=5466] vsize: 7432
Current children cumulated CPU time (s) 733.55
Current children cumulated vsize (Kb) 9560

[startup+760.078 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 983 0 0 0 15888 561 0 0 25 0 1 0 20536994 7610368 953 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1858 953 413 48 0 1810 0
[pid=5466] vsize: 7432
Current children cumulated CPU time (s) 742.81
Current children cumulated vsize (Kb) 9560

[startup+770.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 983 0 0 0 16800 591 0 0 25 0 1 0 20536994 7610368 953 4294967295 134512640 134702520 3221223712 3221222608 134552319 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1858 953 413 48 0 1810 0
[pid=5466] vsize: 7432
Current children cumulated CPU time (s) 752.23
Current children cumulated vsize (Kb) 9560

[startup+780.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 988 0 0 0 17689 627 0 0 25 0 1 0 20536994 7610368 958 4294967295 134512640 134702520 3221223712 3221222992 134553512 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1858 958 413 48 0 1810 0
[pid=5466] vsize: 7432
Current children cumulated CPU time (s) 761.48
Current children cumulated vsize (Kb) 9560

[startup+790.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 993 0 0 0 18542 675 0 0 20 0 1 0 20536994 7610368 963 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1858 963 413 48 0 1810 0
[pid=5466] vsize: 7432
Current children cumulated CPU time (s) 770.49
Current children cumulated vsize (Kb) 9560

[startup+800.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 996 0 0 0 19427 712 0 0 22 0 1 0 20536994 7610368 966 4294967295 134512640 134702520 3221223712 3221194208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1858 966 413 48 0 1810 0
[pid=5466] vsize: 7432
Current children cumulated CPU time (s) 779.71
Current children cumulated vsize (Kb) 9560

[startup+810.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1001 0 0 0 20336 742 0 0 22 0 1 0 20536994 7720960 971 4294967295 134512640 134702520 3221223712 3221222992 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1885 971 413 48 0 1837 0
[pid=5466] vsize: 7540
Current children cumulated CPU time (s) 789.1
Current children cumulated vsize (Kb) 9668

[startup+820.084 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 1008 0 0 0 21242 772 0 0 25 0 1 0 20536994 7720960 978 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1885 978 413 48 0 1837 0
[pid=5466] vsize: 7540
Current children cumulated CPU time (s) 798.46
Current children cumulated vsize (Kb) 9668

[startup+830.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1008 0 0 0 22162 796 0 0 25 0 1 0 20536994 7720960 978 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1885 978 413 48 0 1837 0
[pid=5466] vsize: 7540
Current children cumulated CPU time (s) 807.9
Current children cumulated vsize (Kb) 9668

[startup+840.086 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 1010 0 0 0 23062 827 0 0 23 0 1 0 20536994 7720960 980 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1885 980 413 48 0 1837 0
[pid=5466] vsize: 7540
Current children cumulated CPU time (s) 817.21
Current children cumulated vsize (Kb) 9668

[startup+850.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1022 0 0 0 23927 872 0 0 25 0 1 0 20536994 7720960 992 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1885 992 413 48 0 1837 0
[pid=5466] vsize: 7540
Current children cumulated CPU time (s) 826.31
Current children cumulated vsize (Kb) 9668

[startup+860.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 1025 0 0 0 24811 908 0 0 23 0 1 0 20536994 7720960 995 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1885 995 413 48 0 1837 0
[pid=5466] vsize: 7540
Current children cumulated CPU time (s) 835.51
Current children cumulated vsize (Kb) 9668

[startup+870.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1037 0 0 0 25724 935 0 0 22 0 1 0 20536994 7720960 1007 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1885 1007 413 48 0 1837 0
[pid=5466] vsize: 7540
Current children cumulated CPU time (s) 844.91
Current children cumulated vsize (Kb) 9668

[startup+880.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1052 0 0 0 26622 968 0 0 25 0 1 0 20536994 7720960 1022 4294967295 134512640 134702520 3221223712 3221044448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1885 1022 413 48 0 1837 0
[pid=5466] vsize: 7540
Current children cumulated CPU time (s) 854.22
Current children cumulated vsize (Kb) 9668

[startup+890.093 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 1055 0 0 0 27518 1003 0 0 25 0 1 0 20536994 7868416 1025 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1921 1025 413 48 0 1873 0
[pid=5466] vsize: 7684
Current children cumulated CPU time (s) 863.53
Current children cumulated vsize (Kb) 9812

[startup+900.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1082 0 0 0 28394 1045 0 0 25 0 1 0 20536994 7843840 1052 4294967295 134512640 134702520 3221223712 3221106208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1915 1052 413 48 0 1867 0
[pid=5466] vsize: 7660
Current children cumulated CPU time (s) 872.71
Current children cumulated vsize (Kb) 9788

[startup+910.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1085 0 0 0 29309 1071 0 0 25 0 1 0 20536994 7843840 1055 4294967295 134512640 134702520 3221223712 3220796268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 1915 1055 413 48 0 1867 0
[pid=5466] vsize: 7660
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (Kb) 9788

[startup+920.095 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 1101 0 0 0 30208 1106 0 0 24 0 1 0 20536994 7843840 1071 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1915 1071 413 48 0 1867 0
[pid=5466] vsize: 7660
Current children cumulated CPU time (s) 891.46
Current children cumulated vsize (Kb) 9788

[startup+930.096 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 1136 0 0 0 31054 1157 0 0 23 0 1 0 20536994 8155136 1106 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5466/statm): 1991 1106 413 48 0 1943 0
[pid=5466] vsize: 7964
Current children cumulated CPU time (s) 900.43
Current children cumulated vsize (Kb) 10092

[startup+940.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1141 0 0 0 31961 1188 0 0 25 0 1 0 20536994 8269824 1111 4294967295 134512640 134702520 3221223712 3220835328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2019 1111 413 48 0 1971 0
[pid=5466] vsize: 8076
Current children cumulated CPU time (s) 909.81
Current children cumulated vsize (Kb) 10204

[startup+950.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1145 0 0 0 32851 1226 0 0 25 0 1 0 20536994 8269824 1115 4294967295 134512640 134702520 3221223712 3221222608 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 2019 1115 413 48 0 1971 0
[pid=5466] vsize: 8076
Current children cumulated CPU time (s) 919.09
Current children cumulated vsize (Kb) 10204

[startup+960.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1149 0 0 0 33741 1262 0 0 25 0 1 0 20536994 8269824 1119 4294967295 134512640 134702520 3221223712 3221142988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2019 1119 413 48 0 1971 0
[pid=5466] vsize: 8076
Current children cumulated CPU time (s) 928.35
Current children cumulated vsize (Kb) 10204

[startup+970.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1152 0 0 0 34625 1299 0 0 24 0 1 0 20536994 8269824 1122 4294967295 134512640 134702520 3221223712 3221222992 134550661 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2019 1122 413 48 0 1971 0
[pid=5466] vsize: 8076
Current children cumulated CPU time (s) 937.56
Current children cumulated vsize (Kb) 10204

[startup+980.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1156 0 0 0 35520 1335 0 0 25 0 1 0 20536994 8269824 1126 4294967295 134512640 134702520 3221223712 3221022188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2019 1126 413 48 0 1971 0
[pid=5466] vsize: 8076
Current children cumulated CPU time (s) 946.87
Current children cumulated vsize (Kb) 10204

[startup+990.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1167 0 0 0 36356 1386 0 0 21 0 1 0 20536994 8269824 1137 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 2019 1137 413 48 0 1971 0
[pid=5466] vsize: 8076
Current children cumulated CPU time (s) 955.74
Current children cumulated vsize (Kb) 10204

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1181 0 0 0 37213 1431 0 0 24 0 1 0 20536994 8396800 1151 4294967295 134512640 134702520 3221223712 3221195148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2050 1151 413 48 0 2002 0
[pid=5466] vsize: 8200
Current children cumulated CPU time (s) 964.76
Current children cumulated vsize (Kb) 10328

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1185 0 0 0 38139 1455 0 0 21 0 1 0 20536994 8396800 1155 4294967295 134512640 134702520 3221223712 3221222608 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2050 1155 413 48 0 2002 0
[pid=5466] vsize: 8200
Current children cumulated CPU time (s) 974.26
Current children cumulated vsize (Kb) 10328

[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1188 0 0 0 39006 1499 0 0 19 0 1 0 20536994 8396800 1158 4294967295 134512640 134702520 3221223712 3221205728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2050 1158 413 48 0 2002 0
[pid=5466] vsize: 8200
Current children cumulated CPU time (s) 983.37
Current children cumulated vsize (Kb) 10328

[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1190 0 0 0 39923 1527 0 0 25 0 1 0 20536994 8396800 1160 4294967295 134512640 134702520 3221223712 3221179008 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 2050 1160 413 48 0 2002 0
[pid=5466] vsize: 8200
Current children cumulated CPU time (s) 992.82
Current children cumulated vsize (Kb) 10328

[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1193 0 0 0 40818 1563 0 0 25 0 1 0 20536994 8396800 1163 4294967295 134512640 134702520 3221223712 3221060268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2050 1163 413 48 0 2002 0
[pid=5466] vsize: 8200
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (Kb) 10328

[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1198 0 0 0 41691 1608 0 0 25 0 1 0 20536994 8396800 1168 4294967295 134512640 134702520 3221223712 3220795308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 2050 1168 413 48 0 2002 0
[pid=5466] vsize: 8200
Current children cumulated CPU time (s) 1011.31
Current children cumulated vsize (Kb) 10328

[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1204 0 0 0 42565 1650 0 0 19 0 1 0 20536994 8396800 1174 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2050 1174 413 48 0 2002 0
[pid=5466] vsize: 8200
Current children cumulated CPU time (s) 1020.47
Current children cumulated vsize (Kb) 10328

[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1210 0 0 0 43456 1686 0 0 25 0 1 0 20536994 8540160 1180 4294967295 134512640 134702520 3221223712 3221222608 134553070 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2085 1180 413 48 0 2037 0
[pid=5466] vsize: 8340
Current children cumulated CPU time (s) 1029.74
Current children cumulated vsize (Kb) 10468

[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1210 0 0 0 44372 1714 0 0 25 0 1 0 20536994 8540160 1180 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 2085 1180 413 48 0 2037 0
[pid=5466] vsize: 8340
Current children cumulated CPU time (s) 1039.18
Current children cumulated vsize (Kb) 10468

[startup+1090.11 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1214 0 0 0 45234 1757 0 0 25 0 1 0 20536994 8515584 1184 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2079 1184 413 48 0 2031 0
[pid=5466] vsize: 8316
Current children cumulated CPU time (s) 1048.23
Current children cumulated vsize (Kb) 10444

[startup+1100.11 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1218 0 0 0 46131 1791 0 0 21 0 1 0 20536994 8515584 1188 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2079 1188 413 48 0 2031 0
[pid=5466] vsize: 8316
Current children cumulated CPU time (s) 1057.54
Current children cumulated vsize (Kb) 10444

[startup+1110.12 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1219 0 0 0 47076 1809 0 0 25 0 1 0 20536994 8515584 1189 4294967295 134512640 134702520 3221223712 3221089888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 2079 1189 413 48 0 2031 0
[pid=5466] vsize: 8316
Current children cumulated CPU time (s) 1067.17
Current children cumulated vsize (Kb) 10444

[startup+1120.12 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1242 0 0 0 47965 1843 0 0 25 0 1 0 20536994 8515584 1212 4294967295 134512640 134702520 3221223712 3221151008 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 2079 1212 413 48 0 2031 0
[pid=5466] vsize: 8316
Current children cumulated CPU time (s) 1076.4
Current children cumulated vsize (Kb) 10444

[startup+1130.12 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1247 0 0 0 48861 1876 0 0 25 0 1 0 20536994 8515584 1217 4294967295 134512640 134702520 3221223712 3221033728 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2079 1217 413 48 0 2031 0
[pid=5466] vsize: 8316
Current children cumulated CPU time (s) 1085.69
Current children cumulated vsize (Kb) 10444

[startup+1140.12 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1252 0 0 0 49711 1920 0 0 25 0 1 0 20536994 8515584 1222 4294967295 134512640 134702520 3221223712 3221098988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2079 1222 413 48 0 2031 0
[pid=5466] vsize: 8316
Current children cumulated CPU time (s) 1094.63
Current children cumulated vsize (Kb) 10444

[startup+1150.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1254 0 0 0 50619 1951 0 0 25 0 1 0 20536994 8654848 1224 4294967295 134512640 134702520 3221223712 3221222608 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2113 1224 413 48 0 2065 0
[pid=5466] vsize: 8452
Current children cumulated CPU time (s) 1104.02
Current children cumulated vsize (Kb) 10580

[startup+1160.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1257 0 0 0 51498 1991 0 0 25 0 1 0 20536994 8654848 1227 4294967295 134512640 134702520 3221223712 3221137888 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5466/statm): 2113 1227 413 48 0 2065 0
[pid=5466] vsize: 8452
Current children cumulated CPU time (s) 1113.21
Current children cumulated vsize (Kb) 10580

[startup+1170.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 1268 0 0 0 52361 2034 0 0 25 0 1 0 20536994 8654848 1238 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5466/statm): 2113 1238 413 48 0 2065 0
[pid=5466] vsize: 8452
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (Kb) 10580

[startup+1180.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1270 0 0 0 53262 2065 0 0 24 0 1 0 20536994 8654848 1240 4294967295 134512640 134702520 3221223712 3221217248 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2113 1240 413 48 0 2065 0
[pid=5466] vsize: 8452
Current children cumulated CPU time (s) 1131.59
Current children cumulated vsize (Kb) 10580

[startup+1190.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1280 0 0 0 54165 2096 0 0 21 0 1 0 20536994 8654848 1250 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2113 1250 413 48 0 2065 0
[pid=5466] vsize: 8452
Current children cumulated CPU time (s) 1140.93
Current children cumulated vsize (Kb) 10580

[startup+1200.13 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 1282 0 0 0 55091 2119 0 0 20 0 1 0 20536994 8654848 1252 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5466/statm): 2113 1252 413 48 0 2065 0
[pid=5466] vsize: 8452
Current children cumulated CPU time (s) 1150.42
Current children cumulated vsize (Kb) 10580

[startup+1210.13 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 1290 0 0 0 55930 2170 0 0 18 0 1 0 20536994 8654848 1260 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5466/statm): 2113 1260 413 48 0 2065 0
[pid=5466] vsize: 8452
Current children cumulated CPU time (s) 1159.32
Current children cumulated vsize (Kb) 10580

[startup+1220.13 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) T 5461 5461 4060 0 -1 0 1292 0 0 0 56848 2196 0 0 25 0 1 0 20536994 8790016 1262 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5466/statm): 2146 1262 413 48 0 2098 0
[pid=5466] vsize: 8584
Current children cumulated CPU time (s) 1168.76
Current children cumulated vsize (Kb) 10712

[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1296 0 0 0 57694 2246 0 0 20 0 1 0 20536994 8765440 1266 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2140 1266 413 48 0 2092 0
[pid=5466] vsize: 8560
Current children cumulated CPU time (s) 1177.72
Current children cumulated vsize (Kb) 10688

[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1300 0 0 0 58598 2277 0 0 25 0 1 0 20536994 8765440 1270 4294967295 134512640 134702520 3221223712 3221044448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2140 1270 413 48 0 2092 0
[pid=5466] vsize: 8560
Current children cumulated CPU time (s) 1187.07
Current children cumulated vsize (Kb) 10688

[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1304 0 0 0 59510 2307 0 0 25 0 1 0 20536994 8765440 1274 4294967295 134512640 134702520 3221223712 3221090508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2140 1274 413 48 0 2092 0
[pid=5466] vsize: 8560
Current children cumulated CPU time (s) 1196.49
Current children cumulated vsize (Kb) 10688

[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1311 0 0 0 60406 2341 0 0 24 0 1 0 20536994 8765440 1281 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2140 1281 413 48 0 2092 0
[pid=5466] vsize: 8560
Current children cumulated CPU time (s) 1205.79
Current children cumulated vsize (Kb) 10688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5466
Raw data (/proc/5461/stat): 5461 (vallstSAT2005PB) S 5460 5461 4060 0 -1 0 378 1462 0 0 1 1 57566 264 19 0 1 0 20478603 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5461/statm): 532 248 485 147 0 385 0
[pid=5461] vsize: 2128
Raw data (/proc/5466/stat): 5466 (vallst) R 5461 5461 4060 0 -1 0 1311 0 0 0 60406 2341 0 0 24 0 1 0 20536994 8765440 1281 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5466/statm): 2140 1281 413 48 0 2092 0
[pid=5466] vsize: 8560
Current children cumulated CPU time (s) 1205.79
Current children cumulated vsize (Kb) 10688

Sending SIGTERM to -5461
Sleeping 2 seconds
New process pid=5468
New process pid=5469
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/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/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/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/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/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/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/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/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5422/stat
open syscall for file /proc/5422/status
open syscall for file /proc/5422/cmdline
open syscall for file /proc/5422/environ
open syscall for file /proc/5460/stat
open syscall for file /proc/5460/status
open syscall for file /proc/5460/cmdline
open syscall for file /proc/5460/environ
open syscall for file /proc/5461/stat
open syscall for file /proc/5461/status
open syscall for file /proc/5461/cmdline
open syscall for file /proc/5461/environ
open syscall for file /proc/5466/stat
open syscall for file /proc/5466/status
open syscall for file /proc/5466/cmdline
open syscall for file /proc/5466/environ
open syscall for file /proc/5468/stat
open syscall for file /proc/5468/status
open syscall for file /proc/5468/cmdline
open syscall for file /proc/5468/environ
open syscall for file /proc/5469/stat
open syscall for file /proc/5469/status
open syscall for file /proc/5469/cmdline
open syscall for file /proc/5469/environ
One traced child (pid=5468) exited with status: 0
One traced child (pid=5469) exited with status: 0
New process pid=5470
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5466) exited with status: 3
One traced child (pid=5470) exited with status: 0
New process pid=5471
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=5471) exited with status: 0
One traced child (pid=5461) 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): 1260.62
CPU time (s): 1206.06
CPU user time (s): 1179.9
CPU system time (s): 26.159
CPU usage (%): 95.6718
Max. virtual memory (cumulated for all children) (Kb): 10712

Verifier Data

ERROR: no interpretation found !