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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
MD5SUMcafd7bd480d889c74d8810dc689bffd8
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 736
Optimality of the best value was proved YES
Number of terms in the objective function 1518
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1518
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1518
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark24.7562
Number of variables1518
Total number of constraints21621
Number of constraints which are clauses21621
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32

Trace number 1890

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        920948 kB
Buffers:         35412 kB
Cached:          50896 kB
SwapCached:        868 kB
Active:          66156 kB
Inactive:        22820 kB
HighTotal:      131008 kB
HighFree:        77364 kB
LowTotal:       903652 kB
LowFree:        843584 kB
SwapTotal:     2097892 kB
SwapFree:      2096540 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19012 kB
Committed_AS:    64140 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 17:40:28 (client local time) WITH STATUS 0 IN 1203.75 SECONDS
stats: 7179 7 1203.75 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 1143;  #end-nodes: 715;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 595 / 1067 (80)
#axs: 21622, #non-axs: 322
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  781 (736:>=*);
#decisions: 199453;  #end-nodes: 136721;
#proof improvement attempts: 0;  #restarts: 480
Current batch, end-nodes: 0 / 199 (199)
#axs: 22669, #non-axs: 312
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 781 (736:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 330  (#equs: 1047)
Time taken: 5 min, 17 sec

2:
seed: 0
Nr of vars set: 330  (#equs: 0)
Nr of vars set: 330  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 330  (#equs: 0)
Time taken: 14 min, 46 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/23442/stat): 23442 (vallstSAT2005PB) R 23441 23442 16528 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1843009326 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23442/statm): 174 3 169 147 0 27 0
[pid=23442] 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=23443
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=23443) exited with status: 0
New process pid=23444
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=23444) exited with status: 0
New process pid=23445
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/wulflinc26/normalized-ii32c4.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0042 s]
Raw data (loadavg): 0.94 0.98 0.99 1/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) T 23442 23442 16528 0 -1 0 673 0 0 0 923 25 0 0 25 0 1 0 1843009334 4567040 643 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23445/statm): 1115 643 413 48 0 1067 0
[pid=23445] vsize: 4460
Current children cumulated CPU time (s) 9.5
Current children cumulated vsize (Kb) 6588

[startup+20.0059 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 833 0 0 0 1833 57 0 0 25 0 1 0 1843009334 9752576 803 4294967295 134512640 134702520 3221223968 3221223248 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2381 803 413 48 0 2333 0
[pid=23445] vsize: 9524
Current children cumulated CPU time (s) 18.92
Current children cumulated vsize (Kb) 11652

[startup+30.0076 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 1947 0 0 0 2800 70 0 0 25 0 1 0 1843009334 9887744 1917 4294967295 134512640 134702520 3221223968 3221223248 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2414 1917 413 48 0 2366 0
[pid=23445] vsize: 9656
Current children cumulated CPU time (s) 28.72
Current children cumulated vsize (Kb) 11784

[startup+40.0082 s]
Raw data (loadavg): 0.96 0.98 0.99 1/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) T 23442 23442 16528 0 -1 0 2022 0 0 0 3766 82 0 0 25 0 1 0 1843009334 9887744 1992 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23445/statm): 2414 1992 413 48 0 2366 0
[pid=23445] vsize: 9656
Current children cumulated CPU time (s) 38.5
Current children cumulated vsize (Kb) 11784

[startup+50.0089 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2035 0 0 0 4728 94 0 0 25 0 1 0 1843009334 10022912 2005 4294967295 134512640 134702520 3221223968 3221223248 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2447 2005 413 48 0 2399 0
[pid=23445] vsize: 9788
Current children cumulated CPU time (s) 48.24
Current children cumulated vsize (Kb) 11916

[startup+60.0096 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2054 0 0 0 5695 104 0 0 25 0 1 0 1843009334 10022912 2024 4294967295 134512640 134702520 3221223968 3221223248 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2447 2024 413 48 0 2399 0
[pid=23445] vsize: 9788
Current children cumulated CPU time (s) 58.01
Current children cumulated vsize (Kb) 11916

[startup+70.0103 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) T 23442 23442 16528 0 -1 0 2087 0 0 0 6659 117 0 0 25 0 1 0 1843009334 10158080 2057 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2480 2057 413 48 0 2432 0
[pid=23445] vsize: 9920
Current children cumulated CPU time (s) 67.78
Current children cumulated vsize (Kb) 12048

[startup+80.012 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) T 23442 23442 16528 0 -1 0 2101 0 0 0 7629 127 0 0 25 0 1 0 1843009334 10158080 2071 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2480 2071 413 48 0 2432 0
[pid=23445] vsize: 9920
Current children cumulated CPU time (s) 77.58
Current children cumulated vsize (Kb) 12048

[startup+90.0127 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2119 0 0 0 8591 140 0 0 25 0 1 0 1843009334 10158080 2089 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2480 2089 413 48 0 2432 0
[pid=23445] vsize: 9920
Current children cumulated CPU time (s) 87.33
Current children cumulated vsize (Kb) 12048

[startup+100.013 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2142 0 0 0 9555 152 0 0 25 0 1 0 1843009334 10293248 2112 4294967295 134512640 134702520 3221223968 3221223248 134552759 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23445/statm): 2513 2112 413 48 0 2465 0
[pid=23445] vsize: 10052
Current children cumulated CPU time (s) 97.09
Current children cumulated vsize (Kb) 12180

[startup+110.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2150 0 0 0 10508 168 0 0 25 0 1 0 1843009334 10293248 2120 4294967295 134512640 134702520 3221223968 3221223088 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2513 2120 413 48 0 2465 0
[pid=23445] vsize: 10052
Current children cumulated CPU time (s) 106.78
Current children cumulated vsize (Kb) 12180

[startup+120.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2161 0 0 0 11469 181 0 0 25 0 1 0 1843009334 10293248 2131 4294967295 134512640 134702520 3221223968 3221222864 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2513 2131 413 48 0 2465 0
[pid=23445] vsize: 10052
Current children cumulated CPU time (s) 116.52
Current children cumulated vsize (Kb) 12180

[startup+130.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2168 0 0 0 12430 195 0 0 25 0 1 0 1843009334 10293248 2138 4294967295 134512640 134702520 3221223968 3221223248 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2513 2138 413 48 0 2465 0
[pid=23445] vsize: 10052
Current children cumulated CPU time (s) 126.27
Current children cumulated vsize (Kb) 12180

[startup+140.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2174 0 0 0 13385 212 0 0 25 0 1 0 1843009334 10428416 2144 4294967295 134512640 134702520 3221223968 3221223360 134604468 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2144 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 135.99
Current children cumulated vsize (Kb) 12312

[startup+150.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2181 0 0 0 14336 231 0 0 25 0 1 0 1843009334 10428416 2151 4294967295 134512640 134702520 3221223968 3221222864 134552857 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2151 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 145.69
Current children cumulated vsize (Kb) 12312

[startup+160.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2181 0 0 0 15315 236 0 0 25 0 1 0 1843009334 10428416 2151 4294967295 134512640 134702520 3221223968 3221222864 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2151 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 155.53
Current children cumulated vsize (Kb) 12312

[startup+170.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2185 0 0 0 16266 254 0 0 25 0 1 0 1843009334 10428416 2155 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2155 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 165.22
Current children cumulated vsize (Kb) 12312

[startup+180.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2189 0 0 0 17208 272 0 0 25 0 1 0 1843009334 10428416 2159 4294967295 134512640 134702520 3221223968 3221223232 134553224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2159 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 174.82
Current children cumulated vsize (Kb) 12312

[startup+190.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2192 0 0 0 18147 291 0 0 17 0 1 0 1843009334 10428416 2162 4294967295 134512640 134702520 3221223968 3221223248 134553140 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2162 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 184.4
Current children cumulated vsize (Kb) 12312

[startup+200.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2193 0 0 0 19093 309 0 0 25 0 1 0 1843009334 10428416 2163 4294967295 134512640 134702520 3221223968 3221222864 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2163 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 194.04
Current children cumulated vsize (Kb) 12312

[startup+210.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2195 0 0 0 20088 311 0 0 25 0 1 0 1843009334 10604544 2165 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2589 2165 413 48 0 2541 0
[pid=23445] vsize: 10356
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (Kb) 12484

[startup+220.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2201 0 0 0 21049 325 0 0 25 0 1 0 1843009334 10604544 2171 4294967295 134512640 134702520 3221223968 3221222864 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2589 2171 413 48 0 2541 0
[pid=23445] vsize: 10356
Current children cumulated CPU time (s) 213.76
Current children cumulated vsize (Kb) 12484

[startup+230.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2202 0 0 0 21996 342 0 0 25 0 1 0 1843009334 10604544 2172 4294967295 134512640 134702520 3221223968 3221222992 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2589 2172 413 48 0 2541 0
[pid=23445] vsize: 10356
Current children cumulated CPU time (s) 223.4
Current children cumulated vsize (Kb) 12484

[startup+240.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2202 0 0 0 22975 350 0 0 25 0 1 0 1843009334 10604544 2172 4294967295 134512640 134702520 3221223968 3221222864 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2589 2172 413 48 0 2541 0
[pid=23445] vsize: 10356
Current children cumulated CPU time (s) 233.27
Current children cumulated vsize (Kb) 12484

[startup+250.028 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) T 23442 23442 16528 0 -1 0 2205 0 0 0 23961 355 0 0 25 0 1 0 1843009334 10604544 2175 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2589 2175 413 48 0 2541 0
[pid=23445] vsize: 10356
Current children cumulated CPU time (s) 243.18
Current children cumulated vsize (Kb) 12484

[startup+260.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2208 0 0 0 24915 371 0 0 25 0 1 0 1843009334 10735616 2178 4294967295 134512640 134702520 3221223968 3221222864 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2621 2178 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 252.88
Current children cumulated vsize (Kb) 12612

[startup+270.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) T 23442 23442 16528 0 -1 0 2208 0 0 0 25865 387 0 0 25 0 1 0 1843009334 10735616 2178 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2621 2178 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 262.54
Current children cumulated vsize (Kb) 12612

[startup+280.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2208 0 0 0 26857 390 0 0 25 0 1 0 1843009334 10735616 2178 4294967295 134512640 134702520 3221223968 3221222864 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2621 2178 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 272.49
Current children cumulated vsize (Kb) 12612

[startup+290.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2210 0 0 0 27833 398 0 0 25 0 1 0 1843009334 10735616 2180 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2621 2180 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (Kb) 12612

[startup+300.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2211 0 0 0 28781 417 0 0 25 0 1 0 1843009334 10735616 2181 4294967295 134512640 134702520 3221223968 3221223248 134552175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2621 2181 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 292
Current children cumulated vsize (Kb) 12612

[startup+310.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2211 0 0 0 29728 433 0 0 25 0 1 0 1843009334 10735616 2181 4294967295 134512640 134702520 3221223968 3221222864 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2621 2181 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 301.63
Current children cumulated vsize (Kb) 12612

[startup+320.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2211 0 0 0 30714 438 0 0 25 0 1 0 1843009334 10735616 2181 4294967295 134512640 134702520 3221223968 3221222864 134552831 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23445/statm): 2621 2181 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 311.54
Current children cumulated vsize (Kb) 12612
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=23445) exited with status: 2
New process pid=23446
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=23446) exited with status: 0
New process pid=23447
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+330.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 290 0 0 0 352 16 0 0 25 0 1 0 1843041938 3522560 261 4294967295 134512640 134702520 3221223712 3221222832 134553867 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 860 261 413 48 0 812 0
[pid=23447] vsize: 3440
Current children cumulated CPU time (s) 321.2
Current children cumulated vsize (Kb) 5568

[startup+340.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 291 0 0 0 1293 37 0 0 25 0 1 0 1843041938 3522560 262 4294967295 134512640 134702520 3221223712 3221222720 134551090 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 860 262 413 48 0 812 0
[pid=23447] vsize: 3440
Current children cumulated CPU time (s) 330.82
Current children cumulated vsize (Kb) 5568

[startup+350.038 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 354 0 0 0 2176 76 0 0 22 0 1 0 1843041938 6901760 325 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1685 325 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 340.04
Current children cumulated vsize (Kb) 8868

[startup+360.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 357 0 0 0 3053 117 0 0 25 0 1 0 1843041938 6901760 328 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1685 328 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 349.22
Current children cumulated vsize (Kb) 8868

[startup+370.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 357 0 0 0 4008 133 0 0 25 0 1 0 1843041938 6901760 328 4294967295 134512640 134702520 3221223712 3221222464 134553191 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1685 328 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 358.93
Current children cumulated vsize (Kb) 8868

[startup+380.041 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 362 0 0 0 4880 178 0 0 25 0 1 0 1843041938 6901760 333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1685 333 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 368.1
Current children cumulated vsize (Kb) 8868

[startup+390.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 366 0 0 0 5759 218 0 0 25 0 1 0 1843041938 6901760 337 4294967295 134512640 134702520 3221223712 3221222480 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1685 337 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 377.29
Current children cumulated vsize (Kb) 8868

[startup+400.043 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 366 0 0 0 6700 237 0 0 22 0 1 0 1843041938 6901760 337 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1685 337 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 386.89
Current children cumulated vsize (Kb) 8868

[startup+410.044 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 372 0 0 0 7563 285 0 0 25 0 1 0 1843041938 6901760 343 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1685 343 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 396
Current children cumulated vsize (Kb) 8868

[startup+420.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 374 0 0 0 8459 320 0 0 25 0 1 0 1843041938 6901760 345 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1685 345 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 405.31
Current children cumulated vsize (Kb) 8868

[startup+430.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 376 0 0 0 9390 345 0 0 25 0 1 0 1843041938 6901760 347 4294967295 134512640 134702520 3221223712 3221222608 134552759 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1685 347 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 414.87
Current children cumulated vsize (Kb) 8868

[startup+440.047 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 380 0 0 0 10241 396 0 0 25 0 1 0 1843041938 7028736 351 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 351 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 423.89
Current children cumulated vsize (Kb) 8992

[startup+450.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 382 0 0 0 11138 431 0 0 25 0 1 0 1843041938 7028736 353 4294967295 134512640 134702520 3221223712 3221222480 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 353 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 433.21
Current children cumulated vsize (Kb) 8992

[startup+460.049 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 383 0 0 0 12052 462 0 0 19 0 1 0 1843041938 7028736 354 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 354 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 442.66
Current children cumulated vsize (Kb) 8992

[startup+470.05 s]
Raw data (loadavg): 1.07 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 387 0 0 0 12900 513 0 0 22 0 1 0 1843041938 7028736 358 4294967295 134512640 134702520 3221223712 3221222608 134552924 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 358 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 451.65
Current children cumulated vsize (Kb) 8992

[startup+480.051 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 388 0 0 0 13816 540 0 0 25 0 1 0 1843041938 7028736 359 4294967295 134512640 134702520 3221223712 3221222480 134552441 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 359 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 461.08
Current children cumulated vsize (Kb) 8992

[startup+490.052 s]
Raw data (loadavg): 1.05 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 390 0 0 0 14723 572 0 0 24 0 1 0 1843041938 7028736 361 4294967295 134512640 134702520 3221223712 3221222608 134552412 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 361 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 470.47
Current children cumulated vsize (Kb) 8992

[startup+500.052 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 394 0 0 0 15563 624 0 0 23 0 1 0 1843041938 7028736 365 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1716 365 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 479.39
Current children cumulated vsize (Kb) 8992

[startup+510.052 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 395 0 0 0 16484 652 0 0 25 0 1 0 1843041938 7028736 366 4294967295 134512640 134702520 3221223712 3221222480 134552449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 366 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 488.88
Current children cumulated vsize (Kb) 8992

[startup+520.053 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 396 0 0 0 17386 685 0 0 24 0 1 0 1843041938 7028736 367 4294967295 134512640 134702520 3221223712 3221222608 134553933 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 367 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 498.23
Current children cumulated vsize (Kb) 8992

[startup+530.055 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 401 0 0 0 18225 741 0 0 24 0 1 0 1843041938 7028736 372 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 372 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 507.18
Current children cumulated vsize (Kb) 8992

[startup+540.055 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 402 0 0 0 19147 767 0 0 25 0 1 0 1843041938 7028736 373 4294967295 134512640 134702520 3221223712 3221222464 134553215 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 373 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 516.66
Current children cumulated vsize (Kb) 8992

[startup+550.055 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 404 0 0 0 20045 802 0 0 23 0 1 0 1843041938 7028736 375 4294967295 134512640 134702520 3221223712 3221222548 134549017 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 375 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 525.99
Current children cumulated vsize (Kb) 8992

[startup+560.056 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 409 0 0 0 20872 857 0 0 24 0 1 0 1843041938 7028736 380 4294967295 134512640 134702520 3221223712 3221222608 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 380 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 534.81
Current children cumulated vsize (Kb) 8992

[startup+570.057 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 410 0 0 0 21794 884 0 0 25 0 1 0 1843041938 7028736 381 4294967295 134512640 134702520 3221223712 3221222480 134552857 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 381 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 544.3
Current children cumulated vsize (Kb) 8992

[startup+580.057 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 412 0 0 0 22695 919 0 0 23 0 1 0 1843041938 7028736 383 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 383 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 553.66
Current children cumulated vsize (Kb) 8992

[startup+590.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 416 0 0 0 23525 976 0 0 19 0 1 0 1843041938 7028736 387 4294967295 134512640 134702520 3221223712 3221222608 134552412 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 387 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 562.53
Current children cumulated vsize (Kb) 8992

[startup+600.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 417 0 0 0 24438 1006 0 0 25 0 1 0 1843041938 7028736 388 4294967295 134512640 134702520 3221223712 3221222608 134553125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 388 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 571.96
Current children cumulated vsize (Kb) 8992

[startup+610.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 418 0 0 0 25323 1043 0 0 19 0 1 0 1843041938 7028736 389 4294967295 134512640 134702520 3221223712 3221206208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 389 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 581.18
Current children cumulated vsize (Kb) 8992

[startup+620.061 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 422 0 0 0 26154 1097 0 0 24 0 1 0 1843041938 7028736 393 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 393 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 590.03
Current children cumulated vsize (Kb) 8992

[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 424 0 0 0 27044 1135 0 0 25 0 1 0 1843041938 7028736 395 4294967295 134512640 134702520 3221223712 3221222480 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 395 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 599.31
Current children cumulated vsize (Kb) 8992

[startup+640.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 425 0 0 0 27955 1163 0 0 24 0 1 0 1843041938 7028736 396 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1716 396 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 608.7
Current children cumulated vsize (Kb) 8992

[startup+650.064 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 429 0 0 0 28763 1231 0 0 17 0 1 0 1843041938 7028736 400 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1716 400 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 617.46
Current children cumulated vsize (Kb) 8992

[startup+660.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 431 0 0 0 29642 1271 0 0 25 0 1 0 1843041938 7028736 402 4294967295 134512640 134702520 3221223712 3221222480 134550697 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 402 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 626.65
Current children cumulated vsize (Kb) 8992

[startup+670.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 432 0 0 0 30565 1297 0 0 21 0 1 0 1843041938 7028736 403 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1716 403 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 636.14
Current children cumulated vsize (Kb) 8992

[startup+680.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 435 0 0 0 31382 1357 0 0 23 0 1 0 1843041938 7028736 406 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1716 406 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 644.91
Current children cumulated vsize (Kb) 8992

[startup+690.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 440 0 0 0 32236 1407 0 0 25 0 1 0 1843041938 7028736 411 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 411 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 653.95
Current children cumulated vsize (Kb) 8992

[startup+700.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 440 0 0 0 33190 1422 0 0 25 0 1 0 1843041938 7028736 411 4294967295 134512640 134702520 3221223712 3221222420 134549005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 411 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 663.64
Current children cumulated vsize (Kb) 8992

[startup+710.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 444 0 0 0 33983 1492 0 0 21 0 1 0 1843041938 7028736 415 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 415 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 672.27
Current children cumulated vsize (Kb) 8992

[startup+720.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 445 0 0 0 34821 1546 0 0 25 0 1 0 1843041938 7028736 416 4294967295 134512640 134702520 3221223712 3221222608 134553165 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 416 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 681.19
Current children cumulated vsize (Kb) 8992

[startup+730.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 446 0 0 0 35770 1563 0 0 25 0 1 0 1843041938 7028736 417 4294967295 134512640 134702520 3221223712 3221222608 134552539 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 417 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 690.85
Current children cumulated vsize (Kb) 8992

[startup+740.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 908 0 0 0 36603 1621 0 0 24 0 1 0 1843041938 8515584 879 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2079 879 413 48 0 2031 0
[pid=23447] vsize: 8316
Current children cumulated CPU time (s) 699.76
Current children cumulated vsize (Kb) 10444

[startup+750.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1008 0 0 0 37425 1686 0 0 23 0 1 0 1843041938 8650752 912 4294967295 134512640 134702520 3221223712 3221222608 134552785 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2112 912 413 48 0 2064 0
[pid=23447] vsize: 8448
Current children cumulated CPU time (s) 708.63
Current children cumulated vsize (Kb) 10576

[startup+760.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1009 0 0 0 38338 1717 0 0 25 0 1 0 1843041938 8650752 913 4294967295 134512640 134702520 3221223712 3221222464 134553231 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2112 913 413 48 0 2064 0
[pid=23447] vsize: 8448
Current children cumulated CPU time (s) 718.07
Current children cumulated vsize (Kb) 10576

[startup+770.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1012 0 0 0 39235 1754 0 0 22 0 1 0 1843041938 8650752 916 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2112 916 413 48 0 2064 0
[pid=23447] vsize: 8448
Current children cumulated CPU time (s) 727.41
Current children cumulated vsize (Kb) 10576

[startup+780.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1102 0 0 0 40063 1812 0 0 23 0 1 0 1843041938 9101312 1006 4294967295 134512640 134702520 3221223712 3221223104 134605875 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2222 1006 413 48 0 2174 0
[pid=23447] vsize: 8888
Current children cumulated CPU time (s) 736.27
Current children cumulated vsize (Kb) 11016

[startup+790.077 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1129 0 0 0 40897 1870 0 0 25 0 1 0 1843041938 8785920 940 4294967295 134512640 134702520 3221223712 3221222420 134549010 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2145 940 413 48 0 2097 0
[pid=23447] vsize: 8580
Current children cumulated CPU time (s) 745.19
Current children cumulated vsize (Kb) 10708

[startup+800.077 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1129 0 0 0 41853 1885 0 0 25 0 1 0 1843041938 8785920 940 4294967295 134512640 134702520 3221223712 3221222480 134553027 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2145 940 413 48 0 2097 0
[pid=23447] vsize: 8580
Current children cumulated CPU time (s) 754.9
Current children cumulated vsize (Kb) 10708

[startup+810.078 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1221 0 0 0 42666 1944 0 0 21 0 1 0 1843041938 9236480 1032 4294967295 134512640 134702520 3221223712 3221200608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2255 1032 413 48 0 2207 0
[pid=23447] vsize: 9020
Current children cumulated CPU time (s) 763.62
Current children cumulated vsize (Kb) 11148

[startup+820.079 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1263 0 0 0 43489 2001 0 0 21 0 1 0 1843041938 9236480 1067 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2255 1067 413 48 0 2207 0
[pid=23447] vsize: 9020
Current children cumulated CPU time (s) 772.42
Current children cumulated vsize (Kb) 11148

[startup+830.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1277 0 0 0 44389 2034 0 0 25 0 1 0 1843041938 8785920 961 4294967295 134512640 134702520 3221223712 3221222480 134553514 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2145 961 413 48 0 2097 0
[pid=23447] vsize: 8580
Current children cumulated CPU time (s) 781.75
Current children cumulated vsize (Kb) 10708

[startup+840.081 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1278 0 0 0 45300 2066 0 0 25 0 1 0 1843041938 8785920 962 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2145 962 413 48 0 2097 0
[pid=23447] vsize: 8580
Current children cumulated CPU time (s) 791.18
Current children cumulated vsize (Kb) 10708

[startup+850.082 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1417 0 0 0 46106 2130 0 0 23 0 1 0 1843041938 9371648 1082 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2288 1082 413 48 0 2240 0
[pid=23447] vsize: 9152
Current children cumulated CPU time (s) 799.88
Current children cumulated vsize (Kb) 11280

[startup+860.082 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1494 0 0 0 46937 2187 0 0 25 0 1 0 1843041938 8916992 978 4294967295 134512640 134702520 3221223712 3221222592 134553867 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2177 978 413 48 0 2129 0
[pid=23447] vsize: 8708
Current children cumulated CPU time (s) 808.76
Current children cumulated vsize (Kb) 10836

[startup+870.083 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1495 0 0 0 47877 2207 0 0 25 0 1 0 1843041938 8916992 979 4294967295 134512640 134702520 3221223712 3221222480 134552903 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2177 979 413 48 0 2129 0
[pid=23447] vsize: 8708
Current children cumulated CPU time (s) 818.36
Current children cumulated vsize (Kb) 10836

[startup+880.084 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1581 0 0 0 48731 2256 0 0 25 0 1 0 1843041938 9367552 1065 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2287 1065 413 48 0 2239 0
[pid=23447] vsize: 9148
Current children cumulated CPU time (s) 827.39
Current children cumulated vsize (Kb) 11276

[startup+890.084 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1723 0 0 0 49528 2327 0 0 19 0 1 0 1843041938 9818112 1139 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2397 1139 413 48 0 2349 0
[pid=23447] vsize: 9588
Current children cumulated CPU time (s) 836.07
Current children cumulated vsize (Kb) 11716

[startup+900.084 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1813 0 0 0 50392 2375 0 0 25 0 1 0 1843041938 8916992 1002 4294967295 134512640 134702520 3221223712 3221222480 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2177 1002 413 48 0 2129 0
[pid=23447] vsize: 8708
Current children cumulated CPU time (s) 845.19
Current children cumulated vsize (Kb) 10836

[startup+910.085 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1813 0 0 0 51345 2390 0 0 25 0 1 0 1843041938 8916992 1002 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2177 1002 413 48 0 2129 0
[pid=23447] vsize: 8708
Current children cumulated CPU time (s) 854.87
Current children cumulated vsize (Kb) 10836

[startup+920.085 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1985 0 0 0 52141 2458 0 0 24 0 1 0 1843041938 9506816 1123 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2321 1123 413 48 0 2273 0
[pid=23447] vsize: 9284
Current children cumulated CPU time (s) 863.51
Current children cumulated vsize (Kb) 11412

[startup+930.086 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2079 0 0 0 52971 2518 0 0 21 0 1 0 1843041938 9957376 1217 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2431 1217 413 48 0 2383 0
[pid=23447] vsize: 9724
Current children cumulated CPU time (s) 872.41
Current children cumulated vsize (Kb) 11852

[startup+940.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2092 0 0 0 53856 2557 0 0 25 0 1 0 1843041938 9056256 1025 4294967295 134512640 134702520 3221223712 3221222480 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1025 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 881.65
Current children cumulated vsize (Kb) 10972

[startup+950.087 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2092 0 0 0 54767 2586 0 0 22 0 1 0 1843041938 9056256 1025 4294967295 134512640 134702520 3221223712 3221222608 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1025 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 891.05
Current children cumulated vsize (Kb) 10972

[startup+960.088 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2301 0 0 0 55584 2651 0 0 21 0 1 0 1843041938 9957376 1217 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2431 1217 413 48 0 2383 0
[pid=23447] vsize: 9724
Current children cumulated CPU time (s) 899.87
Current children cumulated vsize (Kb) 11852

[startup+970.089 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2354 0 0 0 56393 2714 0 0 17 0 1 0 1843041938 9056256 1041 4294967295 134512640 134702520 3221223712 3221222588 134564336 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1041 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 908.59
Current children cumulated vsize (Kb) 10972

[startup+980.09 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2354 0 0 0 57312 2743 0 0 25 0 1 0 1843041938 9056256 1041 4294967295 134512640 134702520 3221223712 3221222480 134552778 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1041 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 918.07
Current children cumulated vsize (Kb) 10972

[startup+990.09 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2355 0 0 0 58207 2777 0 0 22 0 1 0 1843041938 9056256 1042 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1042 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 927.36
Current children cumulated vsize (Kb) 10972

[startup+1000.09 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2357 0 0 0 58991 2850 0 0 17 0 1 0 1843041938 9056256 1044 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2211 1044 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 935.93
Current children cumulated vsize (Kb) 10972

[startup+1010.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2358 0 0 0 59825 2907 0 0 25 0 1 0 1843041938 9056256 1045 4294967295 134512640 134702520 3221223712 3221222448 134548991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1045 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 944.84
Current children cumulated vsize (Kb) 10972

[startup+1020.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2358 0 0 0 60780 2922 0 0 25 0 1 0 1843041938 9056256 1045 4294967295 134512640 134702520 3221223712 3221222480 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1045 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 954.54
Current children cumulated vsize (Kb) 10972

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2361 0 0 0 61572 2991 0 0 18 0 1 0 1843041938 9056256 1048 4294967295 134512640 134702520 3221223712 3221222608 134550667 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1048 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 963.15
Current children cumulated vsize (Kb) 10972

[startup+1040.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2363 0 0 0 62344 3064 0 0 24 0 1 0 1843041938 9056256 1050 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1050 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 971.6
Current children cumulated vsize (Kb) 10972

[startup+1050.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2363 0 0 0 63269 3090 0 0 25 0 1 0 1843041938 9056256 1050 4294967295 134512640 134702520 3221223712 3221222480 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1050 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 981.11
Current children cumulated vsize (Kb) 10972

[startup+1060.1 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2364 0 0 0 64128 3135 0 0 19 0 1 0 1843041938 9056256 1051 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1051 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 990.15
Current children cumulated vsize (Kb) 10972

[startup+1070.1 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2366 0 0 0 64906 3213 0 0 20 0 1 0 1843041938 9056256 1053 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1053 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 998.71
Current children cumulated vsize (Kb) 10972

[startup+1080.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2367 0 0 0 65733 3271 0 0 25 0 1 0 1843041938 9056256 1054 4294967295 134512640 134702520 3221223712 3221222448 134548991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1054 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1007.56
Current children cumulated vsize (Kb) 10972

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2367 0 0 0 66689 3286 0 0 25 0 1 0 1843041938 9056256 1054 4294967295 134512640 134702520 3221223712 3221222480 134554394 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1054 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1017.27
Current children cumulated vsize (Kb) 10972

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2369 0 0 0 67464 3360 0 0 23 0 1 0 1843041938 9056256 1056 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1056 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1025.76
Current children cumulated vsize (Kb) 10972

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2371 0 0 0 68226 3443 0 0 20 0 1 0 1843041938 9056256 1058 4294967295 134512640 134702520 3221223712 3221222576 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1058 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1034.21
Current children cumulated vsize (Kb) 10972

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2371 0 0 0 69146 3468 0 0 25 0 1 0 1843041938 9056256 1058 4294967295 134512640 134702520 3221223712 3221222480 134552810 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1058 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1043.66
Current children cumulated vsize (Kb) 10972

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2372 0 0 0 70036 3506 0 0 25 0 1 0 1843041938 9056256 1059 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1059 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1052.94
Current children cumulated vsize (Kb) 10972

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2374 0 0 0 70802 3583 0 0 25 0 1 0 1843041938 9056256 1061 4294967295 134512640 134702520 3221223712 3221222608 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1061 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1061.37
Current children cumulated vsize (Kb) 10972

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2376 0 0 0 71597 3654 0 0 25 0 1 0 1843041938 9056256 1063 4294967295 134512640 134702520 3221223712 3221222608 134552354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1063 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1070.03
Current children cumulated vsize (Kb) 10972

[startup+1160.11 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2376 0 0 0 72544 3672 0 0 25 0 1 0 1843041938 9056256 1063 4294967295 134512640 134702520 3221223712 3221222480 134552539 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1063 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1079.68
Current children cumulated vsize (Kb) 10972

[startup+1170.11 s]
Raw data (loadavg): 1.14 1.03 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2377 0 0 0 73359 3736 0 0 22 0 1 0 1843041938 9056256 1064 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1064 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1088.47
Current children cumulated vsize (Kb) 10972

[startup+1180.11 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2379 0 0 0 74131 3812 0 0 25 0 1 0 1843041938 9056256 1066 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2211 1066 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1096.95
Current children cumulated vsize (Kb) 10972

[startup+1190.11 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2380 0 0 0 74986 3860 0 0 25 0 1 0 1843041938 9056256 1067 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1067 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1105.98
Current children cumulated vsize (Kb) 10972

[startup+1200.11 s]
Raw data (loadavg): 1.08 1.03 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2380 0 0 0 75895 3891 0 0 19 0 1 0 1843041938 9056256 1067 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2211 1067 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1115.38
Current children cumulated vsize (Kb) 10972

[startup+1210.11 s]
Raw data (loadavg): 1.07 1.03 1.01 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2382 0 0 0 76673 3967 0 0 21 0 1 0 1843041938 9056256 1069 4294967295 134512640 134702520 3221223712 3221222992 134552799 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1069 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1123.92
Current children cumulated vsize (Kb) 10972

[startup+1220.11 s]
Raw data (loadavg): 1.14 1.04 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2384 0 0 0 77433 4047 0 0 25 0 1 0 1843041938 9056256 1071 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1071 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1132.32
Current children cumulated vsize (Kb) 10972

[startup+1230.11 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2384 0 0 0 78358 4075 0 0 25 0 1 0 1843041938 9056256 1071 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1071 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1141.85
Current children cumulated vsize (Kb) 10972

[startup+1240.11 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2385 0 0 0 79208 4125 0 0 17 0 1 0 1843041938 9056256 1072 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1072 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1150.85
Current children cumulated vsize (Kb) 10972

[startup+1250.11 s]
Raw data (loadavg): 1.08 1.04 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2387 0 0 0 80000 4194 0 0 25 0 1 0 1843041938 9056256 1074 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1074 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1159.46
Current children cumulated vsize (Kb) 10972

[startup+1260.12 s]
Raw data (loadavg): 1.07 1.03 1.01 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2388 0 0 0 80783 4265 0 0 25 0 1 0 1843041938 9056256 1075 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1075 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1168
Current children cumulated vsize (Kb) 10972

[startup+1270.12 s]
Raw data (loadavg): 1.06 1.03 1.01 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2388 0 0 0 81734 4283 0 0 25 0 1 0 1843041938 9056256 1075 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2211 1075 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1177.69
Current children cumulated vsize (Kb) 10972

[startup+1280.12 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2390 0 0 0 82532 4349 0 0 23 0 1 0 1843041938 9056256 1077 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1077 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1186.33
Current children cumulated vsize (Kb) 10972

[startup+1290.12 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2392 0 0 0 83284 4428 0 0 24 0 1 0 1843041938 9056256 1079 4294967295 134512640 134702520 3221223712 3221222608 134550667 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1079 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1194.64
Current children cumulated vsize (Kb) 10972

[startup+1300.12 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2393 0 0 0 84129 4480 0 0 25 0 1 0 1843041938 9056256 1080 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1080 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1203.61
Current children cumulated vsize (Kb) 10972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1300.12 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2393 0 0 0 84129 4480 0 0 25 0 1 0 1843041938 9056256 1080 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1080 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1203.61
Current children cumulated vsize (Kb) 10972

Sending SIGTERM to -23442
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=23449
New process pid=23450
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=23447) exited with status: 3
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/15372/stat
open syscall for file /proc/15372/status
open syscall for file /proc/15372/cmdline
open syscall for file /proc/15372/environ
open syscall for file /proc/2659/stat
open syscall for file /proc/2659/status
open syscall for file /proc/2659/cmdline
open syscall for file /proc/2659/environ
open syscall for file /proc/2686/stat
open syscall for file /proc/2686/status
open syscall for file /proc/2686/cmdline
open syscall for file /proc/2686/environ
open syscall for file /proc/2710/stat
open syscall for file /proc/2710/status
open syscall for file /proc/2710/cmdline
open syscall for file /proc/2710/environ
open syscall for file /proc/30711/stat
open syscall for file /proc/30711/status
open syscall for file /proc/30711/cmdline
open syscall for file /proc/30711/environ
open syscall for file /proc/30712/stat
open syscall for file /proc/30712/status
open syscall for file /proc/30712/cmdline
open syscall for file /proc/30712/environ
open syscall for file /proc/704/stat
open syscall for file /proc/704/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/704/cmdline
open syscall for file /proc/704/environ
open syscall for file /proc/739/stat
open syscall for file /proc/739/status
open syscall for file /proc/739/cmdline
open syscall for file /proc/739/environ
open syscall for file /proc/16528/stat
open syscall for file /proc/16528/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/16528/cmdline
open syscall for file /proc/16528/environ
open syscall for file /proc/16529/stat
open syscall for file /proc/16529/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/16529/cmdline
open syscall for file /proc/16529/environ
open syscall for file /proc/16538/stat
open syscall for file /proc/16538/status
open syscall for file /proc/16538/cmdline
open syscall for file /proc/16538/environ
open syscall for file /proc/23405/stat
open syscall for file /proc/23405/status
open syscall for file /proc/23405/cmdline
open syscall for file /proc/23405/environ
open syscall for file /proc/23441/stat
open syscall for file /proc/23441/status
open syscall for file /proc/23441/cmdline
open syscall for file /proc/23441/environ
open syscall for file /proc/23442/stat
open syscall for file /proc/23442/status
open syscall for file /proc/23442/cmdline
open syscall for file /proc/23442/environ
open syscall for file /proc/23449/stat
open syscall for file /proc/23449/status
open syscall for file /proc/23449/cmdline
open syscall for file /proc/23449/environ
open syscall for file /proc/23450/stat
open syscall for file /proc/23450/status
open syscall for file /proc/23450/cmdline
open syscall for file /proc/23450/environ
One traced child (pid=23449) exited with status: 0
One traced child (pid=23450) exited with status: 0
New process pid=23451
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=23451) exited with status: 0
New process pid=23452
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=23452) exited with status: 0
One traced child (pid=23442) 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): 1300.62
CPU time (s): 1203.75
CPU user time (s): 1154.41
CPU system time (s): 49.3405
CPU usage (%): 92.5519
Max. virtual memory (cumulated for all children) (Kb): 12612

Verifier Data

ERROR: no interpretation found !