Some explanations

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

General information on the benchmark

Nameweb/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
MD5SUMb8424149645ffb0af409a9e7aef74685
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 257
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables81558
Total number of constraints240469
Number of constraints which are clauses235865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4604
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 3561

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-19 01:43:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7328 boxname=wulflinc7 idbench=296 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b8424149645ffb0af409a9e7aef74685  /oldhome/oroussel/tmp/wulflinc7/normalized-cache-ibm-q-full.all.ucl.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc7/normalized-cache-ibm-q-full.all.ucl.opb 0
IDLAUNCH: 7328
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        888796 kB
Buffers:         36424 kB
Cached:          84556 kB
SwapCached:        740 kB
Active:          79968 kB
Inactive:        43620 kB
HighTotal:      131008 kB
HighFree:        44324 kB
LowTotal:       903652 kB
LowFree:        844472 kB
SwapTotal:     2097136 kB
SwapFree:      2095892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            16628 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 02:03:59 (client local time) WITH STATUS 0 IN 9.1976 SECONDS
stats: 7328 7 9.1976 0

Solver Data

1:
seed: 0
Nr of vars set: 1  (#equs: 0)
Nr of vars set: 939  (#equs: 2)
#decisions: 71749;  #end-nodes: 10944;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 143 (103)
#axs: 240473, #non-axs: 1744
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 970  (#equs: 5)
Time taken: 19 min, 57 sec

2:

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/31750/stat): 31750 (vallstSAT2005PB) R 31749 31750 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787825198 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31750/statm): 174 3 169 147 0 27 0
[pid=31750] 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=31751
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=31751) exited with status: 0
New process pid=31752
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=31752) exited with status: 0
New process pid=31753
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/wulflinc7/normalized-cache-ibm-q-full.all.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0039 s]
Raw data (loadavg): 0.97 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 6994 0 0 0 942 34 0 0 25 0 1 0 1787825205 32968704 6430 4294967295 134512640 134702520 3221223952 3220988588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 8049 6430 413 48 0 8001 0
[pid=31753] vsize: 32196
Current children cumulated CPU time (s) 9.77
Current children cumulated vsize (Kb) 34324

[startup+20.0045 s]
Raw data (loadavg): 0.97 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7135 0 0 0 1941 35 0 0 25 0 1 0 1787825205 33546240 6571 4294967295 134512640 134702520 3221223952 3220304268 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8190 6571 413 48 0 8142 0
[pid=31753] vsize: 32760
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (Kb) 34888

[startup+30.0041 s]
Raw data (loadavg): 0.98 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7369 0 0 0 2941 35 0 0 25 0 1 0 1787825205 34504704 6805 4294967295 134512640 134702520 3221223952 3219346848 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8424 6805 413 48 0 8376 0
[pid=31753] vsize: 33696
Current children cumulated CPU time (s) 29.77
Current children cumulated vsize (Kb) 35824

[startup+40.0048 s]
Raw data (loadavg): 0.98 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7812 0 0 0 3941 36 0 0 25 0 1 0 1787825205 36319232 7248 4294967295 134512640 134702520 3221223952 3220901548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8867 7248 413 48 0 8819 0
[pid=31753] vsize: 35468
Current children cumulated CPU time (s) 39.78
Current children cumulated vsize (Kb) 37596

[startup+50.0054 s]
Raw data (loadavg): 0.98 1.03 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7812 0 0 0 4941 36 0 0 25 0 1 0 1787825205 36319232 7248 4294967295 134512640 134702520 3221223952 3219797392 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8867 7248 413 48 0 8819 0
[pid=31753] vsize: 35468
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (Kb) 37596

[startup+60.006 s]
Raw data (loadavg): 0.98 1.03 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7822 0 0 0 5941 36 0 0 25 0 1 0 1787825205 36360192 7258 4294967295 134512640 134702520 3221223952 3221029068 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8877 7258 413 48 0 8829 0
[pid=31753] vsize: 35508
Current children cumulated CPU time (s) 59.78
Current children cumulated vsize (Kb) 37636

[startup+70.0067 s]
Raw data (loadavg): 0.99 1.03 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7822 0 0 0 6941 36 0 0 25 0 1 0 1787825205 36360192 7258 4294967295 134512640 134702520 3221223952 3220503628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8877 7258 413 48 0 8829 0
[pid=31753] vsize: 35508
Current children cumulated CPU time (s) 69.78
Current children cumulated vsize (Kb) 37636

[startup+80.0073 s]
Raw data (loadavg): 1.06 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7822 0 0 0 7941 36 0 0 25 0 1 0 1787825205 36360192 7258 4294967295 134512640 134702520 3221223952 3219834668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8877 7258 413 48 0 8829 0
[pid=31753] vsize: 35508
Current children cumulated CPU time (s) 79.78
Current children cumulated vsize (Kb) 37636

[startup+90.0079 s]
Raw data (loadavg): 1.05 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7822 0 0 0 8941 36 0 0 25 0 1 0 1787825205 36360192 7258 4294967295 134512640 134702520 3221223952 3218280908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8877 7258 413 48 0 8829 0
[pid=31753] vsize: 35508
Current children cumulated CPU time (s) 89.78
Current children cumulated vsize (Kb) 37636

[startup+100.008 s]
Raw data (loadavg): 1.04 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7986 0 0 0 9898 50 0 0 25 0 1 0 1787825205 76881920 7412 4294967295 134512640 134702520 3221223952 3221223232 134550645 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 18770 7412 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 99.49
Current children cumulated vsize (Kb) 77208

[startup+110.009 s]
Raw data (loadavg): 1.04 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7999 0 0 0 10867 61 0 0 25 0 1 0 1787825205 76881920 7425 4294967295 134512640 134702520 3221223952 3221223172 134549015 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 18770 7425 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 109.29
Current children cumulated vsize (Kb) 77208

[startup+120.01 s]
Raw data (loadavg): 1.03 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8001 0 0 0 11862 63 0 0 25 0 1 0 1787825205 76881920 7427 4294967295 134512640 134702520 3221223952 3221152508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 18770 7427 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 119.26
Current children cumulated vsize (Kb) 77208

[startup+130.009 s]
Raw data (loadavg): 1.03 1.03 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8001 0 0 0 12861 63 0 0 25 0 1 0 1787825205 76881920 7427 4294967295 134512640 134702520 3221223952 3220782428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 18770 7427 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 129.25
Current children cumulated vsize (Kb) 77208

[startup+140.011 s]
Raw data (loadavg): 1.02 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8001 0 0 0 13862 63 0 0 25 0 1 0 1787825205 76881920 7427 4294967295 134512640 134702520 3221223952 3220377628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 18770 7427 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 139.26
Current children cumulated vsize (Kb) 77208

[startup+150.012 s]
Raw data (loadavg): 1.02 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8001 0 0 0 14862 63 0 0 25 0 1 0 1787825205 76881920 7427 4294967295 134512640 134702520 3221223952 3219928688 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 18770 7427 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 149.26
Current children cumulated vsize (Kb) 77208

[startup+160.012 s]
Raw data (loadavg): 1.01 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8001 0 0 0 15862 63 0 0 25 0 1 0 1787825205 76881920 7427 4294967295 134512640 134702520 3221223952 3219397148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 18770 7427 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 159.26
Current children cumulated vsize (Kb) 77208

[startup+170.013 s]
Raw data (loadavg): 1.01 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8001 0 0 0 16863 63 0 0 25 0 1 0 1787825205 76881920 7427 4294967295 134512640 134702520 3221223952 3218543068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 18770 7427 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 169.27
Current children cumulated vsize (Kb) 77208

[startup+180.014 s]
Raw data (loadavg): 1.01 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8330 0 0 0 17862 64 0 0 25 0 1 0 1787825205 78229504 7756 4294967295 134512640 134702520 3221223952 3220419548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7756 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 179.27
Current children cumulated vsize (Kb) 78524

[startup+190.014 s]
Raw data (loadavg): 1.01 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8343 0 0 0 18837 72 0 0 25 0 1 0 1787825205 78229504 7761 4294967295 134512640 134702520 3221223952 3221223232 134554394 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19099 7761 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 189.1
Current children cumulated vsize (Kb) 78524

[startup+200.015 s]
Raw data (loadavg): 1.01 1.02 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8358 0 0 0 19801 84 0 0 25 0 1 0 1787825205 78229504 7776 4294967295 134512640 134702520 3221223952 3221223232 134552108 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19099 7776 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 198.86
Current children cumulated vsize (Kb) 78524

[startup+210.016 s]
Raw data (loadavg): 1.00 1.02 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 20780 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3221139248 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 208.71
Current children cumulated vsize (Kb) 78524

[startup+220.016 s]
Raw data (loadavg): 1.00 1.02 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 21779 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3220894108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 218.7
Current children cumulated vsize (Kb) 78524

[startup+230.017 s]
Raw data (loadavg): 1.00 1.02 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 22779 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3220634432 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 228.7
Current children cumulated vsize (Kb) 78524

[startup+240.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 23779 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3220363388 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 238.7
Current children cumulated vsize (Kb) 78524

[startup+250.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 24779 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3220080688 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 248.7
Current children cumulated vsize (Kb) 78524

[startup+260.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 25779 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3219785008 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 258.7
Current children cumulated vsize (Kb) 78524

[startup+270.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 26780 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3219473948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 268.71
Current children cumulated vsize (Kb) 78524

[startup+280.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 27780 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3219143088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 278.71
Current children cumulated vsize (Kb) 78524

[startup+290.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 28780 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3218786748 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 288.71
Current children cumulated vsize (Kb) 78524

[startup+300.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 29780 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3218398128 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 298.71
Current children cumulated vsize (Kb) 78524

[startup+310.022 s]
Raw data (loadavg): 1.08 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 30781 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3217956828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 308.72
Current children cumulated vsize (Kb) 78524

[startup+320.023 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 31781 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3217420516 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 318.72
Current children cumulated vsize (Kb) 78524

[startup+330.022 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 32781 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3216817948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 328.72
Current children cumulated vsize (Kb) 78524

[startup+340.023 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 33781 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3216112508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 338.72
Current children cumulated vsize (Kb) 78524

[startup+350.023 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8742 0 0 0 34781 91 0 0 25 0 1 0 1787825205 79749120 8160 4294967295 134512640 134702520 3221223952 3214367228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19470 8160 413 48 0 19422 0
[pid=31753] vsize: 77880
Current children cumulated CPU time (s) 348.73
Current children cumulated vsize (Kb) 80008

[startup+360.024 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8937 0 0 0 35767 95 0 0 25 0 1 0 1787825205 80506880 8347 4294967295 134512640 134702520 3221223952 3221223232 134552693 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8347 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 358.63
Current children cumulated vsize (Kb) 80748

[startup+370.025 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8944 0 0 0 36751 102 0 0 25 0 1 0 1787825205 80506880 8354 4294967295 134512640 134702520 3221223952 3221223232 134552349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8354 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 368.54
Current children cumulated vsize (Kb) 80748

[startup+380.025 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 37730 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3221187248 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 378.41
Current children cumulated vsize (Kb) 80748

[startup+390.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 38731 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3220942268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 388.42
Current children cumulated vsize (Kb) 80748

[startup+400.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 39731 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3220688828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 398.42
Current children cumulated vsize (Kb) 80748

[startup+410.027 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 40731 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3220425948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 408.42
Current children cumulated vsize (Kb) 80748

[startup+420.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 41731 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3220152848 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 418.42
Current children cumulated vsize (Kb) 80748

[startup+430.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 42732 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3219868028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 428.43
Current children cumulated vsize (Kb) 80748

[startup+440.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 43732 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3219569948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 438.43
Current children cumulated vsize (Kb) 80748

[startup+450.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 44732 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3219255548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 448.43
Current children cumulated vsize (Kb) 80748

[startup+460.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 45732 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3218920828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 458.43
Current children cumulated vsize (Kb) 80748

[startup+470.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 46732 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3218560188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 468.43
Current children cumulated vsize (Kb) 80748

[startup+480.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 47733 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3218164828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 478.44
Current children cumulated vsize (Kb) 80748

[startup+490.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 48733 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3217712048 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 488.44
Current children cumulated vsize (Kb) 80748

[startup+500.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 49733 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3217160828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 498.44
Current children cumulated vsize (Kb) 80748

[startup+510.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 50734 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3216548348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 508.45
Current children cumulated vsize (Kb) 80748

[startup+520.034 s]
Raw data (loadavg): 1.00 1.01 1.00 3/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 51734 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3215805632 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 518.45
Current children cumulated vsize (Kb) 80748

[startup+530.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8997 0 0 0 52734 110 0 0 25 0 1 0 1787825205 80670720 8407 4294967295 134512640 134702520 3221223952 3221180988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8407 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 528.45
Current children cumulated vsize (Kb) 80908

[startup+540.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8997 0 0 0 53734 110 0 0 25 0 1 0 1787825205 80670720 8407 4294967295 134512640 134702520 3221223952 3220711868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8407 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 538.45
Current children cumulated vsize (Kb) 80908

[startup+550.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8997 0 0 0 54735 110 0 0 25 0 1 0 1787825205 80670720 8407 4294967295 134512640 134702520 3221223952 3220160988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8407 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 548.46
Current children cumulated vsize (Kb) 80908

[startup+560.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8997 0 0 0 55735 110 0 0 25 0 1 0 1787825205 80670720 8407 4294967295 134512640 134702520 3221223952 3219417308 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8407 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 558.46
Current children cumulated vsize (Kb) 80908

[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9007 0 0 0 56731 112 0 0 25 0 1 0 1787825205 80670720 8409 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19695 8409 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 568.44
Current children cumulated vsize (Kb) 80908

[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9022 0 0 0 57708 118 0 0 25 0 1 0 1787825205 80670720 8424 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8424 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 578.27
Current children cumulated vsize (Kb) 80908

[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 58685 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3221222428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 588.12
Current children cumulated vsize (Kb) 80908

[startup+600.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 59685 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3220979388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 598.12
Current children cumulated vsize (Kb) 80908

[startup+610.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 60685 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3220727068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 608.12
Current children cumulated vsize (Kb) 80908

[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 61686 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3220465628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 618.13
Current children cumulated vsize (Kb) 80908

[startup+630.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 62686 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3220194108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 628.13
Current children cumulated vsize (Kb) 80908

[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 63686 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3219910928 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 638.13
Current children cumulated vsize (Kb) 80908

[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 64686 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3219614908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 648.13
Current children cumulated vsize (Kb) 80908

[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 65687 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3219302908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 658.14
Current children cumulated vsize (Kb) 80908

[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 66687 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3218971548 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 668.14
Current children cumulated vsize (Kb) 80908

[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 67687 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3218614752 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 678.14
Current children cumulated vsize (Kb) 80908

[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 68687 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3218225308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 688.14
Current children cumulated vsize (Kb) 80908

[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 69688 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3217782448 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 698.15
Current children cumulated vsize (Kb) 80908

[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 70688 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3217244188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 708.15
Current children cumulated vsize (Kb) 80908

[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 71688 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3216639708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 718.15
Current children cumulated vsize (Kb) 80908

[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 72688 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3215929636 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 728.15
Current children cumulated vsize (Kb) 80908

[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 73689 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3214056048 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 738.16
Current children cumulated vsize (Kb) 80908

[startup+750.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 74689 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3220767708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 748.16
Current children cumulated vsize (Kb) 80908

[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 75689 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3220207408 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 758.16
Current children cumulated vsize (Kb) 80908

[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 76690 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3219432208 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 768.17
Current children cumulated vsize (Kb) 80908

[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) T 31750 31750 15400 0 -1 0 9048 0 0 0 77686 128 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 778.15
Current children cumulated vsize (Kb) 80908

[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9067 0 0 0 78660 136 0 0 25 0 1 0 1787825205 80670720 8461 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19695 8461 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 787.97
Current children cumulated vsize (Kb) 80908

[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 79640 143 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3221220528 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 797.84
Current children cumulated vsize (Kb) 80908

[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 80640 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3220979388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 807.85
Current children cumulated vsize (Kb) 80908

[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 81639 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3220729948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 817.84
Current children cumulated vsize (Kb) 80908

[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 82640 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3220468508 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 827.85
Current children cumulated vsize (Kb) 80908

[startup+840.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 83640 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3220196988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 837.85
Current children cumulated vsize (Kb) 80908

[startup+850.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 84640 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3219913948 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 847.85
Current children cumulated vsize (Kb) 80908

[startup+860.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 85640 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3219617788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 857.85
Current children cumulated vsize (Kb) 80908

[startup+870.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 86641 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3219305952 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 867.86
Current children cumulated vsize (Kb) 80908

[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 87641 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3218974748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 877.86
Current children cumulated vsize (Kb) 80908

[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 88641 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3218618108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 887.86
Current children cumulated vsize (Kb) 80908

[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 89641 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3218228668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 897.86
Current children cumulated vsize (Kb) 80908

[startup+910.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 90642 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3217786428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 907.87
Current children cumulated vsize (Kb) 80908

[startup+920.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 91642 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3217248828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 917.87
Current children cumulated vsize (Kb) 80908

[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 92642 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3216644508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 927.87
Current children cumulated vsize (Kb) 80908

[startup+940.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 93642 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3215935868 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 937.87
Current children cumulated vsize (Kb) 80908

[startup+950.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 94643 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3214106272 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 947.88
Current children cumulated vsize (Kb) 80908

[startup+960.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 95643 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3220788188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 957.88
Current children cumulated vsize (Kb) 80908

[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 96643 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3220258748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 967.88
Current children cumulated vsize (Kb) 80908

[startup+980.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 97644 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3219578916 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 977.89
Current children cumulated vsize (Kb) 80908

[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 98644 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3217862908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 987.89
Current children cumulated vsize (Kb) 80908

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) T 31750 31750 15400 0 -1 0 9092 0 0 0 99627 151 0 0 25 0 1 0 1787825205 80805888 8478 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8478 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 997.79
Current children cumulated vsize (Kb) 81040

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) T 31750 31750 15400 0 -1 0 9096 0 0 0 100602 160 0 0 25 0 1 0 1787825205 80805888 8482 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19728 8482 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1007.63
Current children cumulated vsize (Kb) 81040

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 101597 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3221039708 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1017.59
Current children cumulated vsize (Kb) 81040

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 102598 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3220789488 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1027.6
Current children cumulated vsize (Kb) 81040

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 103598 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3220530268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1037.6
Current children cumulated vsize (Kb) 81040

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 104598 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3220260988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1047.6
Current children cumulated vsize (Kb) 81040

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 105598 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3219980848 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1057.6
Current children cumulated vsize (Kb) 81040

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 106599 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3219687868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1067.61
Current children cumulated vsize (Kb) 81040

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 107599 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3219379868 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1077.61
Current children cumulated vsize (Kb) 81040

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 108599 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3219053628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1087.61
Current children cumulated vsize (Kb) 81040

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 109599 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3218703088 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1097.61
Current children cumulated vsize (Kb) 81040

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 110600 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3218322108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1107.62
Current children cumulated vsize (Kb) 81040

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 111600 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3217894908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1117.62
Current children cumulated vsize (Kb) 81040

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 112600 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3217379868 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1127.62
Current children cumulated vsize (Kb) 81040

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 113601 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3216787728 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1137.63
Current children cumulated vsize (Kb) 81040

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 114601 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3216116528 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1147.63
Current children cumulated vsize (Kb) 81040

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 115601 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3214991868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1157.63
Current children cumulated vsize (Kb) 81040

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 116601 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3220882748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1167.63
Current children cumulated vsize (Kb) 81040

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 117602 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3220344828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1177.64
Current children cumulated vsize (Kb) 81040

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 118602 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3219640668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1187.64
Current children cumulated vsize (Kb) 81040

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 119602 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3221211888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1197.64
Current children cumulated vsize (Kb) 81040
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=31753) exited with status: 2
New process pid=31754
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=31754) exited with status: 0
New process pid=31755
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+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31755
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 378 9480 0 0 1 1 119842 181 19 0 1 0 1787825198 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 248 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31755/stat): 31755 (vallst) R 31750 31750 15400 0 -1 0 5891 0 0 0 691 27 0 0 25 0 1 0 1787945492 31023104 5862 4294967295 134512640 134702520 3221223712 3220997628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31755/statm): 7574 5862 413 48 0 7526 0
[pid=31755] vsize: 30296
Current children cumulated CPU time (s) 1207.43
Current children cumulated vsize (Kb) 32424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31755
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 378 9480 0 0 1 1 119842 181 19 0 1 0 1787825198 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 248 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31755/stat): 31755 (vallst) R 31750 31750 15400 0 -1 0 5891 0 0 0 691 27 0 0 25 0 1 0 1787945492 31023104 5862 4294967295 134512640 134702520 3221223712 3220997628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31755/statm): 7574 5862 413 48 0 7526 0
[pid=31755] vsize: 30296
Current children cumulated CPU time (s) 1207.43
Current children cumulated vsize (Kb) 32424

Sending SIGTERM to -31750
Sleeping 2 seconds
New process pid=31757
New process pid=31758
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/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1669/stat
open syscall for file /proc/1669/status
open syscall for file /proc/1669/cmdline
open syscall for file /proc/1669/environ
open syscall for file /proc/1671/stat
open syscall for file /proc/1671/status
open syscall for file /proc/1671/cmdline
open syscall for file /proc/1671/environ
open syscall for file /proc/12490/stat
open syscall for file /proc/12490/status
open syscall for file /proc/12490/cmdline
open syscall for file /proc/12490/environ
open syscall for file /proc/11855/stat
open syscall for file /proc/11855/status
open syscall for file /proc/11855/cmdline
open syscall for file /proc/11855/environ
open syscall for file /proc/11882/stat
open syscall for file /proc/11882/status
open syscall for file /proc/11882/cmdline
open syscall for file /proc/11882/environ
open syscall for file /proc/11906/stat
open syscall for file /proc/11906/status
open syscall for file /proc/11906/cmdline
open syscall for file /proc/11906/environ
open syscall for file /proc/19869/stat
open syscall for file /proc/19869/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/19869/cmdline
open syscall for file /proc/19869/environ
open syscall for file /proc/19904/stat
open syscall for file /proc/19904/status
open syscall for file /proc/19904/cmdline
open syscall for file /proc/19904/environ
open syscall for file /proc/15400/stat
open syscall for file /proc/15400/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15400/cmdline
open syscall for file /proc/15400/environ
open syscall for file /proc/15401/stat
open syscall for file /proc/15401/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15401/cmdline
open syscall for file /proc/15401/environ
open syscall for file /proc/15410/stat
open syscall for file /proc/15410/status
open syscall for file /proc/15410/cmdline
open syscall for file /proc/15410/environ
open syscall for file /proc/31713/stat
open syscall for file /proc/31713/status
open syscall for file /proc/31713/cmdline
open syscall for file /proc/31713/environ
open syscall for file /proc/31749/stat
open syscall for file /proc/31749/status
open syscall for file /proc/31749/cmdline
open syscall for file /proc/31749/environ
open syscall for file /proc/31750/stat
open syscall for file /proc/31750/status
open syscall for file /proc/31750/cmdline
open syscall for file /proc/31750/environ
open syscall for file /proc/31755/stat
open syscall for file /proc/31755/status
open syscall for file /proc/31755/cmdline
open syscall for file /proc/31755/environ
open syscall for file /proc/31757/stat
open syscall for file /proc/31757/status
open syscall for file /proc/31757/cmdline
open syscall for file /proc/31757/environ
open syscall for file /proc/31758/stat
open syscall for file /proc/31758/status
open syscall for file /proc/31758/cmdline
open syscall for file /proc/31758/environ
One traced child (pid=31757) exited with status: 0
One traced child (pid=31758) exited with status: 0
New process pid=31759
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=31759) exited with status: 0
New process pid=31760
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=31760) exited with status: 0
One traced child (pid=31750) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -31750
One traced child (pid=31755) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.11
CPU time (s): 9.1976
CPU user time (s): 8.90864
CPU system time (s): 0.288956
CPU usage (%): 0.758811
Max. virtual memory (cumulated for all children) (Kb): 81040

Verifier Data

ERROR: no interpretation found !