Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb
MD5SUMf85d0079133f298b06c25764b03ff228
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 70057
Optimality of the best value was proved NO
Number of terms in the objective function 8627
Biggest coefficient in the objective function 1859
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 4587852
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 1859
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4587852
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.67
Number of variables8627
Total number of constraints9452
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9452
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint461

Trace number 3838

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        672608 kB
Buffers:         36872 kB
Cached:         293952 kB
SwapCached:       1016 kB
Active:         109664 kB
Inactive:       223980 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        672356 kB
SwapTotal:     2097892 kB
SwapFree:      2096404 kB
Dirty:              76 kB
Writeback:           0 kB
Mapped:           5772 kB
Slab:            22676 kB
Committed_AS:    64376 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 03:18:26 (client local time) WITH STATUS 0 IN 1202.47 SECONDS
stats: 7531 7 1202.47 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 1880  (#equs: 1)
#decisions: 421224;  #end-nodes: 161733;
#proof improvement attempts: 0;  #restarts: 480
Current batch, end-nodes: 0 / 278 (199)
#axs: 1646, #non-axs: 5916
tight: meta-meta: start: 4, end: 5;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 7, end: 11;  meta: start: 25, end (keep): 40
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2220  (#equs: 5)
Time taken: 5 min, 18 sec

2:
seed: 0
Nr of vars set: 2220  (#equs: 0)
Nr of vars set: 2228  (#equs: 0)
Interupt request received.
#decisions: 1594911;  #end-nodes: 632201;
#proof improvement attempts: 0;  #restarts: 1109
Current batch, end-nodes: 5832 / 7981 (397)
#axs: 1607, #non-axs: 3707
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 4, end: 5;  meta: start: 6, end (keep): 8
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 6187  (#equs: 3)
Time taken: 14 min, 42 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) R 22419 22420 9102 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1846428791 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22420/statm): 174 3 169 147 0 27 0
[pid=22420] 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=22421
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=22421) exited with status: 0
New process pid=22422
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=22422) exited with status: 0
New process pid=22423
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/wulflinc31/normalized-mps-v2-20-10-air06.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 0.93 0.98 0.99 2/58 22423
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 1164 0 0 0 900 31 0 0 25 0 1 0 1846428798 6569984 1066 4294967295 134512640 134702520 3221223952 3221223088 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 1604 1066 413 48 0 1556 0
[pid=22423] vsize: 6416
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (Kb) 8544

[startup+20.0045 s]
Raw data (loadavg): 0.94 0.98 0.99 2/58 22425
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 1223 0 0 0 1757 79 0 0 25 0 1 0 1846428798 12443648 1125 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3038 1125 413 48 0 2990 0
[pid=22423] vsize: 12152
Current children cumulated CPU time (s) 18.38
Current children cumulated vsize (Kb) 14280

[startup+30.0054 s]
Raw data (loadavg): 0.95 0.98 0.99 2/58 22425
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 1386 0 0 0 2673 108 0 0 25 0 1 0 1846428798 12447744 1288 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3039 1288 413 48 0 2991 0
[pid=22423] vsize: 12156
Current children cumulated CPU time (s) 27.83
Current children cumulated vsize (Kb) 14284

[startup+40.0064 s]
Raw data (loadavg): 0.95 0.98 0.99 2/58 22425
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 1392 0 0 0 3584 137 0 0 25 0 1 0 1846428798 12451840 1294 4294967295 134512640 134702520 3221223952 3221113148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3040 1294 413 48 0 2992 0
[pid=22423] vsize: 12160
Current children cumulated CPU time (s) 37.23
Current children cumulated vsize (Kb) 14288

[startup+50.0083 s]
Raw data (loadavg): 1.04 1.00 1.00 1/58 22425
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 1422 0 0 0 4493 167 0 0 25 0 1 0 1846428798 12611584 1324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3079 1324 413 48 0 3031 0
[pid=22423] vsize: 12316
Current children cumulated CPU time (s) 46.62
Current children cumulated vsize (Kb) 14444

[startup+60.0092 s]
Raw data (loadavg): 1.03 1.00 1.00 2/58 22425
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 1482 0 0 0 5406 199 0 0 25 0 1 0 1846428798 12754944 1384 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3114 1384 413 48 0 3066 0
[pid=22423] vsize: 12456
Current children cumulated CPU time (s) 56.07
Current children cumulated vsize (Kb) 14584

[startup+70.0102 s]
Raw data (loadavg): 1.03 1.00 1.00 2/58 22425
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 1482 0 0 0 6280 241 0 0 25 0 1 0 1846428798 12754944 1384 4294967295 134512640 134702520 3221223952 3221222848 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3114 1384 413 48 0 3066 0
[pid=22423] vsize: 12456
Current children cumulated CPU time (s) 65.23
Current children cumulated vsize (Kb) 14584

[startup+80.0121 s]
Raw data (loadavg): 1.02 1.00 1.00 2/58 22427
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 1640 0 0 0 7177 278 0 0 25 0 1 0 1846428798 12701696 1542 4294967295 134512640 134702520 3221223952 3221199728 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3101 1542 413 48 0 3053 0
[pid=22423] vsize: 12404
Current children cumulated CPU time (s) 74.57
Current children cumulated vsize (Kb) 14532

[startup+90.013 s]
Raw data (loadavg): 1.02 1.00 1.00 2/58 22427
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 1658 0 0 0 8101 306 0 0 25 0 1 0 1846428798 12845056 1560 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3136 1560 413 48 0 3088 0
[pid=22423] vsize: 12544
Current children cumulated CPU time (s) 84.09
Current children cumulated vsize (Kb) 14672

[startup+100.014 s]
Raw data (loadavg): 1.02 1.00 1.00 1/58 22427
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2360 0 0 0 9013 340 0 0 25 0 1 0 1846428798 12980224 2262 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3169 2262 413 48 0 3121 0
[pid=22423] vsize: 12676
Current children cumulated CPU time (s) 93.55
Current children cumulated vsize (Kb) 14804

[startup+110.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 22427
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2587 0 0 0 9925 370 0 0 25 0 1 0 1846428798 12980224 2489 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3169 2489 413 48 0 3121 0
[pid=22423] vsize: 12676
Current children cumulated CPU time (s) 102.97
Current children cumulated vsize (Kb) 14804

[startup+120.017 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 22427
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2602 0 0 0 10851 396 0 0 25 0 1 0 1846428798 13119488 2504 4294967295 134512640 134702520 3221223952 3221223460 134592865 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3203 2504 413 48 0 3155 0
[pid=22423] vsize: 12812
Current children cumulated CPU time (s) 112.49
Current children cumulated vsize (Kb) 14940

[startup+130.018 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 22427
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2609 0 0 0 11765 428 0 0 25 0 1 0 1846428798 13119488 2511 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3203 2511 413 48 0 3155 0
[pid=22423] vsize: 12812
Current children cumulated CPU time (s) 121.95
Current children cumulated vsize (Kb) 14940

[startup+140.019 s]
Raw data (loadavg): 1.08 1.02 1.00 2/58 22429
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2609 0 0 0 12649 468 0 0 18 0 1 0 1846428798 13119488 2511 4294967295 134512640 134702520 3221223952 3221223072 134588433 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3203 2511 413 48 0 3155 0
[pid=22423] vsize: 12812
Current children cumulated CPU time (s) 131.19
Current children cumulated vsize (Kb) 14940

[startup+150.021 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 22429
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2631 0 0 0 13567 496 0 0 25 0 1 0 1846428798 13127680 2533 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3205 2533 413 48 0 3157 0
[pid=22423] vsize: 12820
Current children cumulated CPU time (s) 140.65
Current children cumulated vsize (Kb) 14948

[startup+160.022 s]
Raw data (loadavg): 1.14 1.03 1.01 2/58 22429
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2658 0 0 0 14463 533 0 0 25 0 1 0 1846428798 13127680 2560 4294967295 134512640 134702520 3221223952 3221223072 134573837 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3205 2560 413 48 0 3157 0
[pid=22423] vsize: 12820
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 14948

[startup+170.023 s]
Raw data (loadavg): 1.11 1.03 1.01 2/58 22429
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2667 0 0 0 15391 559 0 0 25 0 1 0 1846428798 13262848 2569 4294967295 134512640 134702520 3221223952 3220994768 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3238 2569 413 48 0 3190 0
[pid=22423] vsize: 12952
Current children cumulated CPU time (s) 159.52
Current children cumulated vsize (Kb) 15080

[startup+180.023 s]
Raw data (loadavg): 1.10 1.03 1.01 1/58 22429
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2675 0 0 0 16300 590 0 0 25 0 1 0 1846428798 13266944 2577 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3239 2577 413 48 0 3191 0
[pid=22423] vsize: 12956
Current children cumulated CPU time (s) 168.92
Current children cumulated vsize (Kb) 15084

[startup+190.024 s]
Raw data (loadavg): 1.08 1.03 1.01 1/58 22429
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2687 0 0 0 17229 615 0 0 25 0 1 0 1846428798 13266944 2589 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3239 2589 413 48 0 3191 0
[pid=22423] vsize: 12956
Current children cumulated CPU time (s) 178.46
Current children cumulated vsize (Kb) 15084

[startup+200.026 s]
Raw data (loadavg): 1.07 1.03 1.00 1/58 22431
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2690 0 0 0 18127 650 0 0 25 0 1 0 1846428798 13266944 2592 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3239 2592 413 48 0 3191 0
[pid=22423] vsize: 12956
Current children cumulated CPU time (s) 187.79
Current children cumulated vsize (Kb) 15084

[startup+210.027 s]
Raw data (loadavg): 1.06 1.02 1.00 1/58 22431
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2694 0 0 0 19021 687 0 0 25 0 1 0 1846428798 13266944 2596 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3239 2596 413 48 0 3191 0
[pid=22423] vsize: 12956
Current children cumulated CPU time (s) 197.1
Current children cumulated vsize (Kb) 15084

[startup+220.028 s]
Raw data (loadavg): 1.04 1.02 1.00 2/58 22431
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2858 0 0 0 19938 717 0 0 25 0 1 0 1846428798 13266944 2760 4294967295 134512640 134702520 3221223952 3221223232 134553430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3239 2760 413 48 0 3191 0
[pid=22423] vsize: 12956
Current children cumulated CPU time (s) 206.57
Current children cumulated vsize (Kb) 15084

[startup+230.029 s]
Raw data (loadavg): 1.04 1.02 1.00 2/58 22431
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2877 0 0 0 20860 742 0 0 25 0 1 0 1846428798 13402112 2779 4294967295 134512640 134702520 3221223952 3221222976 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3272 2779 413 48 0 3224 0
[pid=22423] vsize: 13088
Current children cumulated CPU time (s) 216.04
Current children cumulated vsize (Kb) 15216

[startup+240.03 s]
Raw data (loadavg): 1.03 1.02 1.00 2/58 22431
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2883 0 0 0 21771 775 0 0 25 0 1 0 1846428798 13402112 2785 4294967295 134512640 134702520 3221223952 3221079228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3272 2785 413 48 0 3224 0
[pid=22423] vsize: 13088
Current children cumulated CPU time (s) 225.48
Current children cumulated vsize (Kb) 15216

[startup+250.032 s]
Raw data (loadavg): 1.03 1.02 1.00 2/58 22431
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2901 0 0 0 22686 804 0 0 25 0 1 0 1846428798 13402112 2803 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3272 2803 413 48 0 3224 0
[pid=22423] vsize: 13088
Current children cumulated CPU time (s) 234.92
Current children cumulated vsize (Kb) 15216

[startup+260.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/58 22433
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2963 0 0 0 23607 831 0 0 25 0 1 0 1846428798 13537280 2865 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3305 2865 413 48 0 3257 0
[pid=22423] vsize: 13220
Current children cumulated CPU time (s) 244.4
Current children cumulated vsize (Kb) 15348

[startup+270.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/58 22433
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2992 0 0 0 24532 854 0 0 25 0 1 0 1846428798 13541376 2894 4294967295 134512640 134702520 3221223952 3221222848 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3306 2894 413 48 0 3258 0
[pid=22423] vsize: 13224
Current children cumulated CPU time (s) 253.88
Current children cumulated vsize (Kb) 15352

[startup+280.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 22433
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2992 0 0 0 25431 890 0 0 19 0 1 0 1846428798 13541376 2894 4294967295 134512640 134702520 3221223952 3221222848 134550611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3306 2894 413 48 0 3258 0
[pid=22423] vsize: 13224
Current children cumulated CPU time (s) 263.23
Current children cumulated vsize (Kb) 15352

[startup+290.035 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 22433
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 2992 0 0 0 26338 923 0 0 25 0 1 0 1846428798 13541376 2894 4294967295 134512640 134702520 3221223952 3221223232 134550624 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3306 2894 413 48 0 3258 0
[pid=22423] vsize: 13224
Current children cumulated CPU time (s) 272.63
Current children cumulated vsize (Kb) 15352

[startup+300.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 22433
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) T 22420 22420 9102 0 -1 0 2999 0 0 0 27256 950 0 0 25 0 1 0 1846428798 13553664 2901 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22423/statm): 3309 2901 413 48 0 3261 0
[pid=22423] vsize: 13236
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (Kb) 15364

[startup+310.038 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22433
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 3013 0 0 0 28194 974 0 0 25 0 1 0 1846428798 13553664 2915 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3309 2915 413 48 0 3261 0
[pid=22423] vsize: 13236
Current children cumulated CPU time (s) 291.7
Current children cumulated vsize (Kb) 15364

[startup+320.039 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22435
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 3044 0 0 0 29119 1001 0 0 18 0 1 0 1846428798 13553664 2946 4294967295 134512640 134702520 3221223952 3221223232 134557166 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3309 2946 413 48 0 3261 0
[pid=22423] vsize: 13236
Current children cumulated CPU time (s) 301.22
Current children cumulated vsize (Kb) 15364

[startup+330.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22435
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846428791 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 242 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22423/stat): 22423 (vallst) R 22420 22420 9102 0 -1 0 3059 0 0 0 30050 1026 0 0 25 0 1 0 1846428798 13709312 2961 4294967295 134512640 134702520 3221223952 3221222816 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22423/statm): 3347 2961 413 48 0 3299 0
[pid=22423] vsize: 13388
Current children cumulated CPU time (s) 310.78
Current children cumulated vsize (Kb) 15516
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=22423) exited with status: 2
New process pid=22436
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=22436) exited with status: 0
New process pid=22437
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+340.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22437
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 837 0 0 0 72 5 0 0 23 0 1 0 1846462718 5537792 807 4294967295 134512640 134702520 3221223712 3221221968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 1352 807 413 48 0 1304 0
[pid=22437] vsize: 5408
Current children cumulated CPU time (s) 320.2
Current children cumulated vsize (Kb) 7536

[startup+350.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22437
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 990 0 0 0 997 34 0 0 25 0 1 0 1846462718 6160384 960 4294967295 134512640 134702520 3221223712 3221222848 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 1504 960 413 48 0 1456 0
[pid=22437] vsize: 6016
Current children cumulated CPU time (s) 329.74
Current children cumulated vsize (Kb) 8144

[startup+360.043 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 22437
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1145 0 0 0 1907 67 0 0 25 0 1 0 1846462718 11288576 1115 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2756 1115 413 48 0 2708 0
[pid=22437] vsize: 11024
Current children cumulated CPU time (s) 339.17
Current children cumulated vsize (Kb) 13152

[startup+370.044 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 22437
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1180 0 0 0 2832 92 0 0 25 0 1 0 1846462718 11427840 1150 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 2790 1150 413 48 0 2742 0
[pid=22437] vsize: 11160
Current children cumulated CPU time (s) 348.67
Current children cumulated vsize (Kb) 13288

[startup+380.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22439
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1239 0 0 0 3755 116 0 0 18 0 1 0 1846462718 11542528 1209 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2818 1209 413 48 0 2770 0
[pid=22437] vsize: 11272
Current children cumulated CPU time (s) 358.14
Current children cumulated vsize (Kb) 13400

[startup+390.046 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 22439
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1486 0 0 0 4663 149 0 0 25 0 1 0 1846462718 11542528 1456 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 2818 1456 413 48 0 2770 0
[pid=22437] vsize: 11272
Current children cumulated CPU time (s) 367.55
Current children cumulated vsize (Kb) 13400

[startup+400.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22439
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1491 0 0 0 5578 179 0 0 22 0 1 0 1846462718 11694080 1461 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2855 1461 413 48 0 2807 0
[pid=22437] vsize: 11420
Current children cumulated CPU time (s) 377
Current children cumulated vsize (Kb) 13548

[startup+410.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22439
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1491 0 0 0 6476 213 0 0 25 0 1 0 1846462718 11669504 1461 4294967295 134512640 134702520 3221223712 3221222992 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2849 1461 413 48 0 2801 0
[pid=22437] vsize: 11396
Current children cumulated CPU time (s) 386.32
Current children cumulated vsize (Kb) 13524

[startup+420.05 s]
Raw data (loadavg): 1.08 1.02 1.01 1/58 22439
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1496 0 0 0 7386 244 0 0 25 0 1 0 1846462718 11669504 1466 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2849 1466 413 48 0 2801 0
[pid=22437] vsize: 11396
Current children cumulated CPU time (s) 395.73
Current children cumulated vsize (Kb) 13524

[startup+430.052 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 22439
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1501 0 0 0 8298 275 0 0 25 0 1 0 1846462718 11669504 1471 4294967295 134512640 134702520 3221223712 3221222992 134552432 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2849 1471 413 48 0 2801 0
[pid=22437] vsize: 11396
Current children cumulated CPU time (s) 405.16
Current children cumulated vsize (Kb) 13524

[startup+440.053 s]
Raw data (loadavg): 1.06 1.02 1.00 2/60 22441
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1521 0 0 0 9194 311 0 0 25 0 1 0 1846462718 11796480 1491 4294967295 134512640 134702520 3221223712 3221223116 1074229994 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2880 1491 413 48 0 2832 0
[pid=22437] vsize: 11520
Current children cumulated CPU time (s) 414.48
Current children cumulated vsize (Kb) 13648

[startup+450.054 s]
Raw data (loadavg): 1.05 1.02 1.00 2/58 22441
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1528 0 0 0 10123 337 0 0 25 0 1 0 1846462718 11796480 1498 4294967295 134512640 134702520 3221223712 3221222608 134552981 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2880 1498 413 48 0 2832 0
[pid=22437] vsize: 11520
Current children cumulated CPU time (s) 424.03
Current children cumulated vsize (Kb) 13648

[startup+460.056 s]
Raw data (loadavg): 1.04 1.02 1.00 2/58 22441
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1529 0 0 0 11023 375 0 0 25 0 1 0 1846462718 11796480 1499 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2880 1499 413 48 0 2832 0
[pid=22437] vsize: 11520
Current children cumulated CPU time (s) 433.41
Current children cumulated vsize (Kb) 13648

[startup+470.057 s]
Raw data (loadavg): 1.03 1.02 1.00 2/58 22441
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1533 0 0 0 11908 414 0 0 25 0 1 0 1846462718 11796480 1503 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2880 1503 413 48 0 2832 0
[pid=22437] vsize: 11520
Current children cumulated CPU time (s) 442.65
Current children cumulated vsize (Kb) 13648

[startup+480.059 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 22441
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1616 0 0 0 12806 448 0 0 25 0 1 0 1846462718 11796480 1586 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2880 1586 413 48 0 2832 0
[pid=22437] vsize: 11520
Current children cumulated CPU time (s) 451.97
Current children cumulated vsize (Kb) 13648

[startup+490.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 22441
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1620 0 0 0 13721 477 0 0 25 0 1 0 1846462718 11907072 1590 4294967295 134512640 134702520 3221223712 3221222992 134553123 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1590 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 461.41
Current children cumulated vsize (Kb) 13756

[startup+500.061 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 22443
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1625 0 0 0 14610 513 0 0 18 0 1 0 1846462718 11907072 1595 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1595 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 470.66
Current children cumulated vsize (Kb) 13756

[startup+510.062 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 22443
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1629 0 0 0 15522 545 0 0 25 0 1 0 1846462718 11907072 1599 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1599 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 480.1
Current children cumulated vsize (Kb) 13756

[startup+520.063 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22443
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1630 0 0 0 16418 582 0 0 20 0 1 0 1846462718 11907072 1600 4294967295 134512640 134702520 3221223712 3221222992 134550624 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1600 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 489.43
Current children cumulated vsize (Kb) 13756

[startup+530.065 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22443
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1634 0 0 0 17302 620 0 0 25 0 1 0 1846462718 11907072 1604 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1604 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 498.65
Current children cumulated vsize (Kb) 13756

[startup+540.066 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 22443
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1636 0 0 0 18214 650 0 0 25 0 1 0 1846462718 11907072 1606 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1606 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 508.07
Current children cumulated vsize (Kb) 13756

[startup+550.068 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22443
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1641 0 0 0 19113 684 0 0 25 0 1 0 1846462718 11907072 1611 4294967295 134512640 134702520 3221223712 3221127328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1611 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 517.4
Current children cumulated vsize (Kb) 13756

[startup+560.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22445
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1644 0 0 0 20016 721 0 0 18 0 1 0 1846462718 11907072 1614 4294967295 134512640 134702520 3221223712 3221222736 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2907 1614 413 48 0 2859 0
[pid=22437] vsize: 11628
Current children cumulated CPU time (s) 526.8
Current children cumulated vsize (Kb) 13756

[startup+570.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 22445
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1647 0 0 0 20917 754 0 0 25 0 1 0 1846462718 12062720 1617 4294967295 134512640 134702520 3221223712 3221222912 134617910 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2945 1617 413 48 0 2897 0
[pid=22437] vsize: 11780
Current children cumulated CPU time (s) 536.14
Current children cumulated vsize (Kb) 13908

[startup+580.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22445
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1651 0 0 0 21793 798 0 0 21 0 1 0 1846462718 12013568 1621 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 2933 1621 413 48 0 2885 0
[pid=22437] vsize: 11732
Current children cumulated CPU time (s) 545.34
Current children cumulated vsize (Kb) 13860

[startup+590.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22445
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 1664 0 0 0 22701 828 0 0 25 0 1 0 1846462718 12013568 1634 4294967295 134512640 134702520 3221223712 3221179948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22437/statm): 2933 1634 413 48 0 2885 0
[pid=22437] vsize: 11732
Current children cumulated CPU time (s) 554.72
Current children cumulated vsize (Kb) 13860

[startup+600.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22445
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 1723 0 0 0 23621 857 0 0 25 0 1 0 1846462718 12013568 1693 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 2933 1693 413 48 0 2885 0
[pid=22437] vsize: 11732
Current children cumulated CPU time (s) 564.21
Current children cumulated vsize (Kb) 13860

[startup+610.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22445
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2361 0 0 0 24521 893 0 0 25 0 1 0 1846462718 12972032 2331 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3167 2331 413 48 0 3119 0
[pid=22437] vsize: 12668
Current children cumulated CPU time (s) 573.57
Current children cumulated vsize (Kb) 14796

[startup+620.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22447
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2667 0 0 0 25447 918 0 0 25 0 1 0 1846462718 12972032 2637 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3167 2637 413 48 0 3119 0
[pid=22437] vsize: 12668
Current children cumulated CPU time (s) 583.08
Current children cumulated vsize (Kb) 14796

[startup+630.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22447
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2713 0 0 0 26370 943 0 0 25 0 1 0 1846462718 13103104 2683 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3199 2683 413 48 0 3151 0
[pid=22437] vsize: 12796
Current children cumulated CPU time (s) 592.56
Current children cumulated vsize (Kb) 14924

[startup+640.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22447
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2731 0 0 0 27292 972 0 0 25 0 1 0 1846462718 13103104 2701 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3199 2701 413 48 0 3151 0
[pid=22437] vsize: 12796
Current children cumulated CPU time (s) 602.07
Current children cumulated vsize (Kb) 14924

[startup+650.081 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 22447
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2732 0 0 0 28196 1006 0 0 23 0 1 0 1846462718 13103104 2702 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3199 2702 413 48 0 3151 0
[pid=22437] vsize: 12796
Current children cumulated CPU time (s) 611.45
Current children cumulated vsize (Kb) 14924

[startup+660.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22447
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2734 0 0 0 29092 1041 0 0 25 0 1 0 1846462718 13103104 2704 4294967295 134512640 134702520 3221223712 3221222968 134549067 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3199 2704 413 48 0 3151 0
[pid=22437] vsize: 12796
Current children cumulated CPU time (s) 620.76
Current children cumulated vsize (Kb) 14924

[startup+670.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22447
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2746 0 0 0 29999 1074 0 0 25 0 1 0 1846462718 13103104 2716 4294967295 134512640 134702520 3221223712 3221132288 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3199 2716 413 48 0 3151 0
[pid=22437] vsize: 12796
Current children cumulated CPU time (s) 630.16
Current children cumulated vsize (Kb) 14924

[startup+680.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22449
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2752 0 0 0 30921 1103 0 0 19 0 1 0 1846462718 13221888 2722 4294967295 134512640 134702520 3221223712 3221222992 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2722 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 639.67
Current children cumulated vsize (Kb) 15040

[startup+690.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22449
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2757 0 0 0 31835 1131 0 0 25 0 1 0 1846462718 13221888 2727 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3228 2727 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 649.09
Current children cumulated vsize (Kb) 15040

[startup+700.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22449
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2763 0 0 0 32758 1157 0 0 25 0 1 0 1846462718 13221888 2733 4294967295 134512640 134702520 3221223712 3221222992 134552778 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2733 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 658.58
Current children cumulated vsize (Kb) 15040

[startup+710.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22449
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2768 0 0 0 33694 1180 0 0 25 0 1 0 1846462718 13221888 2738 4294967295 134512640 134702520 3221223712 3221222608 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2738 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 668.17
Current children cumulated vsize (Kb) 15040

[startup+720.089 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 22449
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2769 0 0 0 34610 1209 0 0 19 0 1 0 1846462718 13221888 2739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2739 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 677.62
Current children cumulated vsize (Kb) 15040

[startup+730.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22449
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2769 0 0 0 35506 1244 0 0 25 0 1 0 1846462718 13221888 2739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2739 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 686.93
Current children cumulated vsize (Kb) 15040

[startup+740.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22451
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2771 0 0 0 36415 1275 0 0 25 0 1 0 1846462718 13221888 2741 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2741 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 696.33
Current children cumulated vsize (Kb) 15040

[startup+750.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22451
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2773 0 0 0 37336 1303 0 0 25 0 1 0 1846462718 13221888 2743 4294967295 134512640 134702520 3221223712 3221098508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2743 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 705.82
Current children cumulated vsize (Kb) 15040

[startup+760.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22451
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2776 0 0 0 38239 1334 0 0 25 0 1 0 1846462718 13221888 2746 4294967295 134512640 134702520 3221223712 3221140928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3228 2746 413 48 0 3180 0
[pid=22437] vsize: 12912
Current children cumulated CPU time (s) 715.16
Current children cumulated vsize (Kb) 15040

[startup+770.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22451
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2792 0 0 0 39171 1360 0 0 25 0 1 0 1846462718 13340672 2762 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3257 2762 413 48 0 3209 0
[pid=22437] vsize: 13028
Current children cumulated CPU time (s) 724.74
Current children cumulated vsize (Kb) 15156

[startup+780.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22451
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2808 0 0 0 40103 1382 0 0 25 0 1 0 1846462718 13475840 2778 4294967295 134512640 134702520 3221223712 3221222992 134552115 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2778 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 734.28
Current children cumulated vsize (Kb) 15288

[startup+790.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22451
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2812 0 0 0 41019 1410 0 0 25 0 1 0 1846462718 13475840 2782 4294967295 134512640 134702520 3221223712 3221222608 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2782 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 743.72
Current children cumulated vsize (Kb) 15288

[startup+800.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22453
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2813 0 0 0 41935 1439 0 0 25 0 1 0 1846462718 13475840 2783 4294967295 134512640 134702520 3221223712 3221222608 134553123 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2783 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 753.17
Current children cumulated vsize (Kb) 15288

[startup+810.099 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 22453
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2814 0 0 0 42841 1473 0 0 25 0 1 0 1846462718 13475840 2784 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2784 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 762.57
Current children cumulated vsize (Kb) 15288

[startup+820.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 22453
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2818 0 0 0 43724 1514 0 0 25 0 1 0 1846462718 13475840 2788 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3290 2788 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 771.81
Current children cumulated vsize (Kb) 15288

[startup+830.101 s]
Raw data (loadavg): 1.05 1.01 1.00 2/58 22453
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2823 0 0 0 44637 1545 0 0 25 0 1 0 1846462718 13475840 2793 4294967295 134512640 134702520 3221223712 3221222984 134557386 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2793 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 781.25
Current children cumulated vsize (Kb) 15288

[startup+840.102 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 22453
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2825 0 0 0 45547 1579 0 0 25 0 1 0 1846462718 13475840 2795 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3290 2795 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 790.69
Current children cumulated vsize (Kb) 15288

[startup+850.104 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 22453
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2833 0 0 0 46440 1613 0 0 25 0 1 0 1846462718 13475840 2803 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2803 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 799.96
Current children cumulated vsize (Kb) 15288

[startup+860.105 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 22455
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2835 0 0 0 47363 1639 0 0 25 0 1 0 1846462718 13475840 2805 4294967295 134512640 134702520 3221223712 3220939808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3290 2805 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 809.45
Current children cumulated vsize (Kb) 15288

[startup+870.106 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 22455
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2838 0 0 0 48262 1674 0 0 25 0 1 0 1846462718 13475840 2808 4294967295 134512640 134702520 3221223712 3221153708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3290 2808 413 48 0 3242 0
[pid=22437] vsize: 13160
Current children cumulated CPU time (s) 818.79
Current children cumulated vsize (Kb) 15288

[startup+880.107 s]
Raw data (loadavg): 1.02 1.01 1.00 3/58 22455
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2842 0 0 0 49194 1697 0 0 25 0 1 0 1846462718 13619200 2812 4294967295 134512640 134702520 3221223712 3221222608 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3325 2812 413 48 0 3277 0
[pid=22437] vsize: 13300
Current children cumulated CPU time (s) 828.34
Current children cumulated vsize (Kb) 15428

[startup+890.108 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 22455
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2843 0 0 0 50096 1733 0 0 25 0 1 0 1846462718 13594624 2813 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3319 2813 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 837.72
Current children cumulated vsize (Kb) 15404

[startup+900.109 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22455
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2847 0 0 0 50992 1770 0 0 25 0 1 0 1846462718 13594624 2817 4294967295 134512640 134702520 3221223712 3221020448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3319 2817 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 847.05
Current children cumulated vsize (Kb) 15404

[startup+910.111 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22455
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2850 0 0 0 51881 1811 0 0 25 0 1 0 1846462718 13594624 2820 4294967295 134512640 134702520 3221223712 3221222992 134553465 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3319 2820 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 856.35
Current children cumulated vsize (Kb) 15404

[startup+920.112 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 22457
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2853 0 0 0 52785 1843 0 0 25 0 1 0 1846462718 13594624 2823 4294967295 134512640 134702520 3221223712 3221147948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3319 2823 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 865.71
Current children cumulated vsize (Kb) 15404

[startup+930.113 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 22457
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2853 0 0 0 53697 1873 0 0 25 0 1 0 1846462718 13594624 2823 4294967295 134512640 134702520 3221223712 3221013548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3319 2823 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 875.13
Current children cumulated vsize (Kb) 15404

[startup+940.114 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 22457
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2855 0 0 0 54600 1910 0 0 25 0 1 0 1846462718 13594624 2825 4294967295 134512640 134702520 3221223712 3221222992 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3319 2825 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 884.53
Current children cumulated vsize (Kb) 15404

[startup+950.115 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 22457
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2859 0 0 0 55474 1953 0 0 25 0 1 0 1846462718 13594624 2829 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3319 2829 413 48 0 3271 0
[pid=22437] vsize: 13276
Current children cumulated CPU time (s) 893.7
Current children cumulated vsize (Kb) 15404

[startup+960.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22457
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2863 0 0 0 56384 1986 0 0 25 0 1 0 1846462718 13733888 2833 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3353 2833 413 48 0 3305 0
[pid=22437] vsize: 13412
Current children cumulated CPU time (s) 903.13
Current children cumulated vsize (Kb) 15540

[startup+970.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22457
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2863 0 0 0 57287 2020 0 0 25 0 1 0 1846462718 13733888 2833 4294967295 134512640 134702520 3221223712 3221222608 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3353 2833 413 48 0 3305 0
[pid=22437] vsize: 13412
Current children cumulated CPU time (s) 912.5
Current children cumulated vsize (Kb) 15540

[startup+980.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22459
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2863 0 0 0 58180 2059 0 0 19 0 1 0 1846462718 13684736 2833 4294967295 134512640 134702520 3221223712 3221222992 134550667 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3341 2833 413 48 0 3293 0
[pid=22437] vsize: 13364
Current children cumulated CPU time (s) 921.82
Current children cumulated vsize (Kb) 15492

[startup+990.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22459
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2869 0 0 0 59078 2094 0 0 25 0 1 0 1846462718 13684736 2839 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3341 2839 413 48 0 3293 0
[pid=22437] vsize: 13364
Current children cumulated CPU time (s) 931.15
Current children cumulated vsize (Kb) 15492

[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22459
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2887 0 0 0 59989 2125 0 0 23 0 1 0 1846462718 13684736 2857 4294967295 134512640 134702520 3221223712 3221222992 134552891 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3341 2857 413 48 0 3293 0
[pid=22437] vsize: 13364
Current children cumulated CPU time (s) 940.57
Current children cumulated vsize (Kb) 15492

[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22459
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2893 0 0 0 60909 2151 0 0 25 0 1 0 1846462718 13819904 2863 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3374 2863 413 48 0 3326 0
[pid=22437] vsize: 13496
Current children cumulated CPU time (s) 950.03
Current children cumulated vsize (Kb) 15624

[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22459
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2900 0 0 0 61836 2175 0 0 25 0 1 0 1846462718 13819904 2870 4294967295 134512640 134702520 3221223712 3221127648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3374 2870 413 48 0 3326 0
[pid=22437] vsize: 13496
Current children cumulated CPU time (s) 959.54
Current children cumulated vsize (Kb) 15624

[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 22459
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2903 0 0 0 62727 2214 0 0 25 0 1 0 1846462718 13819904 2873 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3374 2873 413 48 0 3326 0
[pid=22437] vsize: 13496
Current children cumulated CPU time (s) 968.84
Current children cumulated vsize (Kb) 15624

[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 22461
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2910 0 0 0 63622 2251 0 0 19 0 1 0 1846462718 13819904 2880 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3374 2880 413 48 0 3326 0
[pid=22437] vsize: 13496
Current children cumulated CPU time (s) 978.16
Current children cumulated vsize (Kb) 15624

[startup+1050.13 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 22461
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2924 0 0 0 64546 2275 0 0 25 0 1 0 1846462718 13946880 2894 4294967295 134512640 134702520 3221223712 3221222992 134552903 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2894 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 987.64
Current children cumulated vsize (Kb) 15748

[startup+1060.13 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 22461
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2926 0 0 0 65416 2320 0 0 25 0 1 0 1846462718 13946880 2896 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2896 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 996.79
Current children cumulated vsize (Kb) 15748

[startup+1070.13 s]
Raw data (loadavg): 1.05 1.01 1.00 1/58 22461
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2927 0 0 0 66311 2354 0 0 25 0 1 0 1846462718 13946880 2897 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3405 2897 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1006.08
Current children cumulated vsize (Kb) 15748

[startup+1080.13 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 22461
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2930 0 0 0 67213 2387 0 0 25 0 1 0 1846462718 13946880 2900 4294967295 134512640 134702520 3221223712 3221111148 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2900 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1015.43
Current children cumulated vsize (Kb) 15748

[startup+1090.13 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 22461
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2932 0 0 0 68105 2424 0 0 25 0 1 0 1846462718 13946880 2902 4294967295 134512640 134702520 3221223712 3221222992 134553123 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2902 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1024.72
Current children cumulated vsize (Kb) 15748

[startup+1100.13 s]
Raw data (loadavg): 1.11 1.03 1.01 2/58 22463
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2935 0 0 0 69008 2458 0 0 25 0 1 0 1846462718 13946880 2905 4294967295 134512640 134702520 3221223712 3221018828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2905 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1034.09
Current children cumulated vsize (Kb) 15748

[startup+1110.13 s]
Raw data (loadavg): 1.09 1.03 1.00 2/58 22463
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2938 0 0 0 69914 2490 0 0 25 0 1 0 1846462718 13946880 2908 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2908 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1043.47
Current children cumulated vsize (Kb) 15748

[startup+1120.14 s]
Raw data (loadavg): 1.08 1.03 1.00 1/58 22463
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2938 0 0 0 70808 2529 0 0 25 0 1 0 1846462718 13946880 2908 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3405 2908 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1052.8
Current children cumulated vsize (Kb) 15748

[startup+1130.14 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 22463
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2938 0 0 0 71689 2570 0 0 25 0 1 0 1846462718 13946880 2908 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2908 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (Kb) 15748

[startup+1140.14 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 22463
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2940 0 0 0 72584 2606 0 0 25 0 1 0 1846462718 13946880 2910 4294967295 134512640 134702520 3221223712 3221222992 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2910 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1071.33
Current children cumulated vsize (Kb) 15748

[startup+1150.14 s]
Raw data (loadavg): 1.05 1.02 1.00 2/58 22463
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2945 0 0 0 73470 2648 0 0 25 0 1 0 1846462718 13946880 2915 4294967295 134512640 134702520 3221223712 3221222992 134550430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3405 2915 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1080.61
Current children cumulated vsize (Kb) 15748

[startup+1160.14 s]
Raw data (loadavg): 1.12 1.04 1.01 1/58 22465
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2950 0 0 0 74374 2680 0 0 25 0 1 0 1846462718 13946880 2920 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3405 2920 413 48 0 3357 0
[pid=22437] vsize: 13620
Current children cumulated CPU time (s) 1089.97
Current children cumulated vsize (Kb) 15748

[startup+1170.14 s]
Raw data (loadavg): 1.10 1.04 1.00 2/58 22465
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2972 0 0 0 75286 2709 0 0 25 0 1 0 1846462718 14082048 2942 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3438 2942 413 48 0 3390 0
[pid=22437] vsize: 13752
Current children cumulated CPU time (s) 1099.38
Current children cumulated vsize (Kb) 15880

[startup+1180.14 s]
Raw data (loadavg): 1.08 1.03 1.00 2/58 22465
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2975 0 0 0 76181 2745 0 0 25 0 1 0 1846462718 14082048 2945 4294967295 134512640 134702520 3221223712 3220994508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3438 2945 413 48 0 3390 0
[pid=22437] vsize: 13752
Current children cumulated CPU time (s) 1108.69
Current children cumulated vsize (Kb) 15880

[startup+1190.14 s]
Raw data (loadavg): 1.07 1.03 1.00 2/58 22465
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2979 0 0 0 77070 2782 0 0 25 0 1 0 1846462718 14082048 2949 4294967295 134512640 134702520 3221223712 3221222992 134552884 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3438 2949 413 48 0 3390 0
[pid=22437] vsize: 13752
Current children cumulated CPU time (s) 1117.95
Current children cumulated vsize (Kb) 15880

[startup+1200.15 s]
Raw data (loadavg): 1.06 1.03 1.00 1/58 22465
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2985 0 0 0 77984 2815 0 0 25 0 1 0 1846462718 14082048 2955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3438 2955 413 48 0 3390 0
[pid=22437] vsize: 13752
Current children cumulated CPU time (s) 1127.42
Current children cumulated vsize (Kb) 15880

[startup+1210.15 s]
Raw data (loadavg): 1.05 1.03 1.00 2/58 22465
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2987 0 0 0 78881 2851 0 0 25 0 1 0 1846462718 14200832 2957 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3467 2957 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1136.75
Current children cumulated vsize (Kb) 15996

[startup+1220.15 s]
Raw data (loadavg): 1.04 1.03 1.00 1/58 22467
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2991 0 0 0 79791 2883 0 0 19 0 1 0 1846462718 14200832 2961 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3467 2961 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1146.17
Current children cumulated vsize (Kb) 15996

[startup+1230.15 s]
Raw data (loadavg): 1.04 1.03 1.00 2/58 22467
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2991 0 0 0 80690 2916 0 0 25 0 1 0 1846462718 14200832 2961 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3467 2961 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1155.49
Current children cumulated vsize (Kb) 15996

[startup+1240.15 s]
Raw data (loadavg): 1.03 1.03 1.00 1/58 22467
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2993 0 0 0 81572 2955 0 0 24 0 1 0 1846462718 14200832 2963 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3467 2963 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1164.7
Current children cumulated vsize (Kb) 15996

[startup+1250.15 s]
Raw data (loadavg): 1.02 1.02 1.00 2/58 22467
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2994 0 0 0 82462 2996 0 0 25 0 1 0 1846462718 14200832 2964 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3467 2964 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1174.01
Current children cumulated vsize (Kb) 15996

[startup+1260.15 s]
Raw data (loadavg): 1.02 1.02 1.00 2/58 22467
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2995 0 0 0 83367 3030 0 0 25 0 1 0 1846462718 14200832 2965 4294967295 134512640 134702520 3221223712 3221063308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3467 2965 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1183.4
Current children cumulated vsize (Kb) 15996

[startup+1270.15 s]
Raw data (loadavg): 1.02 1.02 1.00 2/58 22467
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2996 0 0 0 84260 3066 0 0 25 0 1 0 1846462718 14200832 2966 4294967295 134512640 134702520 3221223712 3221088448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3467 2966 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1192.69
Current children cumulated vsize (Kb) 15996

[startup+1280.16 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 22469
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) R 22420 22420 9102 0 -1 0 2997 0 0 0 85154 3104 0 0 25 0 1 0 1846462718 14200832 2967 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22437/statm): 3467 2967 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1202.01
Current children cumulated vsize (Kb) 15996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.16 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 22469
Raw data (/proc/22420/stat): 22420 (vallstSAT2005PB) S 22419 22420 9102 0 -1 0 378 3434 0 0 1 1 30878 1063 19 0 1 0 1846428791 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22420/statm): 532 248 485 147 0 385 0
[pid=22420] vsize: 2128
Raw data (/proc/22437/stat): 22437 (vallst) T 22420 22420 9102 0 -1 0 2997 0 0 0 85154 3104 0 0 25 0 1 0 1846462718 14200832 2967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22437/statm): 3467 2967 413 48 0 3419 0
[pid=22437] vsize: 13868
Current children cumulated CPU time (s) 1202.01
Current children cumulated vsize (Kb) 15996

Sending SIGTERM to -22420
Sleeping 2 seconds
New process pid=22471
New process pid=22472
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/31081/stat
open syscall for file /proc/31081/status
open syscall for file /proc/31081/cmdline
open syscall for file /proc/31081/environ
open syscall for file /proc/11861/stat
open syscall for file /proc/11861/status
open syscall for file /proc/11861/cmdline
open syscall for file /proc/11861/environ
open syscall for file /proc/30741/stat
open syscall for file /proc/30741/status
open syscall for file /proc/30741/cmdline
open syscall for file /proc/30741/environ
open syscall for file /proc/30767/stat
open syscall for file /proc/30767/status
open syscall for file /proc/30767/cmdline
open syscall for file /proc/30767/environ
open syscall for file /proc/30794/stat
open syscall for file /proc/30794/status
open syscall for file /proc/30794/cmdline
open syscall for file /proc/30794/environ
open syscall for file /proc/12776/stat
open syscall for file /proc/12776/status
open syscall for file /proc/12776/cmdline
open syscall for file /proc/12776/environ
open syscall for file /proc/12777/stat
open syscall for file /proc/12777/status
open syscall for file /proc/12777/cmdline
open syscall for file /proc/12777/environ
open syscall for file /proc/7700/stat
open syscall for file /proc/7700/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/7700/cmdline
open syscall for file /proc/7700/environ
open syscall for file /proc/7743/stat
open syscall for file /proc/7743/status
open syscall for file /proc/7743/cmdline
open syscall for file /proc/7743/environ
open syscall for file /proc/9102/stat
open syscall for file /proc/9102/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/9102/cmdline
open syscall for file /proc/9102/environ
open syscall for file /proc/9103/stat
open syscall for file /proc/9103/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/9103/cmdline
open syscall for file /proc/9103/environ
open syscall for file /proc/9112/stat
open syscall for file /proc/9112/status
open syscall for file /proc/9112/cmdline
open syscall for file /proc/9112/environ
open syscall for file /proc/22383/stat
open syscall for file /proc/22383/status
open syscall for file /proc/22383/cmdline
open syscall for file /proc/22383/environ
open syscall for file /proc/22419/stat
open syscall for file /proc/22419/status
open syscall for file /proc/22419/cmdline
open syscall for file /proc/22419/environ
open syscall for file /proc/22420/stat
open syscall for file /proc/22420/status
open syscall for file /proc/22420/cmdline
open syscall for file /proc/22420/environ
open syscall for file /proc/22437/stat
open syscall for file /proc/22437/status
open syscall for file /proc/22437/cmdline
open syscall for file /proc/22437/environ
open syscall for file /proc/22471/stat
open syscall for file /proc/22471/status
open syscall for file /proc/22471/cmdline
open syscall for file /proc/22471/environ
open syscall for file /proc/22472/stat
open syscall for file /proc/22472/status
open syscall for file /proc/22472/cmdline
open syscall for file /proc/22472/environ
One traced child (pid=22471) exited with status: 0
One traced child (pid=22472) exited with status: 0
New process pid=22473
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=22437) exited with status: 3
One traced child (pid=22473) exited with status: 0
New process pid=22474
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=22474) exited with status: 0
One traced child (pid=22420) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1280.66
CPU time (s): 1202.47
CPU user time (s): 1160.68
CPU system time (s): 41.7906
CPU usage (%): 93.8947
Max. virtual memory (cumulated for all children) (Kb): 15996

Verifier Data

ERROR: no interpretation found !