Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qiu.opb
MD5SUM4c28b5d69ca148b9520954a67787770d
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 5328
Biggest coefficient in the objective function 8885108736
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 4692033563496
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 8885108736
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 4692033563496
Number of bits of the biggest sum of numbers43
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark98.783
Number of variables15888
Total number of constraints1192
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1192
Minimum length of a constraint21
Maximum length of a constraint3960

Trace number 9338

Launcher Data

LAUNCH ON wulflinc6 THE 2005-09-23 12:41:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8074 boxname=wulflinc6 idbench=1042 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4c28b5d69ca148b9520954a67787770d  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-qiu.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-qiu.opb 0
IDLAUNCH: 8074
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
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	: 2
cpu MHz		: 451.158
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:        937384 kB
Buffers:         10868 kB
Cached:          69100 kB
SwapCached:          0 kB
Active:          41596 kB
Inactive:        41320 kB
HighTotal:      131008 kB
HighFree:        58324 kB
LowTotal:       903652 kB
LowFree:        879060 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8772 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:01:30 (client local time) WITH STATUS 0 IN 655.108 SECONDS
stats: 8074 7 655.108 0

Solver Data

1:
seed: 0
Nr of vars set: 9552  (#equs: 0)
Nr of vars set: 9948  (#equs: 0)
#decisions: 49455;  #end-nodes: 20079;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 1323, #non-axs: 3
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 28, end (keep): 46
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 9954  (#equs: 0)
Time taken: 9 min, 13 sec

2:

Watcher Data

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

[startup+10.0034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1112 0 0 0 981 6 0 0 25 0 1 0 20281823 6107136 1016 4294967295 134512640 134702520 3221223968 3220992124 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 1491 1016 413 48 0 1443 0
[pid=5836] vsize: 5964
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 8092

[startup+20.0042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1192 0 0 0 1981 6 0 0 25 0 1 0 20281823 6434816 1096 4294967295 134512640 134702520 3221223968 3220665584 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 1571 1096 413 48 0 1523 0
[pid=5836] vsize: 6284
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (Kb) 8412

[startup+30.0049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1314 0 0 0 2981 6 0 0 25 0 1 0 20281823 6934528 1218 4294967295 134512640 134702520 3221223968 3220167824 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 1693 1218 413 48 0 1645 0
[pid=5836] vsize: 6772
Current children cumulated CPU time (s) 29.89
Current children cumulated vsize (Kb) 8900

[startup+40.0057 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1470 0 0 0 3963 11 0 0 25 0 1 0 20281823 10936320 1374 4294967295 134512640 134702520 3221223968 3221122624 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1374 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 39.76
Current children cumulated vsize (Kb) 12808

[startup+50.0064 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1470 0 0 0 4963 11 0 0 25 0 1 0 20281823 10936320 1374 4294967295 134512640 134702520 3221223968 3220925824 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1374 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (Kb) 12808

[startup+60.0072 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1470 0 0 0 5963 11 0 0 25 0 1 0 20281823 10936320 1374 4294967295 134512640 134702520 3221223968 3220705824 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1374 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 59.76
Current children cumulated vsize (Kb) 12808

[startup+70.0079 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1470 0 0 0 6963 11 0 0 25 0 1 0 20281823 10936320 1374 4294967295 134512640 134702520 3221223968 3220352844 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1374 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 69.76
Current children cumulated vsize (Kb) 12808

[startup+80.0087 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1471 0 0 0 7949 16 0 0 25 0 1 0 20281823 10936320 1375 4294967295 134512640 134702520 3221223968 3221180524 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5836/statm): 2670 1375 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 79.67
Current children cumulated vsize (Kb) 12808

[startup+90.0094 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1471 0 0 0 8949 16 0 0 25 0 1 0 20281823 10936320 1375 4294967295 134512640 134702520 3221223968 3220991584 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5836/statm): 2670 1375 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 89.67
Current children cumulated vsize (Kb) 12808

[startup+100.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1471 0 0 0 9949 16 0 0 25 0 1 0 20281823 10936320 1375 4294967295 134512640 134702520 3221223968 3220782124 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5836/statm): 2670 1375 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 99.67
Current children cumulated vsize (Kb) 12808

[startup+110.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1471 0 0 0 10950 16 0 0 25 0 1 0 20281823 10936320 1375 4294967295 134512640 134702520 3221223968 3220519404 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5836/statm): 2670 1375 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 109.68
Current children cumulated vsize (Kb) 12808

[startup+120.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1471 0 0 0 11950 16 0 0 25 0 1 0 20281823 10936320 1375 4294967295 134512640 134702520 3221223968 3219759584 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5836/statm): 2670 1375 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 119.68
Current children cumulated vsize (Kb) 12808

[startup+130.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1471 0 0 0 12935 21 0 0 25 0 1 0 20281823 10936320 1375 4294967295 134512640 134702520 3221223968 3221057644 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1375 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 129.58
Current children cumulated vsize (Kb) 12808

[startup+140.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1471 0 0 0 13935 21 0 0 25 0 1 0 20281823 10936320 1375 4294967295 134512640 134702520 3221223968 3220854784 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5836/statm): 2670 1375 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 139.58
Current children cumulated vsize (Kb) 12808

[startup+150.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1471 0 0 0 14935 21 0 0 25 0 1 0 20281823 10936320 1375 4294967295 134512640 134702520 3221223968 3220627424 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5836/statm): 2670 1375 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 149.58
Current children cumulated vsize (Kb) 12808

[startup+160.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1471 0 0 0 15935 21 0 0 25 0 1 0 20281823 10936320 1375 4294967295 134512640 134702520 3221223968 3220155744 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5836/statm): 2670 1375 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 159.58
Current children cumulated vsize (Kb) 12808

[startup+170.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1472 0 0 0 16920 25 0 0 25 0 1 0 20281823 10936320 1376 4294967295 134512640 134702520 3221223968 3221124044 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1376 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 169.47
Current children cumulated vsize (Kb) 12808

[startup+180.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1472 0 0 0 17920 25 0 0 25 0 1 0 20281823 10936320 1376 4294967295 134512640 134702520 3221223968 3220928544 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5836/statm): 2670 1376 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 179.47
Current children cumulated vsize (Kb) 12808

[startup+190.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1472 0 0 0 18920 25 0 0 25 0 1 0 20281823 10936320 1376 4294967295 134512640 134702520 3221223968 3220711244 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5836/statm): 2670 1376 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 189.47
Current children cumulated vsize (Kb) 12808

[startup+200.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1472 0 0 0 19920 25 0 0 25 0 1 0 20281823 10936320 1376 4294967295 134512640 134702520 3221223968 3220372064 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5836/statm): 2670 1376 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 199.47
Current children cumulated vsize (Kb) 12808

[startup+210.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1472 0 0 0 20905 30 0 0 25 0 1 0 20281823 10936320 1376 4294967295 134512640 134702520 3221223968 3221189184 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1376 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 209.37
Current children cumulated vsize (Kb) 12808

[startup+220.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1472 0 0 0 21905 30 0 0 25 0 1 0 20281823 10936320 1376 4294967295 134512640 134702520 3221223968 3220999084 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1376 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 219.37
Current children cumulated vsize (Kb) 12808

[startup+230.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1472 0 0 0 22905 30 0 0 25 0 1 0 20281823 10936320 1376 4294967295 134512640 134702520 3221223968 3220788544 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1376 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 229.37
Current children cumulated vsize (Kb) 12808

[startup+240.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1472 0 0 0 23905 30 0 0 25 0 1 0 20281823 10936320 1376 4294967295 134512640 134702520 3221223968 3220529184 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1376 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 239.37
Current children cumulated vsize (Kb) 12808

[startup+250.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1472 0 0 0 24905 30 0 0 25 0 1 0 20281823 10936320 1376 4294967295 134512640 134702520 3221223968 3219791884 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1376 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 249.37
Current children cumulated vsize (Kb) 12808

[startup+260.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1473 0 0 0 25890 36 0 0 25 0 1 0 20281823 10936320 1377 4294967295 134512640 134702520 3221223968 3221061964 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1377 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 259.28
Current children cumulated vsize (Kb) 12808

[startup+270.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1473 0 0 0 26890 36 0 0 25 0 1 0 20281823 10936320 1377 4294967295 134512640 134702520 3221223968 3220858624 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1377 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 269.28
Current children cumulated vsize (Kb) 12808

[startup+280.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1473 0 0 0 27890 36 0 0 25 0 1 0 20281823 10936320 1377 4294967295 134512640 134702520 3221223968 3220629664 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1377 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 279.28
Current children cumulated vsize (Kb) 12808

[startup+290.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1473 0 0 0 28890 36 0 0 25 0 1 0 20281823 10936320 1377 4294967295 134512640 134702520 3221223968 3220156224 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1377 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 289.28
Current children cumulated vsize (Kb) 12808

[startup+300.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1473 0 0 0 29875 41 0 0 25 0 1 0 20281823 10936320 1377 4294967295 134512640 134702520 3221223968 3221124864 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1377 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 299.18
Current children cumulated vsize (Kb) 12808

[startup+310.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1473 0 0 0 30876 41 0 0 25 0 1 0 20281823 10936320 1377 4294967295 134512640 134702520 3221223968 3220928224 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1377 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 309.19
Current children cumulated vsize (Kb) 12808

[startup+320.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1473 0 0 0 31876 41 0 0 25 0 1 0 20281823 10936320 1377 4294967295 134512640 134702520 3221223968 3220708844 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1377 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 319.19
Current children cumulated vsize (Kb) 12808

[startup+330.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1473 0 0 0 32876 41 0 0 25 0 1 0 20281823 10936320 1377 4294967295 134512640 134702520 3221223968 3220361644 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1377 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 329.19
Current children cumulated vsize (Kb) 12808

[startup+340.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1524 0 0 0 33855 47 0 0 25 0 1 0 20281823 10936320 1428 4294967295 134512640 134702520 3221223968 3221187404 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1428 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 339.04
Current children cumulated vsize (Kb) 12808

[startup+350.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1524 0 0 0 34855 47 0 0 25 0 1 0 20281823 10936320 1428 4294967295 134512640 134702520 3221223968 3220997184 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1428 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 349.04
Current children cumulated vsize (Kb) 12808

[startup+360.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1524 0 0 0 35855 47 0 0 25 0 1 0 20281823 10936320 1428 4294967295 134512640 134702520 3221223968 3220786464 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1428 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 359.04
Current children cumulated vsize (Kb) 12808

[startup+370.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1524 0 0 0 36855 47 0 0 25 0 1 0 20281823 10936320 1428 4294967295 134512640 134702520 3221223968 3220525164 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1428 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 369.04
Current children cumulated vsize (Kb) 12808

[startup+380.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1524 0 0 0 37856 47 0 0 25 0 1 0 20281823 10936320 1428 4294967295 134512640 134702520 3221223968 3219767744 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2670 1428 413 48 0 2622 0
[pid=5836] vsize: 10680
Current children cumulated CPU time (s) 379.05
Current children cumulated vsize (Kb) 12808

[startup+390.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1583 0 0 0 38840 52 0 0 25 0 1 0 20281823 11350016 1487 4294967295 134512640 134702520 3221223968 3221063744 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2771 1487 413 48 0 2723 0
[pid=5836] vsize: 11084
Current children cumulated CPU time (s) 388.94
Current children cumulated vsize (Kb) 13212

[startup+400.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1583 0 0 0 39840 52 0 0 25 0 1 0 20281823 11350016 1487 4294967295 134512640 134702520 3221223968 3220860688 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2771 1487 413 48 0 2723 0
[pid=5836] vsize: 11084
Current children cumulated CPU time (s) 398.94
Current children cumulated vsize (Kb) 13212

[startup+410.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1583 0 0 0 40840 52 0 0 25 0 1 0 20281823 11350016 1487 4294967295 134512640 134702520 3221223968 3220631904 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2771 1487 413 48 0 2723 0
[pid=5836] vsize: 11084
Current children cumulated CPU time (s) 408.94
Current children cumulated vsize (Kb) 13212

[startup+420.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1583 0 0 0 41840 52 0 0 25 0 1 0 20281823 11350016 1487 4294967295 134512640 134702520 3221223968 3220162944 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2771 1487 413 48 0 2723 0
[pid=5836] vsize: 11084
Current children cumulated CPU time (s) 418.94
Current children cumulated vsize (Kb) 13212

[startup+430.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1642 0 0 0 42816 61 0 0 25 0 1 0 20281823 11350016 1546 4294967295 134512640 134702520 3221223968 3221132224 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2771 1546 413 48 0 2723 0
[pid=5836] vsize: 11084
Current children cumulated CPU time (s) 428.79
Current children cumulated vsize (Kb) 13212

[startup+440.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1642 0 0 0 43816 61 0 0 25 0 1 0 20281823 11350016 1546 4294967295 134512640 134702520 3221223968 3220936524 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2771 1546 413 48 0 2723 0
[pid=5836] vsize: 11084
Current children cumulated CPU time (s) 438.79
Current children cumulated vsize (Kb) 13212

[startup+450.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1642 0 0 0 44816 61 0 0 25 0 1 0 20281823 11350016 1546 4294967295 134512640 134702520 3221223968 3220718144 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2771 1546 413 48 0 2723 0
[pid=5836] vsize: 11084
Current children cumulated CPU time (s) 448.79
Current children cumulated vsize (Kb) 13212

[startup+460.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1642 0 0 0 45816 61 0 0 25 0 1 0 20281823 11350016 1546 4294967295 134512640 134702520 3221223968 3220382624 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2771 1546 413 48 0 2723 0
[pid=5836] vsize: 11084
Current children cumulated CPU time (s) 458.79
Current children cumulated vsize (Kb) 13212

[startup+470.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1700 0 0 0 46796 67 0 0 25 0 1 0 20281823 11763712 1604 4294967295 134512640 134702520 3221223968 3221201504 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2872 1604 413 48 0 2824 0
[pid=5836] vsize: 11488
Current children cumulated CPU time (s) 468.65
Current children cumulated vsize (Kb) 13616

[startup+480.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1700 0 0 0 47796 67 0 0 25 0 1 0 20281823 11763712 1604 4294967295 134512640 134702520 3221223968 3221012544 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2872 1604 413 48 0 2824 0
[pid=5836] vsize: 11488
Current children cumulated CPU time (s) 478.65
Current children cumulated vsize (Kb) 13616

[startup+490.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1700 0 0 0 48796 67 0 0 25 0 1 0 20281823 11763712 1604 4294967295 134512640 134702520 3221223968 3220803584 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2872 1604 413 48 0 2824 0
[pid=5836] vsize: 11488
Current children cumulated CPU time (s) 488.65
Current children cumulated vsize (Kb) 13616

[startup+500.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1700 0 0 0 49796 67 0 0 25 0 1 0 20281823 11763712 1604 4294967295 134512640 134702520 3221223968 3220558144 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2872 1604 413 48 0 2824 0
[pid=5836] vsize: 11488
Current children cumulated CPU time (s) 498.65
Current children cumulated vsize (Kb) 13616

[startup+510.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1700 0 0 0 50796 67 0 0 25 0 1 0 20281823 11763712 1604 4294967295 134512640 134702520 3221223968 3219911424 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2872 1604 413 48 0 2824 0
[pid=5836] vsize: 11488
Current children cumulated CPU time (s) 508.65
Current children cumulated vsize (Kb) 13616

[startup+520.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1755 0 0 0 51771 76 0 0 25 0 1 0 20281823 11763712 1659 4294967295 134512640 134702520 3221223968 3221087084 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2872 1659 413 48 0 2824 0
[pid=5836] vsize: 11488
Current children cumulated CPU time (s) 518.49
Current children cumulated vsize (Kb) 13616

[startup+530.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1755 0 0 0 52771 76 0 0 25 0 1 0 20281823 11763712 1659 4294967295 134512640 134702520 3221223968 3220886624 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2872 1659 413 48 0 2824 0
[pid=5836] vsize: 11488
Current children cumulated CPU time (s) 528.49
Current children cumulated vsize (Kb) 13616

[startup+540.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1755 0 0 0 53771 76 0 0 25 0 1 0 20281823 11763712 1659 4294967295 134512640 134702520 3221223968 3220661504 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2872 1659 413 48 0 2824 0
[pid=5836] vsize: 11488
Current children cumulated CPU time (s) 538.49
Current children cumulated vsize (Kb) 13616

[startup+550.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5836
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 20281813 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 242 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5836/stat): 5836 (vallst) R 5833 5833 4060 0 -1 0 1755 0 0 0 54771 76 0 0 25 0 1 0 20281823 11763712 1659 4294967295 134512640 134702520 3221223968 3220245964 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5836/statm): 2872 1659 413 48 0 2824 0
[pid=5836] vsize: 11488
Current children cumulated CPU time (s) 548.49
Current children cumulated vsize (Kb) 13616
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=5836) exited with status: 2
New process pid=5837
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=5837) exited with status: 0
New process pid=5838
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+560.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 811 0 0 0 494 3 0 0 25 0 1 0 20337325 4730880 781 4294967295 134512640 134702520 3221223712 3221108828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 1155 781 413 48 0 1107 0
[pid=5838] vsize: 4620
Current children cumulated CPU time (s) 558.44
Current children cumulated vsize (Kb) 6748

[startup+570.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 881 0 0 0 1494 3 0 0 25 0 1 0 20337325 5017600 851 4294967295 134512640 134702520 3221223712 3220821648 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 1225 851 413 48 0 1177 0
[pid=5838] vsize: 4900
Current children cumulated CPU time (s) 568.44
Current children cumulated vsize (Kb) 7028

[startup+580.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 976 0 0 0 2494 3 0 0 25 0 1 0 20337325 5406720 946 4294967295 134512640 134702520 3221223712 3220433968 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 1320 946 413 48 0 1272 0
[pid=5838] vsize: 5280
Current children cumulated CPU time (s) 578.44
Current children cumulated vsize (Kb) 7408

[startup+590.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1213 0 0 0 3479 9 0 0 25 0 1 0 20337325 8589312 1183 4294967295 134512640 134702520 3221223712 3221197888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1183 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 588.35
Current children cumulated vsize (Kb) 10516

[startup+600.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1213 0 0 0 4479 9 0 0 25 0 1 0 20337325 8589312 1183 4294967295 134512640 134702520 3221223712 3221012908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1183 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 598.35
Current children cumulated vsize (Kb) 10516

[startup+610.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1213 0 0 0 5479 9 0 0 25 0 1 0 20337325 8589312 1183 4294967295 134512640 134702520 3221223712 3220810208 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1183 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 608.35
Current children cumulated vsize (Kb) 10516

[startup+620.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1213 0 0 0 6480 9 0 0 25 0 1 0 20337325 8589312 1183 4294967295 134512640 134702520 3221223712 3220580608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1183 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 618.36
Current children cumulated vsize (Kb) 10516

[startup+630.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1213 0 0 0 7480 9 0 0 25 0 1 0 20337325 8589312 1183 4294967295 134512640 134702520 3221223712 3219995148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1183 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 628.36
Current children cumulated vsize (Kb) 10516

[startup+640.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1217 0 0 0 8464 14 0 0 25 0 1 0 20337325 8589312 1187 4294967295 134512640 134702520 3221223712 3221078208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1187 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 638.25
Current children cumulated vsize (Kb) 10516

[startup+650.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1217 0 0 0 9464 14 0 0 25 0 1 0 20337325 8589312 1187 4294967295 134512640 134702520 3221223712 3220880588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1187 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 648.25
Current children cumulated vsize (Kb) 10516

[startup+660.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1217 0 0 0 10464 14 0 0 25 0 1 0 20337325 8589312 1187 4294967295 134512640 134702520 3221223712 3220659328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1187 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 658.25
Current children cumulated vsize (Kb) 10516

[startup+670.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1217 0 0 0 11464 14 0 0 25 0 1 0 20337325 8589312 1187 4294967295 134512640 134702520 3221223712 3220244448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1187 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 668.25
Current children cumulated vsize (Kb) 10516

[startup+680.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1221 0 0 0 12448 17 0 0 25 0 1 0 20337325 8589312 1191 4294967295 134512640 134702520 3221223712 3221136268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1191 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 678.12
Current children cumulated vsize (Kb) 10516

[startup+690.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1221 0 0 0 13448 17 0 0 25 0 1 0 20337325 8589312 1191 4294967295 134512640 134702520 3221223712 3220944448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1191 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 688.12
Current children cumulated vsize (Kb) 10516

[startup+700.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1221 0 0 0 14448 17 0 0 25 0 1 0 20337325 8589312 1191 4294967295 134512640 134702520 3221223712 3220731308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1191 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 698.12
Current children cumulated vsize (Kb) 10516

[startup+710.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1221 0 0 0 15448 17 0 0 25 0 1 0 20337325 8589312 1191 4294967295 134512640 134702520 3221223712 3220418028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1191 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 708.12
Current children cumulated vsize (Kb) 10516

[startup+720.051 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1223 0 0 0 16433 23 0 0 25 0 1 0 20337325 8589312 1193 4294967295 134512640 134702520 3221223712 3221192768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1193 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 718.03
Current children cumulated vsize (Kb) 10516

[startup+730.051 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1223 0 0 0 17433 23 0 0 25 0 1 0 20337325 8589312 1193 4294967295 134512640 134702520 3221223712 3221006208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1193 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 728.03
Current children cumulated vsize (Kb) 10516

[startup+740.052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1223 0 0 0 18433 23 0 0 25 0 1 0 20337325 8589312 1193 4294967295 134512640 134702520 3221223712 3220800608 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1193 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 738.03
Current children cumulated vsize (Kb) 10516

[startup+750.053 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1223 0 0 0 19433 23 0 0 25 0 1 0 20337325 8589312 1193 4294967295 134512640 134702520 3221223712 3220559788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1193 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 748.03
Current children cumulated vsize (Kb) 10516

[startup+760.054 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1223 0 0 0 20433 23 0 0 25 0 1 0 20337325 8589312 1193 4294967295 134512640 134702520 3221223712 3219919968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1193 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 758.03
Current children cumulated vsize (Kb) 10516

[startup+770.054 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1224 0 0 0 21416 28 0 0 25 0 1 0 20337325 8589312 1194 4294967295 134512640 134702520 3221223712 3221066508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1194 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 767.91
Current children cumulated vsize (Kb) 10516

[startup+780.055 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1224 0 0 0 22416 28 0 0 25 0 1 0 20337325 8589312 1194 4294967295 134512640 134702520 3221223712 3220867468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1194 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 777.91
Current children cumulated vsize (Kb) 10516

[startup+790.056 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1224 0 0 0 23416 28 0 0 25 0 1 0 20337325 8589312 1194 4294967295 134512640 134702520 3221223712 3220644288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1194 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 787.91
Current children cumulated vsize (Kb) 10516

[startup+800.057 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1224 0 0 0 24416 28 0 0 25 0 1 0 20337325 8589312 1194 4294967295 134512640 134702520 3221223712 3220203328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2097 1194 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 797.91
Current children cumulated vsize (Kb) 10516

[startup+810.058 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1229 0 0 0 25399 35 0 0 25 0 1 0 20337325 8589312 1199 4294967295 134512640 134702520 3221223712 3221126048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1199 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 807.81
Current children cumulated vsize (Kb) 10516

[startup+820.059 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1229 0 0 0 26399 35 0 0 25 0 1 0 20337325 8589312 1199 4294967295 134512640 134702520 3221223712 3220935148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1199 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 817.81
Current children cumulated vsize (Kb) 10516

[startup+830.059 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1229 0 0 0 27399 35 0 0 25 0 1 0 20337325 8589312 1199 4294967295 134512640 134702520 3221223712 3220723328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1199 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 827.81
Current children cumulated vsize (Kb) 10516

[startup+840.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1229 0 0 0 28400 35 0 0 25 0 1 0 20337325 8589312 1199 4294967295 134512640 134702520 3221223712 3220404908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1199 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 837.82
Current children cumulated vsize (Kb) 10516

[startup+850.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1230 0 0 0 29383 41 0 0 25 0 1 0 20337325 8589312 1200 4294967295 134512640 134702520 3221223712 3221190188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1200 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 847.71
Current children cumulated vsize (Kb) 10516

[startup+860.061 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1230 0 0 0 30383 41 0 0 25 0 1 0 20337325 8589312 1200 4294967295 134512640 134702520 3221223712 3221005388 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1200 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 857.71
Current children cumulated vsize (Kb) 10516

[startup+870.062 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1230 0 0 0 31383 41 0 0 25 0 1 0 20337325 8589312 1200 4294967295 134512640 134702520 3221223712 3220801708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1200 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 867.71
Current children cumulated vsize (Kb) 10516

[startup+880.063 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1230 0 0 0 32384 41 0 0 25 0 1 0 20337325 8589312 1200 4294967295 134512640 134702520 3221223712 3220566348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1200 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 877.72
Current children cumulated vsize (Kb) 10516

[startup+890.063 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1230 0 0 0 33384 41 0 0 25 0 1 0 20337325 8589312 1200 4294967295 134512640 134702520 3221223712 3219952768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2097 1200 413 48 0 2049 0
[pid=5838] vsize: 8388
Current children cumulated CPU time (s) 887.72
Current children cumulated vsize (Kb) 10516

[startup+900.063 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1312 0 0 0 34366 47 0 0 25 0 1 0 20337325 8826880 1282 4294967295 134512640 134702520 3221223712 3221073068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2155 1282 413 48 0 2107 0
[pid=5838] vsize: 8620
Current children cumulated CPU time (s) 897.6
Current children cumulated vsize (Kb) 10748

[startup+910.065 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1312 0 0 0 35366 47 0 0 25 0 1 0 20337325 8826880 1282 4294967295 134512640 134702520 3221223712 3220874688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2155 1282 413 48 0 2107 0
[pid=5838] vsize: 8620
Current children cumulated CPU time (s) 907.6
Current children cumulated vsize (Kb) 10748

[startup+920.066 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1312 0 0 0 36366 47 0 0 25 0 1 0 20337325 8826880 1282 4294967295 134512640 134702520 3221223712 3220652608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2155 1282 413 48 0 2107 0
[pid=5838] vsize: 8620
Current children cumulated CPU time (s) 917.6
Current children cumulated vsize (Kb) 10748

[startup+930.065 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1312 0 0 0 37366 47 0 0 25 0 1 0 20337325 8826880 1282 4294967295 134512640 134702520 3221223712 3220227168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2155 1282 413 48 0 2107 0
[pid=5838] vsize: 8620
Current children cumulated CPU time (s) 927.6
Current children cumulated vsize (Kb) 10748

[startup+940.066 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1405 0 0 0 38346 53 0 0 25 0 1 0 20337325 9199616 1375 4294967295 134512640 134702520 3221223712 3221135968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2246 1375 413 48 0 2198 0
[pid=5838] vsize: 8984
Current children cumulated CPU time (s) 937.46
Current children cumulated vsize (Kb) 11112

[startup+950.067 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1405 0 0 0 39346 53 0 0 25 0 1 0 20337325 9199616 1375 4294967295 134512640 134702520 3221223712 3220944108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2246 1375 413 48 0 2198 0
[pid=5838] vsize: 8984
Current children cumulated CPU time (s) 947.46
Current children cumulated vsize (Kb) 11112

[startup+960.068 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1405 0 0 0 40346 53 0 0 25 0 1 0 20337325 9199616 1375 4294967295 134512640 134702520 3221223712 3220731008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2246 1375 413 48 0 2198 0
[pid=5838] vsize: 8984
Current children cumulated CPU time (s) 957.46
Current children cumulated vsize (Kb) 11112

[startup+970.068 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1405 0 0 0 41346 53 0 0 25 0 1 0 20337325 9199616 1375 4294967295 134512640 134702520 3221223712 3220417888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2246 1375 413 48 0 2198 0
[pid=5838] vsize: 8984
Current children cumulated CPU time (s) 967.46
Current children cumulated vsize (Kb) 11112

[startup+980.068 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1493 0 0 0 42315 63 0 0 25 0 1 0 20337325 9437184 1463 4294967295 134512640 134702520 3221223712 3221202368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2304 1463 413 48 0 2256 0
[pid=5838] vsize: 9216
Current children cumulated CPU time (s) 977.25
Current children cumulated vsize (Kb) 11344

[startup+990.07 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1493 0 0 0 43316 63 0 0 25 0 1 0 20337325 9437184 1463 4294967295 134512640 134702520 3221223712 3221016768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2304 1463 413 48 0 2256 0
[pid=5838] vsize: 9216
Current children cumulated CPU time (s) 987.26
Current children cumulated vsize (Kb) 11344

[startup+1000.07 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1493 0 0 0 44316 63 0 0 25 0 1 0 20337325 9437184 1463 4294967295 134512640 134702520 3221223712 3220812448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2304 1463 413 48 0 2256 0
[pid=5838] vsize: 9216
Current children cumulated CPU time (s) 997.26
Current children cumulated vsize (Kb) 11344

[startup+1010.07 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1493 0 0 0 45316 63 0 0 25 0 1 0 20337325 9437184 1463 4294967295 134512640 134702520 3221223712 3220581088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2304 1463 413 48 0 2256 0
[pid=5838] vsize: 9216
Current children cumulated CPU time (s) 1007.26
Current children cumulated vsize (Kb) 11344

[startup+1020.07 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1493 0 0 0 46316 63 0 0 25 0 1 0 20337325 9437184 1463 4294967295 134512640 134702520 3221223712 3219989708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2304 1463 413 48 0 2256 0
[pid=5838] vsize: 9216
Current children cumulated CPU time (s) 1017.26
Current children cumulated vsize (Kb) 11344

[startup+1030.07 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1592 0 0 0 47297 70 0 0 25 0 1 0 20337325 10047488 1562 4294967295 134512640 134702520 3221223712 3221086988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2453 1562 413 48 0 2405 0
[pid=5838] vsize: 9812
Current children cumulated CPU time (s) 1027.14
Current children cumulated vsize (Kb) 11940

[startup+1040.07 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1592 0 0 0 48297 70 0 0 25 0 1 0 20337325 10047488 1562 4294967295 134512640 134702520 3221223712 3220890208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2453 1562 413 48 0 2405 0
[pid=5838] vsize: 9812
Current children cumulated CPU time (s) 1037.14
Current children cumulated vsize (Kb) 11940

[startup+1050.07 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1592 0 0 0 49297 70 0 0 25 0 1 0 20337325 10047488 1562 4294967295 134512640 134702520 3221223712 3220670208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2453 1562 413 48 0 2405 0
[pid=5838] vsize: 9812
Current children cumulated CPU time (s) 1047.14
Current children cumulated vsize (Kb) 11940

[startup+1060.08 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1592 0 0 0 50297 70 0 0 25 0 1 0 20337325 10047488 1562 4294967295 134512640 134702520 3221223712 3220274828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2453 1562 413 48 0 2405 0
[pid=5838] vsize: 9812
Current children cumulated CPU time (s) 1057.14
Current children cumulated vsize (Kb) 11940

[startup+1070.08 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1663 0 0 0 51273 77 0 0 25 0 1 0 20337325 9707520 1507 4294967295 134512640 134702520 3221223712 3221157568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2370 1507 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1066.97
Current children cumulated vsize (Kb) 11608

[startup+1080.08 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1663 0 0 0 52273 77 0 0 25 0 1 0 20337325 9707520 1507 4294967295 134512640 134702520 3221223712 3220968908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1507 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1076.97
Current children cumulated vsize (Kb) 11608

[startup+1090.08 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1663 0 0 0 53274 77 0 0 25 0 1 0 20337325 9707520 1507 4294967295 134512640 134702520 3221223712 3220760908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1507 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1086.98
Current children cumulated vsize (Kb) 11608

[startup+1100.08 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1663 0 0 0 54274 77 0 0 25 0 1 0 20337325 9707520 1507 4294967295 134512640 134702520 3221223712 3220486368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1507 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1096.98
Current children cumulated vsize (Kb) 11608

[startup+1110.08 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1664 0 0 0 55253 84 0 0 20 0 1 0 20337325 9707520 1508 4294967295 134512640 134702520 3221223712 3221222368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1508 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1106.84
Current children cumulated vsize (Kb) 11608

[startup+1120.08 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5838
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1664 0 0 0 56254 84 0 0 25 0 1 0 20337325 9707520 1508 4294967295 134512640 134702520 3221223712 3221040588 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1508 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1116.85
Current children cumulated vsize (Kb) 11608

[startup+1130.08 s]
Raw data (loadavg): 0.99 1.00 0.99 2/60 5888
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1664 0 0 0 57252 84 0 0 25 0 1 0 20337325 9707520 1508 4294967295 134512640 134702520 3221223712 3220841248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1508 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1126.83
Current children cumulated vsize (Kb) 11608

[startup+1140.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5893
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1664 0 0 0 58253 84 0 0 25 0 1 0 20337325 9707520 1508 4294967295 134512640 134702520 3221223712 3220616608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1508 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1136.84
Current children cumulated vsize (Kb) 11608

[startup+1150.08 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5893
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1664 0 0 0 59253 84 0 0 25 0 1 0 20337325 9707520 1508 4294967295 134512640 134702520 3221223712 3220129408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1508 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1146.84
Current children cumulated vsize (Kb) 11608

[startup+1160.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5893
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1664 0 0 0 60235 90 0 0 25 0 1 0 20337325 9707520 1508 4294967295 134512640 134702520 3221223712 3221112608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1508 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1156.72
Current children cumulated vsize (Kb) 11608

[startup+1170.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5893
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1664 0 0 0 61236 90 0 0 25 0 1 0 20337325 9707520 1508 4294967295 134512640 134702520 3221223712 3220920428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1508 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1166.73
Current children cumulated vsize (Kb) 11608

[startup+1180.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5893
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1664 0 0 0 62236 90 0 0 25 0 1 0 20337325 9707520 1508 4294967295 134512640 134702520 3221223712 3220706688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1508 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1176.73
Current children cumulated vsize (Kb) 11608

[startup+1190.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5895
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1664 0 0 0 63236 90 0 0 25 0 1 0 20337325 9707520 1508 4294967295 134512640 134702520 3221223712 3220368928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1508 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1186.73
Current children cumulated vsize (Kb) 11608

[startup+1200.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5897
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1665 0 0 0 64210 99 0 0 25 0 1 0 20337325 9707520 1509 4294967295 134512640 134702520 3221223712 3221185088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2370 1509 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1196.56
Current children cumulated vsize (Kb) 11608

[startup+1210.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5899
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1665 0 0 0 65210 100 0 0 25 0 1 0 20337325 9707520 1509 4294967295 134512640 134702520 3221223712 3220998208 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5838/statm): 2370 1509 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1206.57
Current children cumulated vsize (Kb) 11608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5899
Raw data (/proc/5833/stat): 5833 (vallstSAT2005PB) S 5832 5833 4060 0 -1 0 378 2130 0 0 1 1 55266 79 19 0 1 0 20281813 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5833/statm): 532 248 485 147 0 385 0
[pid=5833] vsize: 2128
Raw data (/proc/5838/stat): 5838 (vallst) R 5833 5833 4060 0 -1 0 1665 0 0 0 65210 100 0 0 25 0 1 0 20337325 9707520 1509 4294967295 134512640 134702520 3221223712 3220998188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5838/statm): 2370 1509 413 48 0 2322 0
[pid=5838] vsize: 9480
Current children cumulated CPU time (s) 1206.57
Current children cumulated vsize (Kb) 11608

Sending SIGTERM to -5833
Sleeping 2 seconds
New process pid=5901
New process pid=5902
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1693/stat
open syscall for file /proc/1693/status
open syscall for file /proc/1693/cmdline
open syscall for file /proc/1693/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5794/stat
open syscall for file /proc/5794/status
open syscall for file /proc/5794/cmdline
open syscall for file /proc/5794/environ
open syscall for file /proc/5832/stat
open syscall for file /proc/5832/status
open syscall for file /proc/5832/cmdline
open syscall for file /proc/5832/environ
open syscall for file /proc/5833/stat
open syscall for file /proc/5833/status
open syscall for file /proc/5833/cmdline
open syscall for file /proc/5833/environ
open syscall for file /proc/5838/stat
open syscall for file /proc/5838/status
open syscall for file /proc/5838/cmdline
open syscall for file /proc/5838/environ
open syscall for file /proc/5901/stat
open syscall for file /proc/5901/status
open syscall for file /proc/5901/cmdline
open syscall for file /proc/5901/environ
open syscall for file /proc/5902/stat
open syscall for file /proc/5902/status
open syscall for file /proc/5902/cmdline
open syscall for file /proc/5902/environ
One traced child (pid=5901) exited with status: 0
One traced child (pid=5902) exited with status: 0
New process pid=5903
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=5903) exited with status: 0
New process pid=5904
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=5904) exited with status: 0
One traced child (pid=5833) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5833
One traced child (pid=5838) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.1
CPU time (s): 655.108
CPU user time (s): 654.104
CPU system time (s): 1.00485
CPU usage (%): 54.0475
Max. virtual memory (cumulated for all children) (Kb): 13616

Verifier Data

ERROR: no interpretation found !