Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
MD5SUM1c0d08e5657c85ec3afe3a7738817cf3
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 364
Optimality of the best value was proved YES
Number of terms in the objective function 774
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 774
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 774
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark133.09
Number of variables774
Total number of constraints7493
Number of constraints which are clauses7493
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32

Trace number 1900

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-18 17:26:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7185 boxname=wulflinc13 idbench=153 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1c0d08e5657c85ec3afe3a7738817cf3  /oldhome/oroussel/tmp/wulflinc13/normalized-ii32e4.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc13/normalized-ii32e4.opb 0
IDLAUNCH: 7185
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        882652 kB
Buffers:         33964 kB
Cached:          91672 kB
SwapCached:        708 kB
Active:          65500 kB
Inactive:        62748 kB
HighTotal:      131008 kB
HighFree:        66360 kB
LowTotal:       903652 kB
LowFree:        816292 kB
SwapTotal:     2097136 kB
SwapFree:      2095936 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            18288 kB
Committed_AS:    64128 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 17:48:16 (client local time) WITH STATUS 0 IN 1203.54 SECONDS
stats: 7185 7 1203.54 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 1460;  #end-nodes: 941;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 861 / 1274 (80)
#axs: 7494, #non-axs: 448
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  396 (377:>=*);
#decisions: 1107;  #end-nodes: 697;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 617 / 1055 (80)
#axs: 7494, #non-axs: 650
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  397 (376:>=*);
#decisions: 3800;  #end-nodes: 2378;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 2 / 80 (80)
#axs: 7494, #non-axs: 1360
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  398 (375:>=*);
#decisions: 71;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 7494, #non-axs: 1360
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  402 (371:>=*);
#decisions: 35;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 7494, #non-axs: 1360
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  403 (370:>=*);
#decisions: 2732;  #end-nodes: 1399;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 425 / 736 (81)
#axs: 7494, #non-axs: 1547
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  405 (368:>=*);
#decisions: 43;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 7494, #non-axs: 1547
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  406 (367:>=*);
#decisions: 42;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 7494, #non-axs: 1547
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  407 (366:>=*);
#decisions: 14632;  #end-nodes: 9319;
#proof improvement attempts: 0;  #restarts: 11
Current batch, end-nodes: 491 / 744 (82)
#axs: 7494, #non-axs: 3349
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  408 (365:>=*);
#decisions: 437978;  #end-nodes: 241327;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 1406 (271)
#axs: 7549, #non-axs: 1010
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 408 (365:>=*)

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

2:
seed: 0
Nr of vars set: 228  (#equs: 0)
Nr of vars set: 228  (#equs: 9)
#decisions: 7692;  #end-nodes: 4151;
#proof improvement attempts: 0;  #restarts: 24
Current batch, end-nodes: 3 / 136 (126)
#axs: 3308, #non-axs: 1070
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  263 (218:>=*);
#decisions: 404155;  #end-nodes: 200119;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 294 (287)
#axs: 3359, #non-axs: 2277
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 263 (218:>=*)

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

3:
seed: 0
Nr of vars set: 228  (#equs: 0)
Nr of vars set: 228  (#equs: 0)
Interupt request received.
#decisions: 1659397;  #end-nodes: 840948;
#proof improvement attempts: 0;  #restarts: 1526
Current batch, end-nodes: 2117 / 2213 (541)
#axs: 3273, #non-axs: 4129
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 614  (#equs: 6)
Time taken: 10 min, 26 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) R 5263 5264 1333 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784837176 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5264/statm): 174 3 169 147 0 27 0
[pid=5264] 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=5265
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=5265) exited with status: 0
New process pid=5266
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=5266) exited with status: 0
New process pid=5267
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/wulflinc13/normalized-ii32e4.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0034 s]
Raw data (loadavg): 1.14 1.03 1.01 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 350 0 0 0 756 77 0 0 19 0 1 0 1784837185 2830336 320 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 691 320 413 48 0 643 0
[pid=5267] vsize: 2764
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (Kb) 4892

[startup+20.0041 s]
Raw data (loadavg): 1.11 1.03 1.01 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 440 0 0 0 1596 132 0 0 17 0 1 0 1784837185 4661248 410 4294967295 134512640 134702520 3221223968 3221223248 134554270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1138 410 413 48 0 1090 0
[pid=5267] vsize: 4552
Current children cumulated CPU time (s) 17.29
Current children cumulated vsize (Kb) 6680

[startup+30.0057 s]
Raw data (loadavg): 1.10 1.03 1.01 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 928 0 0 0 2504 164 0 0 25 0 1 0 1784837185 5033984 898 4294967295 134512640 134702520 3221223968 3221223248 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1229 898 413 48 0 1181 0
[pid=5267] vsize: 4916
Current children cumulated CPU time (s) 26.69
Current children cumulated vsize (Kb) 7044

[startup+40.0064 s]
Raw data (loadavg): 1.08 1.03 1.01 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 972 0 0 0 3400 199 0 0 23 0 1 0 1784837185 5173248 942 4294967295 134512640 134702520 3221223968 3221223088 134584452 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1263 942 413 48 0 1215 0
[pid=5267] vsize: 5052
Current children cumulated CPU time (s) 36
Current children cumulated vsize (Kb) 7180

[startup+50.007 s]
Raw data (loadavg): 1.07 1.03 1.01 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 995 0 0 0 4293 236 0 0 25 0 1 0 1784837185 5308416 965 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1296 965 413 48 0 1248 0
[pid=5267] vsize: 5184
Current children cumulated CPU time (s) 45.3
Current children cumulated vsize (Kb) 7312

[startup+60.0087 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1010 0 0 0 5194 271 0 0 25 0 1 0 1784837185 5312512 980 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222298933 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1297 980 413 48 0 1249 0
[pid=5267] vsize: 5188
Current children cumulated CPU time (s) 54.66
Current children cumulated vsize (Kb) 7316

[startup+70.0093 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1015 0 0 0 6112 302 0 0 17 0 1 0 1784837185 5312512 985 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1297 985 413 48 0 1249 0
[pid=5267] vsize: 5188
Current children cumulated CPU time (s) 64.15
Current children cumulated vsize (Kb) 7316

[startup+80.011 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1015 0 0 0 7029 329 0 0 25 0 1 0 1784837185 5312512 985 4294967295 134512640 134702520 3221223968 3221222864 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1297 985 413 48 0 1249 0
[pid=5267] vsize: 5188
Current children cumulated CPU time (s) 73.59
Current children cumulated vsize (Kb) 7316

[startup+90.0116 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1024 0 0 0 7923 364 0 0 19 0 1 0 1784837185 5455872 994 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1332 994 413 48 0 1284 0
[pid=5267] vsize: 5328
Current children cumulated CPU time (s) 82.88
Current children cumulated vsize (Kb) 7456

[startup+100.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1032 0 0 0 8805 403 0 0 20 0 1 0 1784837185 5455872 1002 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1332 1002 413 48 0 1284 0
[pid=5267] vsize: 5328
Current children cumulated CPU time (s) 92.09
Current children cumulated vsize (Kb) 7456

[startup+110.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1033 0 0 0 9736 428 0 0 25 0 1 0 1784837185 5455872 1003 4294967295 134512640 134702520 3221223968 3221223168 134617763 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1332 1003 413 48 0 1284 0
[pid=5267] vsize: 5328
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (Kb) 7456

[startup+120.014 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1033 0 0 0 10676 449 0 0 18 0 1 0 1784837185 5455872 1003 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1332 1003 413 48 0 1284 0
[pid=5267] vsize: 5328
Current children cumulated CPU time (s) 111.26
Current children cumulated vsize (Kb) 7456

[startup+130.015 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1041 0 0 0 11571 486 0 0 25 0 1 0 1784837185 5464064 1011 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1334 1011 413 48 0 1286 0
[pid=5267] vsize: 5336
Current children cumulated CPU time (s) 120.58
Current children cumulated vsize (Kb) 7464

[startup+140.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1043 0 0 0 12472 521 0 0 25 0 1 0 1784837185 5464064 1013 4294967295 134512640 134702520 3221223968 3221222864 134553387 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1334 1013 413 48 0 1286 0
[pid=5267] vsize: 5336
Current children cumulated CPU time (s) 129.94
Current children cumulated vsize (Kb) 7464

[startup+150.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1043 0 0 0 13423 538 0 0 25 0 1 0 1784837185 5464064 1013 4294967295 134512640 134702520 3221223968 3221222864 134552573 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1334 1013 413 48 0 1286 0
[pid=5267] vsize: 5336
Current children cumulated CPU time (s) 139.62
Current children cumulated vsize (Kb) 7464

[startup+160.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1045 0 0 0 14328 571 0 0 22 0 1 0 1784837185 5464064 1015 4294967295 134512640 134702520 3221223968 3221223088 134584489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1334 1015 413 48 0 1286 0
[pid=5267] vsize: 5336
Current children cumulated CPU time (s) 149
Current children cumulated vsize (Kb) 7464

[startup+170.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1054 0 0 0 15222 609 0 0 25 0 1 0 1784837185 5599232 1024 4294967295 134512640 134702520 3221223968 3221222864 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1367 1024 413 48 0 1319 0
[pid=5267] vsize: 5468
Current children cumulated CPU time (s) 158.32
Current children cumulated vsize (Kb) 7596

[startup+180.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1056 0 0 0 16125 641 0 0 25 0 1 0 1784837185 5595136 1026 4294967295 134512640 134702520 3221223968 3221222864 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1026 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 167.67
Current children cumulated vsize (Kb) 7592

[startup+190.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1056 0 0 0 17077 658 0 0 25 0 1 0 1784837185 5595136 1026 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1026 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 177.36
Current children cumulated vsize (Kb) 7592

[startup+200.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1059 0 0 0 17978 693 0 0 21 0 1 0 1784837185 5595136 1029 4294967295 134512640 134702520 3221223968 3221222864 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1366 1029 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 186.72
Current children cumulated vsize (Kb) 7592

[startup+210.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1062 0 0 0 18851 737 0 0 23 0 1 0 1784837185 5595136 1032 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1366 1032 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 195.89
Current children cumulated vsize (Kb) 7592

[startup+220.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1064 0 0 0 19789 757 0 0 25 0 1 0 1784837185 5595136 1034 4294967295 134512640 134702520 3221223968 3221222864 134552741 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1034 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 205.47
Current children cumulated vsize (Kb) 7592

[startup+230.026 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1064 0 0 0 20756 769 0 0 25 0 1 0 1784837185 5595136 1034 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1034 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 215.26
Current children cumulated vsize (Kb) 7592

[startup+240.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1067 0 0 0 21629 812 0 0 25 0 1 0 1784837185 5595136 1037 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1037 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 224.42
Current children cumulated vsize (Kb) 7592

[startup+250.028 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1074 0 0 0 22508 850 0 0 20 0 1 0 1784837185 5595136 1044 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1366 1044 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 233.59
Current children cumulated vsize (Kb) 7592

[startup+260.029 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1077 0 0 0 23463 864 0 0 25 0 1 0 1784837185 5595136 1047 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1047 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 243.28
Current children cumulated vsize (Kb) 7592

[startup+270.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1078 0 0 0 24400 886 0 0 24 0 1 0 1784837185 5595136 1048 4294967295 134512640 134702520 3221223968 3221222960 134564349 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1048 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 252.87
Current children cumulated vsize (Kb) 7592

[startup+280.032 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1084 0 0 0 25287 926 0 0 25 0 1 0 1784837185 5595136 1054 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1366 1054 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 262.14
Current children cumulated vsize (Kb) 7592

[startup+290.033 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1087 0 0 0 26164 965 0 0 18 0 1 0 1784837185 5726208 1057 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1398 1057 413 48 0 1350 0
[pid=5267] vsize: 5592
Current children cumulated CPU time (s) 271.3
Current children cumulated vsize (Kb) 7720

[startup+300.033 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1087 0 0 0 27113 984 0 0 25 0 1 0 1784837185 5726208 1057 4294967295 134512640 134702520 3221223968 3221222852 134557400 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1398 1057 413 48 0 1350 0
[pid=5267] vsize: 5592
Current children cumulated CPU time (s) 280.98
Current children cumulated vsize (Kb) 7720

[startup+310.035 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1088 0 0 0 28051 1005 0 0 25 0 1 0 1784837185 5726208 1058 4294967295 134512640 134702520 3221223968 3221222864 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1398 1058 413 48 0 1350 0
[pid=5267] vsize: 5592
Current children cumulated CPU time (s) 290.57
Current children cumulated vsize (Kb) 7720

[startup+320.036 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1093 0 0 0 28936 1043 0 0 25 0 1 0 1784837185 5726208 1063 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1398 1063 413 48 0 1350 0
[pid=5267] vsize: 5592
Current children cumulated CPU time (s) 299.8
Current children cumulated vsize (Kb) 7720

[startup+330.037 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1096 0 0 0 29821 1082 0 0 25 0 1 0 1784837185 5726208 1066 4294967295 134512640 134702520 3221223968 3221223248 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1398 1066 413 48 0 1350 0
[pid=5267] vsize: 5592
Current children cumulated CPU time (s) 309.04
Current children cumulated vsize (Kb) 7720

[startup+340.038 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1098 0 0 0 30747 1106 0 0 25 0 1 0 1784837185 5726208 1068 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1398 1068 413 48 0 1350 0
[pid=5267] vsize: 5592
Current children cumulated CPU time (s) 318.54
Current children cumulated vsize (Kb) 7720
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=5267) exited with status: 2
New process pid=5268
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=5268) exited with status: 0
New process pid=5269
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+350.039 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 285 0 0 0 67 2 0 0 25 0 1 0 1784872111 2600960 256 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 635 256 413 48 0 587 0
[pid=5269] vsize: 2540
Current children cumulated CPU time (s) 328.32
Current children cumulated vsize (Kb) 4668

[startup+360.039 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 287 0 0 0 1023 16 0 0 25 0 1 0 1784872111 2600960 258 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 635 258 413 48 0 587 0
[pid=5269] vsize: 2540
Current children cumulated CPU time (s) 338.02
Current children cumulated vsize (Kb) 4668

[startup+370.04 s]
Raw data (loadavg): 1.13 1.04 1.01 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 701 0 0 0 1931 49 0 0 19 0 1 0 1784872111 4292608 672 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1048 672 413 48 0 1000 0
[pid=5269] vsize: 4192
Current children cumulated CPU time (s) 347.43
Current children cumulated vsize (Kb) 6320

[startup+380.042 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 717 0 0 0 2815 90 0 0 25 0 1 0 1784872111 4292608 688 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1048 688 413 48 0 1000 0
[pid=5269] vsize: 4192
Current children cumulated CPU time (s) 356.68
Current children cumulated vsize (Kb) 6320

[startup+390.042 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 723 0 0 0 3731 118 0 0 25 0 1 0 1784872111 4292608 694 4294967295 134512640 134702520 3221223712 3221222608 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1048 694 413 48 0 1000 0
[pid=5269] vsize: 4192
Current children cumulated CPU time (s) 366.12
Current children cumulated vsize (Kb) 6320

[startup+400.043 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 723 0 0 0 4694 132 0 0 25 0 1 0 1784872111 4292608 694 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1048 694 413 48 0 1000 0
[pid=5269] vsize: 4192
Current children cumulated CPU time (s) 375.89
Current children cumulated vsize (Kb) 6320

[startup+410.045 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 733 0 0 0 5555 178 0 0 22 0 1 0 1784872111 4427776 704 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1081 704 413 48 0 1033 0
[pid=5269] vsize: 4324
Current children cumulated CPU time (s) 384.96
Current children cumulated vsize (Kb) 6452

[startup+420.045 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 745 0 0 0 6437 218 0 0 25 0 1 0 1784872111 4427776 716 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1081 716 413 48 0 1033 0
[pid=5269] vsize: 4324
Current children cumulated CPU time (s) 394.18
Current children cumulated vsize (Kb) 6452

[startup+430.047 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 745 0 0 0 7395 233 0 0 25 0 1 0 1784872111 4427776 716 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1081 716 413 48 0 1033 0
[pid=5269] vsize: 4324
Current children cumulated CPU time (s) 403.91
Current children cumulated vsize (Kb) 6452

[startup+440.048 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 749 0 0 0 8283 271 0 0 18 0 1 0 1784872111 4427776 720 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1081 720 413 48 0 1033 0
[pid=5269] vsize: 4324
Current children cumulated CPU time (s) 413.17
Current children cumulated vsize (Kb) 6452

[startup+450.048 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 759 0 0 0 9140 317 0 0 17 0 1 0 1784872111 4427776 730 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1081 730 413 48 0 1033 0
[pid=5269] vsize: 4324
Current children cumulated CPU time (s) 422.2
Current children cumulated vsize (Kb) 6452

[startup+460.049 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 762 0 0 0 10091 334 0 0 25 0 1 0 1784872111 4562944 733 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1114 733 413 48 0 1066 0
[pid=5269] vsize: 4456
Current children cumulated CPU time (s) 431.88
Current children cumulated vsize (Kb) 6584

[startup+470.05 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 765 0 0 0 11015 360 0 0 25 0 1 0 1784872111 4562944 736 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1114 736 413 48 0 1066 0
[pid=5269] vsize: 4456
Current children cumulated CPU time (s) 441.38
Current children cumulated vsize (Kb) 6584

[startup+480.051 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 776 0 0 0 11868 410 0 0 25 0 1 0 1784872111 4562944 747 4294967295 134512640 134702520 3221223712 3221222608 134557470 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1114 747 413 48 0 1066 0
[pid=5269] vsize: 4456
Current children cumulated CPU time (s) 450.41
Current children cumulated vsize (Kb) 6584

[startup+490.052 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 779 0 0 0 12756 449 0 0 25 0 1 0 1784872111 4562944 750 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1114 750 413 48 0 1066 0
[pid=5269] vsize: 4456
Current children cumulated CPU time (s) 459.68
Current children cumulated vsize (Kb) 6584

[startup+500.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 779 0 0 0 13717 462 0 0 25 0 1 0 1784872111 4562944 750 4294967295 134512640 134702520 3221223712 3221222576 134564351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1114 750 413 48 0 1066 0
[pid=5269] vsize: 4456
Current children cumulated CPU time (s) 469.42
Current children cumulated vsize (Kb) 6584

[startup+510.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 789 0 0 0 14578 510 0 0 18 0 1 0 1784872111 4562944 760 4294967295 134512640 134702520 3221223712 3221204608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1114 760 413 48 0 1066 0
[pid=5269] vsize: 4456
Current children cumulated CPU time (s) 478.51
Current children cumulated vsize (Kb) 6584

[startup+520.054 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 809 0 0 0 15411 567 0 0 18 0 1 0 1784872111 4698112 780 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1147 780 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 487.41
Current children cumulated vsize (Kb) 6716

[startup+530.056 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 812 0 0 0 16325 597 0 0 25 0 1 0 1784872111 4698112 783 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1147 783 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 496.85
Current children cumulated vsize (Kb) 6716

[startup+540.056 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 812 0 0 0 17290 609 0 0 25 0 1 0 1784872111 4698112 783 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1147 783 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 506.62
Current children cumulated vsize (Kb) 6716

[startup+550.057 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 822 0 0 0 18123 667 0 0 21 0 1 0 1784872111 4698112 793 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1147 793 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 515.53
Current children cumulated vsize (Kb) 6716

[startup+560.058 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 826 0 0 0 18977 715 0 0 17 0 1 0 1784872111 4698112 797 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1147 797 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 524.55
Current children cumulated vsize (Kb) 6716

[startup+570.058 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 827 0 0 0 19909 740 0 0 25 0 1 0 1784872111 4698112 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1147 798 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 534.12
Current children cumulated vsize (Kb) 6716

[startup+580.059 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 828 0 0 0 20834 765 0 0 22 0 1 0 1784872111 4698112 799 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1147 799 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 543.62
Current children cumulated vsize (Kb) 6716

[startup+590.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 830 0 0 0 21692 809 0 0 23 0 1 0 1784872111 4829184 801 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1179 801 413 48 0 1131 0
[pid=5269] vsize: 4716
Current children cumulated CPU time (s) 552.64
Current children cumulated vsize (Kb) 6844

[startup+600.061 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 836 0 0 0 22517 866 0 0 20 0 1 0 1784872111 4829184 807 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1179 807 413 48 0 1131 0
[pid=5269] vsize: 4716
Current children cumulated CPU time (s) 561.46
Current children cumulated vsize (Kb) 6844

[startup+610.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 836 0 0 0 23478 879 0 0 25 0 1 0 1784872111 4829184 807 4294967295 134512640 134702520 3221223712 3221222608 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1179 807 413 48 0 1131 0
[pid=5269] vsize: 4716
Current children cumulated CPU time (s) 571.2
Current children cumulated vsize (Kb) 6844
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=5269) exited with status: 2
New process pid=5270
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=5270) exited with status: 0
New process pid=5271
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+620.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 302 0 0 0 375 7 0 0 25 0 1 0 1784898796 2424832 274 4294967295 134512640 134702520 3221223712 3221222848 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 592 274 413 48 0 544 0
[pid=5271] vsize: 2368
Current children cumulated CPU time (s) 580.93
Current children cumulated vsize (Kb) 4496

[startup+630.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 305 0 0 0 1334 23 0 0 25 0 1 0 1784898796 2560000 277 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 625 277 413 48 0 577 0
[pid=5271] vsize: 2500
Current children cumulated CPU time (s) 590.68
Current children cumulated vsize (Kb) 4628

[startup+640.066 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 624 0 0 0 2199 68 0 0 22 0 1 0 1784898796 3715072 596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 907 596 413 48 0 859 0
[pid=5271] vsize: 3628
Current children cumulated CPU time (s) 599.78
Current children cumulated vsize (Kb) 5756

[startup+650.066 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 641 0 0 0 3054 118 0 0 19 0 1 0 1784898796 3850240 613 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 940 613 413 48 0 892 0
[pid=5271] vsize: 3760
Current children cumulated CPU time (s) 608.83
Current children cumulated vsize (Kb) 5888

[startup+660.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 641 0 0 0 4013 134 0 0 25 0 1 0 1784898796 3850240 613 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 940 613 413 48 0 892 0
[pid=5271] vsize: 3760
Current children cumulated CPU time (s) 618.58
Current children cumulated vsize (Kb) 5888

[startup+670.069 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 645 0 0 0 4924 163 0 0 23 0 1 0 1784898796 3850240 617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 940 617 413 48 0 892 0
[pid=5271] vsize: 3760
Current children cumulated CPU time (s) 627.98
Current children cumulated vsize (Kb) 5888

[startup+680.07 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 655 0 0 0 5784 208 0 0 19 0 1 0 1784898796 3850240 627 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 940 627 413 48 0 892 0
[pid=5271] vsize: 3760
Current children cumulated CPU time (s) 637.03
Current children cumulated vsize (Kb) 5888

[startup+690.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 660 0 0 0 6689 238 0 0 25 0 1 0 1784898796 3850240 632 4294967295 134512640 134702520 3221223712 3221222608 134553914 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 940 632 413 48 0 892 0
[pid=5271] vsize: 3760
Current children cumulated CPU time (s) 646.38
Current children cumulated vsize (Kb) 5888

[startup+700.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 660 0 0 0 7653 252 0 0 25 0 1 0 1784898796 3850240 632 4294967295 134512640 134702520 3221223712 3221222608 134552372 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 940 632 413 48 0 892 0
[pid=5271] vsize: 3760
Current children cumulated CPU time (s) 656.16
Current children cumulated vsize (Kb) 5888

[startup+710.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 673 0 0 0 8490 303 0 0 23 0 1 0 1784898796 3985408 645 4294967295 134512640 134702520 3221223712 3221222608 134557705 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 973 645 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 665.04
Current children cumulated vsize (Kb) 6020

[startup+720.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 680 0 0 0 9343 349 0 0 25 0 1 0 1784898796 3985408 652 4294967295 134512640 134702520 3221223712 3221222608 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 973 652 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 674.03
Current children cumulated vsize (Kb) 6020

[startup+730.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 680 0 0 0 10302 362 0 0 25 0 1 0 1784898796 3985408 652 4294967295 134512640 134702520 3221223712 3221222608 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 973 652 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 683.75
Current children cumulated vsize (Kb) 6020

[startup+740.076 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 682 0 0 0 11202 397 0 0 18 0 1 0 1784898796 3985408 654 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 973 654 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 693.1
Current children cumulated vsize (Kb) 6020

[startup+750.077 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 690 0 0 0 12057 444 0 0 25 0 1 0 1784898796 3985408 662 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 973 662 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (Kb) 6020

[startup+760.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 698 0 0 0 12922 488 0 0 25 0 1 0 1784898796 3985408 670 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 973 670 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 711.21
Current children cumulated vsize (Kb) 6020

[startup+770.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 698 0 0 0 13882 501 0 0 25 0 1 0 1784898796 3985408 670 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 973 670 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 720.94
Current children cumulated vsize (Kb) 6020

[startup+780.081 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 706 0 0 0 14742 548 0 0 25 0 1 0 1784898796 4120576 678 4294967295 134512640 134702520 3221223712 3221222608 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1006 678 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 730.01
Current children cumulated vsize (Kb) 6152

[startup+790.082 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 710 0 0 0 15574 605 0 0 17 0 1 0 1784898796 4120576 682 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1006 682 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 738.9
Current children cumulated vsize (Kb) 6152

[startup+800.082 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 712 0 0 0 16481 638 0 0 25 0 1 0 1784898796 4120576 684 4294967295 134512640 134702520 3221223712 3221222548 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1006 684 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 748.3
Current children cumulated vsize (Kb) 6152

[startup+810.083 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 712 0 0 0 17441 653 0 0 25 0 1 0 1784898796 4120576 684 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1006 684 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 758.05
Current children cumulated vsize (Kb) 6152

[startup+820.083 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 718 0 0 0 18265 710 0 0 21 0 1 0 1784898796 4120576 690 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1006 690 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 766.86
Current children cumulated vsize (Kb) 6152

[startup+830.085 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 719 0 0 0 19106 764 0 0 18 0 1 0 1784898796 4120576 691 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1006 691 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 775.81
Current children cumulated vsize (Kb) 6152

[startup+840.086 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 723 0 0 0 20037 788 0 0 25 0 1 0 1784898796 4120576 695 4294967295 134512640 134702520 3221223712 3221222548 134550230 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1006 695 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 785.36
Current children cumulated vsize (Kb) 6152

[startup+850.087 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 723 0 0 0 20954 816 0 0 18 0 1 0 1784898796 4120576 695 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1006 695 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 794.81
Current children cumulated vsize (Kb) 6152

[startup+860.088 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 727 0 0 0 21800 866 0 0 24 0 1 0 1784898796 4120576 699 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1006 699 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 803.77
Current children cumulated vsize (Kb) 6152

[startup+870.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 735 0 0 0 22621 925 0 0 20 0 1 0 1784898796 4251648 707 4294967295 134512640 134702520 3221223712 3221222992 134557705 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1038 707 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 812.57
Current children cumulated vsize (Kb) 6280

[startup+880.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 737 0 0 0 23565 946 0 0 25 0 1 0 1784898796 4251648 709 4294967295 134512640 134702520 3221223712 3221222608 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1038 709 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 822.22
Current children cumulated vsize (Kb) 6280

[startup+890.091 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 738 0 0 0 24480 973 0 0 25 0 1 0 1784898796 4251648 710 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1038 710 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 831.64
Current children cumulated vsize (Kb) 6280

[startup+900.092 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 742 0 0 0 25307 1031 0 0 21 0 1 0 1784898796 4251648 714 4294967295 134512640 134702520 3221223712 3221222832 134584561 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1038 714 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 840.49
Current children cumulated vsize (Kb) 6280

[startup+910.093 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 751 0 0 0 26120 1095 0 0 19 0 1 0 1784898796 4251648 723 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1038 723 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 849.26
Current children cumulated vsize (Kb) 6280

[startup+920.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 752 0 0 0 27060 1115 0 0 20 0 1 0 1784898796 4251648 724 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1038 724 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 858.86
Current children cumulated vsize (Kb) 6280

[startup+930.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 759 0 0 0 27964 1148 0 0 21 0 1 0 1784898796 4251648 731 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1038 731 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 868.23
Current children cumulated vsize (Kb) 6280

[startup+940.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 766 0 0 0 28796 1206 0 0 25 0 1 0 1784898796 4386816 738 4294967295 134512640 134702520 3221223712 3221222608 134552322 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1071 738 413 48 0 1023 0
[pid=5271] vsize: 4284
Current children cumulated CPU time (s) 877.13
Current children cumulated vsize (Kb) 6412

[startup+950.098 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 771 0 0 0 29629 1262 0 0 24 0 1 0 1784898796 4382720 743 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 743 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 886.02
Current children cumulated vsize (Kb) 6408

[startup+960.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 773 0 0 0 30522 1299 0 0 25 0 1 0 1784898796 4382720 745 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 745 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 895.32
Current children cumulated vsize (Kb) 6408

[startup+970.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 773 0 0 0 31468 1318 0 0 23 0 1 0 1784898796 4382720 745 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1070 745 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 904.97
Current children cumulated vsize (Kb) 6408

[startup+980.101 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 777 0 0 0 32289 1377 0 0 19 0 1 0 1784898796 4382720 749 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 749 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 913.77
Current children cumulated vsize (Kb) 6408

[startup+990.102 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 781 0 0 0 33128 1433 0 0 25 0 1 0 1784898796 4382720 753 4294967295 134512640 134702520 3221223712 3221222608 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 753 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 922.72
Current children cumulated vsize (Kb) 6408

[startup+1000.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 788 0 0 0 33998 1478 0 0 25 0 1 0 1784898796 4382720 760 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 760 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 931.87
Current children cumulated vsize (Kb) 6408

[startup+1010.1 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 788 0 0 0 34957 1495 0 0 25 0 1 0 1784898796 4382720 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 760 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 941.63
Current children cumulated vsize (Kb) 6408

[startup+1020.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 794 0 0 0 35779 1554 0 0 25 0 1 0 1784898796 4382720 766 4294967295 134512640 134702520 3221223712 3221222608 134552108 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 766 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 950.44
Current children cumulated vsize (Kb) 6408

[startup+1030.11 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 795 0 0 0 36614 1611 0 0 25 0 1 0 1784898796 4382720 767 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 767 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 959.36
Current children cumulated vsize (Kb) 6408

[startup+1040.11 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 806 0 0 0 37399 1683 0 0 19 0 1 0 1784898796 4517888 778 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1103 778 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 967.93
Current children cumulated vsize (Kb) 6540

[startup+1050.11 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 806 0 0 0 38353 1699 0 0 25 0 1 0 1784898796 4517888 778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1103 778 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 977.63
Current children cumulated vsize (Kb) 6540

[startup+1060.11 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 809 0 0 0 39246 1736 0 0 17 0 1 0 1784898796 4517888 781 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1103 781 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 986.93
Current children cumulated vsize (Kb) 6540

[startup+1070.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 816 0 0 0 40072 1795 0 0 19 0 1 0 1784898796 4517888 788 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1103 788 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 995.78
Current children cumulated vsize (Kb) 6540

[startup+1080.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 821 0 0 0 40901 1855 0 0 23 0 1 0 1784898796 4517888 793 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1103 793 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 1004.67
Current children cumulated vsize (Kb) 6540

[startup+1090.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 834 0 0 0 41698 1922 0 0 20 0 1 0 1784898796 4517888 806 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1103 806 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 1013.31
Current children cumulated vsize (Kb) 6540

[startup+1100.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 835 0 0 0 42632 1946 0 0 25 0 1 0 1784898796 4517888 807 4294967295 134512640 134702520 3221223712 3221222608 134553004 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1103 807 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 1022.89
Current children cumulated vsize (Kb) 6540

[startup+1110.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 836 0 0 0 43547 1975 0 0 18 0 1 0 1784898796 4517888 808 4294967295 134512640 134702520 3221223712 3221222832 134579022 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1103 808 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 1032.33
Current children cumulated vsize (Kb) 6540

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 840 0 0 0 44373 2035 0 0 24 0 1 0 1784898796 4653056 812 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1136 812 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1041.19
Current children cumulated vsize (Kb) 6672

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 843 0 0 0 45191 2098 0 0 19 0 1 0 1784898796 4653056 815 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 815 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1050
Current children cumulated vsize (Kb) 6672

[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 851 0 0 0 45997 2161 0 0 25 0 1 0 1784898796 4653056 823 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 823 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1058.69
Current children cumulated vsize (Kb) 6672

[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 851 0 0 0 46956 2176 0 0 25 0 1 0 1784898796 4653056 823 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 823 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1068.43
Current children cumulated vsize (Kb) 6672

[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 853 0 0 0 47830 2219 0 0 18 0 1 0 1784898796 4653056 825 4294967295 134512640 134702520 3221223712 3221222992 134553458 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 825 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1077.6
Current children cumulated vsize (Kb) 6672

[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 859 0 0 0 48656 2279 0 0 23 0 1 0 1784898796 4653056 831 4294967295 134512640 134702520 3221223712 3221223188 1074952449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 831 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1086.46
Current children cumulated vsize (Kb) 6672

[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 859 0 0 0 49479 2339 0 0 19 0 1 0 1784898796 4653056 831 4294967295 134512640 134702520 3221223712 3221223228 1074652326 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 831 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1095.29
Current children cumulated vsize (Kb) 6672

[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 869 0 0 0 50285 2402 0 0 25 0 1 0 1784898796 4653056 841 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 841 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1103.98
Current children cumulated vsize (Kb) 6672

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 870 0 0 0 51173 2440 0 0 25 0 1 0 1784898796 4653056 842 4294967295 134512640 134702520 3221223712 3221222608 134553029 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 842 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1113.24
Current children cumulated vsize (Kb) 6672

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 870 0 0 0 52135 2452 0 0 25 0 1 0 1784898796 4653056 842 4294967295 134512640 134702520 3221223712 3221222608 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 842 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1122.98
Current children cumulated vsize (Kb) 6672

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 874 0 0 0 52919 2525 0 0 19 0 1 0 1784898796 4788224 846 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1169 846 413 48 0 1121 0
[pid=5271] vsize: 4676
Current children cumulated CPU time (s) 1131.55
Current children cumulated vsize (Kb) 6804

[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 876 0 0 0 53749 2583 0 0 19 0 1 0 1784898796 4788224 848 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1169 848 413 48 0 1121 0
[pid=5271] vsize: 4676
Current children cumulated CPU time (s) 1140.43
Current children cumulated vsize (Kb) 6804

[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 886 0 0 0 54567 2642 0 0 20 0 1 0 1784898796 4927488 858 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1203 858 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1149.2
Current children cumulated vsize (Kb) 6940

[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 892 0 0 0 55414 2695 0 0 25 0 1 0 1784898796 4927488 864 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1203 864 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1158.2
Current children cumulated vsize (Kb) 6940

[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 892 0 0 0 56377 2709 0 0 25 0 1 0 1784898796 4927488 864 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1203 864 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1167.97
Current children cumulated vsize (Kb) 6940

[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 892 0 0 0 57242 2755 0 0 17 0 1 0 1784898796 4927488 864 4294967295 134512640 134702520 3221223712 3221222992 134552175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1203 864 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1177.08
Current children cumulated vsize (Kb) 6940

[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 899 0 0 0 58037 2823 0 0 19 0 1 0 1784898796 4927488 871 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1203 871 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1185.71
Current children cumulated vsize (Kb) 6940

[startup+1290.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 902 0 0 0 58873 2878 0 0 25 0 1 0 1784898796 4927488 874 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1203 874 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1194.62
Current children cumulated vsize (Kb) 6940

[startup+1300.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 906 0 0 0 59684 2939 0 0 21 0 1 0 1784898796 4927488 878 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1203 878 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1203.34
Current children cumulated vsize (Kb) 6940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1300.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 906 0 0 0 59684 2939 0 0 21 0 1 0 1784898796 4927488 878 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1203 878 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1203.34
Current children cumulated vsize (Kb) 6940

Sending SIGTERM to -5264
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5273
New process pid=5274
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/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1517/stat
open syscall for file /proc/1517/status
open syscall for file /proc/1517/cmdline
open syscall for file /proc/1517/environ
open syscall for file /proc/1541/stat
open syscall for file /proc/1541/status
open syscall for file /proc/1541/cmdline
open syscall for file /proc/1541/environ
open syscall for file /proc/1564/stat
open syscall for file /proc/1564/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/1564/cmdline
open syscall for file /proc/1564/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/22415/stat
open syscall for file /proc/22415/status
open syscall for file /proc/22415/cmdline
open syscall for file /proc/22415/environ
open syscall for file /proc/26525/stat
open syscall for file /proc/26525/status
open syscall for file /proc/26525/cmdline
open syscall for file /proc/26525/environ
open syscall for file /proc/26552/stat
One traced child (pid=5271) exited with status: 3
open syscall for file /proc/26552/status
open syscall for file /proc/26552/cmdline
open syscall for file /proc/26552/environ
open syscall for file /proc/26576/stat
open syscall for file /proc/26576/status
open syscall for file /proc/26576/cmdline
open syscall for file /proc/26576/environ
open syscall for file /proc/16566/stat
open syscall for file /proc/16566/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/16566/cmdline
open syscall for file /proc/16566/environ
open syscall for file /proc/16602/stat
open syscall for file /proc/16602/status
open syscall for file /proc/16602/cmdline
open syscall for file /proc/16602/environ
open syscall for file /proc/1333/stat
open syscall for file /proc/1333/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1333/cmdline
open syscall for file /proc/1333/environ
open syscall for file /proc/1334/stat
open syscall for file /proc/1334/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1334/cmdline
open syscall for file /proc/1334/environ
open syscall for file /proc/1343/stat
open syscall for file /proc/1343/status
open syscall for file /proc/1343/cmdline
open syscall for file /proc/1343/environ
open syscall for file /proc/5227/stat
open syscall for file /proc/5227/status
open syscall for file /proc/5227/cmdline
open syscall for file /proc/5227/environ
open syscall for file /proc/5263/stat
open syscall for file /proc/5263/status
open syscall for file /proc/5263/cmdline
open syscall for file /proc/5263/environ
open syscall for file /proc/5264/stat
open syscall for file /proc/5264/status
open syscall for file /proc/5264/cmdline
open syscall for file /proc/5264/environ
open syscall for file /proc/5273/stat
open syscall for file /proc/5273/status
open syscall for file /proc/5273/cmdline
open syscall for file /proc/5273/environ
open syscall for file /proc/5274/stat
open syscall for file /proc/5274/status
open syscall for file /proc/5274/cmdline
open syscall for file /proc/5274/environ
One traced child (pid=5273) exited with status: 0
One traced child (pid=5274) exited with status: 0
New process pid=5275
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=5275) exited with status: 0
New process pid=5276
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=5276) exited with status: 0
One traced child (pid=5264) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.63
CPU time (s): 1203.54
CPU user time (s): 1153.98
CPU system time (s): 49.5575
CPU usage (%): 92.5353
Max. virtual memory (cumulated for all children) (Kb): 7720

Verifier Data

ERROR: no interpretation found !