Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb
MD5SUMad40fa9446ec809d050488ebdd2a269a
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 126208
Optimality of the best value was proved NO
Number of terms in the objective function 770
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1144575
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 128000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 268466430
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1206.86
Number of variables128716
Total number of constraints28077
Number of constraints which are clauses2438
Number of constraints which are cardinality constraints (but not clauses)7196
Number of constraints which are nor clauses,nor cardinality constraints18443
Minimum length of a constraint1
Maximum length of a constraint55

Trace number 9447

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        912424 kB
Buffers:         17912 kB
Cached:          84904 kB
SwapCached:          0 kB
Active:          57388 kB
Inactive:        48324 kB
HighTotal:      131008 kB
HighFree:        42196 kB
LowTotal:       903652 kB
LowFree:        870228 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:               8 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            10920 kB
Committed_AS:    63664 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:01:00 (client local time) WITH STATUS 0 IN 423.979 SECONDS
stats: 8172 7 423.979 0

Solver Data

1:
seed: 0
Nr of vars set: 3  (#equs: 0)
Nr of vars set: 20  (#equs: 572)
#decisions: 151988;  #end-nodes: 20892;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 146 (127)
#axs: 21460, #non-axs: 1035
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 20  (#equs: 577)
Time taken: 6 min, 19 sec

2:
seed: 0
Nr of vars set: 20  (#equs: 0)
Nr of vars set: 20  (#equs: 303)
#decisions: 60728;  #end-nodes: 14608;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 157 (143)
#axs: 21193, #non-axs: 3714
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 20  (#equs: 313)
Time taken: 6 min, 33 sec

3:

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/6601/stat): 6601 (vallstSAT2005PB) R 6600 6601 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20581561 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6601/statm): 174 3 169 147 0 27 0
[pid=6601] 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=6602
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=6602) exited with status: 0
New process pid=6603
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=6603) exited with status: 0
New process pid=6604
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-CMS750_4.opb

[startup+10.0034 s]
Raw data (loadavg): 0.81 0.94 0.98 1/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) T 6601 6601 4005 0 -1 0 8125 0 0 0 916 49 0 0 25 0 1 0 20581567 37961728 7386 4294967295 134512640 134702520 3221223952 3221223444 1074898590 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6604/statm): 9268 7386 413 48 0 9220 0
[pid=6604] vsize: 37072
Current children cumulated CPU time (s) 9.67
Current children cumulated vsize (Kb) 39200
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+20.0053 s]
Raw data (loadavg): 0.84 0.94 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8773 0 0 0 1899 60 0 0 25 0 1 0 20581567 37457920 7649 4294967295 134512640 134702520 3221223952 3221223216 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 9145 7649 413 48 0 9097 0
[pid=6604] vsize: 36580
Current children cumulated CPU time (s) 19.61
Current children cumulated vsize (Kb) 38708

[startup+30.0063 s]
Raw data (loadavg): 0.87 0.94 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8796 0 0 0 2892 62 0 0 25 0 1 0 20581567 72904704 7672 4294967295 134512640 134702520 3221223952 3221223232 134552693 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17799 7672 413 48 0 17751 0
[pid=6604] vsize: 71196
Current children cumulated CPU time (s) 29.56
Current children cumulated vsize (Kb) 73324

[startup+40.0072 s]
Raw data (loadavg): 0.89 0.94 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8832 0 0 0 3883 66 0 0 25 0 1 0 20581567 72904704 7708 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17799 7708 413 48 0 17751 0
[pid=6604] vsize: 71196
Current children cumulated CPU time (s) 39.51
Current children cumulated vsize (Kb) 73324

[startup+50.0081 s]
Raw data (loadavg): 0.90 0.94 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8845 0 0 0 4871 71 0 0 25 0 1 0 20581567 72937472 7721 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6604/statm): 17807 7721 413 48 0 17759 0
[pid=6604] vsize: 71228
Current children cumulated CPU time (s) 49.44
Current children cumulated vsize (Kb) 73356

[startup+60.0091 s]
Raw data (loadavg): 0.92 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8996 0 0 0 5810 91 0 0 24 0 1 0 20581567 73003008 7872 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17823 7872 413 48 0 17775 0
[pid=6604] vsize: 71292
Current children cumulated CPU time (s) 59.03
Current children cumulated vsize (Kb) 73420

[startup+70.01 s]
Raw data (loadavg): 0.93 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8998 0 0 0 6798 95 0 0 25 0 1 0 20581567 73007104 7874 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6604/statm): 17824 7874 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 68.95
Current children cumulated vsize (Kb) 73424

[startup+80.0109 s]
Raw data (loadavg): 0.94 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8998 0 0 0 7541 182 0 0 20 0 1 0 20581567 73007104 7874 4294967295 134512640 134702520 3221223952 3221223232 134551090 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7874 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 77.25
Current children cumulated vsize (Kb) 73424

[startup+90.0109 s]
Raw data (loadavg): 0.95 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8998 0 0 0 8537 183 0 0 25 0 1 0 20581567 73007104 7874 4294967295 134512640 134702520 3221223952 3221223232 134553248 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7874 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 87.22
Current children cumulated vsize (Kb) 73424

[startup+100.012 s]
Raw data (loadavg): 0.96 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8998 0 0 0 9535 184 0 0 25 0 1 0 20581567 73007104 7874 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7874 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 97.21
Current children cumulated vsize (Kb) 73424

[startup+110.013 s]
Raw data (loadavg): 0.96 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9076 0 0 0 10524 188 0 0 25 0 1 0 20581567 73007104 7952 4294967295 134512640 134702520 3221223952 3221223232 134552537 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7952 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 107.14
Current children cumulated vsize (Kb) 73424

[startup+120.015 s]
Raw data (loadavg): 0.97 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9098 0 0 0 11514 192 0 0 25 0 1 0 20581567 73007104 7974 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7974 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 117.08
Current children cumulated vsize (Kb) 73424

[startup+130.016 s]
Raw data (loadavg): 0.97 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9098 0 0 0 12510 192 0 0 25 0 1 0 20581567 73007104 7974 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7974 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 127.04
Current children cumulated vsize (Kb) 73424

[startup+140.016 s]
Raw data (loadavg): 0.98 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9099 0 0 0 13506 195 0 0 25 0 1 0 20581567 73007104 7975 4294967295 134512640 134702520 3221223952 3221222976 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7975 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 137.03
Current children cumulated vsize (Kb) 73424

[startup+150.017 s]
Raw data (loadavg): 0.98 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9099 0 0 0 14498 197 0 0 25 0 1 0 20581567 73007104 7975 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7975 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 146.97
Current children cumulated vsize (Kb) 73424

[startup+160.018 s]
Raw data (loadavg): 0.98 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 15435 219 0 0 21 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221180828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 156.56
Current children cumulated vsize (Kb) 73424

[startup+170.019 s]
Raw data (loadavg): 0.98 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 16432 220 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221222976 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 166.54
Current children cumulated vsize (Kb) 73424

[startup+180.02 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 17422 224 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134553375 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 176.48
Current children cumulated vsize (Kb) 73424

[startup+190.02 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 18415 227 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 186.44
Current children cumulated vsize (Kb) 73424

[startup+200.021 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 19409 228 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 196.39
Current children cumulated vsize (Kb) 73424

[startup+210.022 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 20404 230 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 206.36
Current children cumulated vsize (Kb) 73424

[startup+220.024 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 21401 231 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 216.34
Current children cumulated vsize (Kb) 73424

[startup+230.025 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 22392 234 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 226.28
Current children cumulated vsize (Kb) 73424

[startup+240.026 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 23389 235 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 236.26
Current children cumulated vsize (Kb) 73424

[startup+250.027 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9101 0 0 0 24374 240 0 0 25 0 1 0 20581567 73007104 7977 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7977 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 246.16
Current children cumulated vsize (Kb) 73424

[startup+260.028 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9122 0 0 0 25356 247 0 0 25 0 1 0 20581567 73007104 7998 4294967295 134512640 134702520 3221223952 3221223232 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7998 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 256.05
Current children cumulated vsize (Kb) 73424

[startup+270.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9152 0 0 0 26344 251 0 0 25 0 1 0 20581567 73007104 8028 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8028 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 265.97
Current children cumulated vsize (Kb) 73424

[startup+280.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9170 0 0 0 27330 255 0 0 25 0 1 0 20581567 73007104 8046 4294967295 134512640 134702520 3221223952 3221223232 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8046 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 275.87
Current children cumulated vsize (Kb) 73424

[startup+290.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9170 0 0 0 28321 259 0 0 25 0 1 0 20581567 73007104 8046 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8046 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 285.82
Current children cumulated vsize (Kb) 73424

[startup+300.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9170 0 0 0 29316 261 0 0 25 0 1 0 20581567 73007104 8046 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8046 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 295.79
Current children cumulated vsize (Kb) 73424

[startup+310.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9171 0 0 0 30311 262 0 0 25 0 1 0 20581567 73007104 8047 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8047 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 305.75
Current children cumulated vsize (Kb) 73424

[startup+320.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9176 0 0 0 31310 263 0 0 25 0 1 0 20581567 73007104 8052 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8052 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 315.75
Current children cumulated vsize (Kb) 73424

[startup+330.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9177 0 0 0 32306 265 0 0 25 0 1 0 20581567 73007104 8053 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8053 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 325.73
Current children cumulated vsize (Kb) 73424

[startup+340.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9177 0 0 0 33300 267 0 0 25 0 1 0 20581567 73007104 8053 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8053 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 335.69
Current children cumulated vsize (Kb) 73424

[startup+350.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9177 0 0 0 34295 269 0 0 25 0 1 0 20581567 73007104 8053 4294967295 134512640 134702520 3221223952 3221223232 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8053 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 345.66
Current children cumulated vsize (Kb) 73424

[startup+360.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9177 0 0 0 35282 274 0 0 25 0 1 0 20581567 73007104 8053 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6604/statm): 17824 8053 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 355.58
Current children cumulated vsize (Kb) 73424

[startup+370.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9187 0 0 0 36275 276 0 0 25 0 1 0 20581567 73007104 8063 4294967295 134512640 134702520 3221223952 3221222976 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8063 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 365.53
Current children cumulated vsize (Kb) 73424

[startup+380.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9187 0 0 0 37270 279 0 0 25 0 1 0 20581567 73007104 8063 4294967295 134512640 134702520 3221223952 3221222976 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8063 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 375.51
Current children cumulated vsize (Kb) 73424
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=6604) exited with status: 2
New process pid=6605
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=6605) exited with status: 0
New process pid=6606
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+390.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 4689 0 0 0 271 22 0 0 25 0 1 0 20620263 32149504 4661 4294967295 134512640 134702520 3221223712 3221223376 134637292 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 7849 4661 413 48 0 7801 0
[pid=6606] vsize: 31396
Current children cumulated CPU time (s) 385.26
Current children cumulated vsize (Kb) 33524

[startup+400.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 6982 0 0 0 1241 40 0 0 25 0 1 0 20620263 35373056 6953 4294967295 134512640 134702520 3221223712 3221222976 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 8636 6953 413 48 0 8588 0
[pid=6606] vsize: 34544
Current children cumulated CPU time (s) 395.14
Current children cumulated vsize (Kb) 36672

[startup+410.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7056 0 0 0 2228 44 0 0 25 0 1 0 20620263 69865472 7025 4294967295 134512640 134702520 3221223712 3221222992 134552516 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17057 7025 413 48 0 17009 0
[pid=6606] vsize: 68228
Current children cumulated CPU time (s) 405.05
Current children cumulated vsize (Kb) 70356

[startup+420.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7175 0 0 0 3218 47 0 0 25 0 1 0 20620263 70000640 7144 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17090 7144 413 48 0 17042 0
[pid=6606] vsize: 68360
Current children cumulated CPU time (s) 414.98
Current children cumulated vsize (Kb) 70488

[startup+430.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7350 0 0 0 4206 52 0 0 25 0 1 0 20620263 70811648 7319 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17288 7319 413 48 0 17240 0
[pid=6606] vsize: 69152
Current children cumulated CPU time (s) 424.91
Current children cumulated vsize (Kb) 71280

[startup+440.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7412 0 0 0 5197 55 0 0 25 0 1 0 20620263 71053312 7379 4294967295 134512640 134702520 3221223712 3221222976 134553213 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7379 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 434.85
Current children cumulated vsize (Kb) 71516

[startup+450.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7413 0 0 0 6195 56 0 0 25 0 1 0 20620263 71053312 7380 4294967295 134512640 134702520 3221223712 3221222960 134548991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7380 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 444.84
Current children cumulated vsize (Kb) 71516

[startup+460.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7418 0 0 0 7188 59 0 0 25 0 1 0 20620263 71053312 7385 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7385 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 454.8
Current children cumulated vsize (Kb) 71516

[startup+470.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7439 0 0 0 8178 62 0 0 25 0 1 0 20620263 71053312 7406 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7406 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 464.73
Current children cumulated vsize (Kb) 71516

[startup+480.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7444 0 0 0 9173 64 0 0 25 0 1 0 20620263 71053312 7411 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7411 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 474.7
Current children cumulated vsize (Kb) 71516

[startup+490.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7447 0 0 0 10162 68 0 0 25 0 1 0 20620263 71053312 7414 4294967295 134512640 134702520 3221223712 3221222992 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7414 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 484.63
Current children cumulated vsize (Kb) 71516

[startup+500.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7454 0 0 0 11161 68 0 0 25 0 1 0 20620263 71569408 7421 4294967295 134512640 134702520 3221223712 3221222736 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17473 7421 413 48 0 17425 0
[pid=6606] vsize: 69892
Current children cumulated CPU time (s) 494.62
Current children cumulated vsize (Kb) 72020

[startup+510.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7455 0 0 0 12156 70 0 0 25 0 1 0 20620263 71053312 7420 4294967295 134512640 134702520 3221223712 3221222992 134550691 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7420 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 504.59
Current children cumulated vsize (Kb) 71516

[startup+520.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7460 0 0 0 13151 72 0 0 25 0 1 0 20620263 71053312 7425 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7425 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 514.56
Current children cumulated vsize (Kb) 71516

[startup+530.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7474 0 0 0 14148 72 0 0 25 0 1 0 20620263 71053312 7439 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7439 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 524.53
Current children cumulated vsize (Kb) 71516

[startup+540.053 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) T 6601 6601 4005 0 -1 0 7488 0 0 0 15137 76 0 0 25 0 1 0 20620263 71188480 7453 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7453 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 534.46
Current children cumulated vsize (Kb) 71648

[startup+550.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7490 0 0 0 16133 78 0 0 25 0 1 0 20620263 71188480 7455 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6606/statm): 17380 7455 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 544.44
Current children cumulated vsize (Kb) 71648

[startup+560.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7496 0 0 0 17120 82 0 0 25 0 1 0 20620263 71188480 7461 4294967295 134512640 134702520 3221223712 3221222992 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6606/statm): 17380 7461 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 554.35
Current children cumulated vsize (Kb) 71648

[startup+570.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7501 0 0 0 18114 85 0 0 25 0 1 0 20620263 71188480 7466 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7466 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 564.32
Current children cumulated vsize (Kb) 71648

[startup+580.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7510 0 0 0 19107 86 0 0 25 0 1 0 20620263 71188480 7473 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7473 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 574.26
Current children cumulated vsize (Kb) 71648

[startup+590.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7519 0 0 0 20097 91 0 0 25 0 1 0 20620263 71188480 7482 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6606/statm): 17380 7482 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 584.21
Current children cumulated vsize (Kb) 71648

[startup+600.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7523 0 0 0 21090 93 0 0 25 0 1 0 20620263 71188480 7486 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7486 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 594.16
Current children cumulated vsize (Kb) 71648

[startup+610.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7528 0 0 0 22079 97 0 0 25 0 1 0 20620263 71188480 7491 4294967295 134512640 134702520 3221223712 3221222992 134552831 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7491 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 604.09
Current children cumulated vsize (Kb) 71648

[startup+620.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7541 0 0 0 23073 99 0 0 25 0 1 0 20620263 71188480 7504 4294967295 134512640 134702520 3221223712 3221222832 134572622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7504 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 614.05
Current children cumulated vsize (Kb) 71648

[startup+630.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7550 0 0 0 24063 101 0 0 25 0 1 0 20620263 71188480 7511 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7511 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 623.97
Current children cumulated vsize (Kb) 71648

[startup+640.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7556 0 0 0 25053 105 0 0 25 0 1 0 20620263 71188480 7517 4294967295 134512640 134702520 3221223712 3221222832 134573410 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7517 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 633.91
Current children cumulated vsize (Kb) 71648

[startup+650.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7570 0 0 0 26041 110 0 0 25 0 1 0 20620263 71323648 7531 4294967295 134512640 134702520 3221223712 3221222992 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7531 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 643.84
Current children cumulated vsize (Kb) 71780

[startup+660.064 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7579 0 0 0 27032 113 0 0 25 0 1 0 20620263 71323648 7540 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7540 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 653.78
Current children cumulated vsize (Kb) 71780

[startup+670.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7588 0 0 0 28025 115 0 0 25 0 1 0 20620263 71323648 7549 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7549 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 663.73
Current children cumulated vsize (Kb) 71780

[startup+680.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7600 0 0 0 29015 118 0 0 25 0 1 0 20620263 71323648 7561 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7561 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 673.66
Current children cumulated vsize (Kb) 71780

[startup+690.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7607 0 0 0 30010 119 0 0 25 0 1 0 20620263 71323648 7568 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7568 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 683.62
Current children cumulated vsize (Kb) 71780

[startup+700.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7615 0 0 0 31002 122 0 0 25 0 1 0 20620263 71323648 7574 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7574 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 693.57
Current children cumulated vsize (Kb) 71780

[startup+710.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7631 0 0 0 31990 127 0 0 25 0 1 0 20620263 71323648 7590 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7590 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 703.5
Current children cumulated vsize (Kb) 71780

[startup+720.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7640 0 0 0 32985 129 0 0 25 0 1 0 20620263 71323648 7599 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7599 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 713.47
Current children cumulated vsize (Kb) 71780

[startup+730.071 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7666 0 0 0 33977 132 0 0 25 0 1 0 20620263 71323648 7625 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7625 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 723.42
Current children cumulated vsize (Kb) 71780

[startup+740.071 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7674 0 0 0 34971 134 0 0 25 0 1 0 20620263 71323648 7633 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7633 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 733.38
Current children cumulated vsize (Kb) 71780

[startup+750.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7686 0 0 0 35962 137 0 0 25 0 1 0 20620263 71323648 7645 4294967295 134512640 134702520 3221223712 3221222976 134553224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7645 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 743.32
Current children cumulated vsize (Kb) 71780

[startup+760.073 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7698 0 0 0 36953 141 0 0 25 0 1 0 20620263 71323648 7657 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7657 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 753.27
Current children cumulated vsize (Kb) 71780

[startup+770.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7712 0 0 0 37942 144 0 0 25 0 1 0 20620263 71839744 7671 4294967295 134512640 134702520 3221223712 3221222736 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17539 7671 413 48 0 17491 0
[pid=6606] vsize: 70156
Current children cumulated CPU time (s) 763.19
Current children cumulated vsize (Kb) 72284

[startup+780.075 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7712 0 0 0 38935 147 0 0 25 0 1 0 20620263 71839744 7671 4294967295 134512640 134702520 3221223712 3221222736 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17539 7671 413 48 0 17491 0
[pid=6606] vsize: 70156
Current children cumulated CPU time (s) 773.15
Current children cumulated vsize (Kb) 72284
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=6606) exited with status: 2
New process pid=6607
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=6607) exited with status: 0
New process pid=6608
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+790.075 s]
Raw data (loadavg): 1.07 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 5283 0 0 0 378 28 0 0 25 0 1 0 20660157 32247808 5256 4294967295 134512640 134702520 3221223712 3221223344 134633315 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 7873 5256 413 48 0 7825 0
[pid=6608] vsize: 31492
Current children cumulated CPU time (s) 782.89
Current children cumulated vsize (Kb) 33620

[startup+800.076 s]
Raw data (loadavg): 1.06 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7034 0 0 0 1354 43 0 0 25 0 1 0 20660157 35504128 7006 4294967295 134512640 134702520 3221223712 3221222976 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 8668 7006 413 48 0 8620 0
[pid=6608] vsize: 34672
Current children cumulated CPU time (s) 792.8
Current children cumulated vsize (Kb) 36800

[startup+810.077 s]
Raw data (loadavg): 1.05 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7107 0 0 0 2342 48 0 0 25 0 1 0 20660157 70217728 7077 4294967295 134512640 134702520 3221223712 3221222956 134548992 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17143 7077 413 48 0 17095 0
[pid=6608] vsize: 68572
Current children cumulated CPU time (s) 802.73
Current children cumulated vsize (Kb) 70700

[startup+820.077 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7239 0 0 0 3335 52 0 0 25 0 1 0 20660157 70488064 7209 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17209 7209 413 48 0 17161 0
[pid=6608] vsize: 68836
Current children cumulated CPU time (s) 812.7
Current children cumulated vsize (Kb) 70964

[startup+830.078 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7283 0 0 0 4330 54 0 0 25 0 1 0 20660157 70488064 7253 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17209 7253 413 48 0 17161 0
[pid=6608] vsize: 68836
Current children cumulated CPU time (s) 822.67
Current children cumulated vsize (Kb) 70964

[startup+840.079 s]
Raw data (loadavg): 1.03 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7320 0 0 0 5325 55 0 0 25 0 1 0 20660157 70623232 7290 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17242 7290 413 48 0 17194 0
[pid=6608] vsize: 68968
Current children cumulated CPU time (s) 832.63
Current children cumulated vsize (Kb) 71096

[startup+850.08 s]
Raw data (loadavg): 1.03 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7357 0 0 0 6321 57 0 0 25 0 1 0 20660157 70623232 7327 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17242 7327 413 48 0 17194 0
[pid=6608] vsize: 68968
Current children cumulated CPU time (s) 842.61
Current children cumulated vsize (Kb) 71096

[startup+860.081 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7365 0 0 0 7314 60 0 0 25 0 1 0 20660157 70758400 7335 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17275 7335 413 48 0 17227 0
[pid=6608] vsize: 69100
Current children cumulated CPU time (s) 852.57
Current children cumulated vsize (Kb) 71228

[startup+870.083 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7387 0 0 0 8307 62 0 0 25 0 1 0 20660157 70758400 7357 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17275 7357 413 48 0 17227 0
[pid=6608] vsize: 69100
Current children cumulated CPU time (s) 862.52
Current children cumulated vsize (Kb) 71228

[startup+880.084 s]
Raw data (loadavg): 1.01 0.99 0.98 1/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) T 6601 6601 4005 0 -1 0 7396 0 0 0 9300 65 0 0 25 0 1 0 20660157 70758400 7366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6608/statm): 17275 7366 413 48 0 17227 0
[pid=6608] vsize: 69100
Current children cumulated CPU time (s) 872.48
Current children cumulated vsize (Kb) 71228

[startup+890.084 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7498 0 0 0 10287 69 0 0 25 0 1 0 20660157 71163904 7468 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6608/statm): 17374 7468 413 48 0 17326 0
[pid=6608] vsize: 69496
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (Kb) 71624

[startup+900.085 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7505 0 0 0 11279 72 0 0 25 0 1 0 20660157 71163904 7475 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6608/statm): 17374 7475 413 48 0 17326 0
[pid=6608] vsize: 69496
Current children cumulated CPU time (s) 892.34
Current children cumulated vsize (Kb) 71624

[startup+910.085 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7526 0 0 0 12267 76 0 0 25 0 1 0 20660157 71299072 7496 4294967295 134512640 134702520 3221223712 3221222832 134578650 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17407 7496 413 48 0 17359 0
[pid=6608] vsize: 69628
Current children cumulated CPU time (s) 902.26
Current children cumulated vsize (Kb) 71756

[startup+920.086 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7533 0 0 0 13262 78 0 0 25 0 1 0 20660157 71299072 7503 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17407 7503 413 48 0 17359 0
[pid=6608] vsize: 69628
Current children cumulated CPU time (s) 912.23
Current children cumulated vsize (Kb) 71756

[startup+930.087 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7536 0 0 0 14257 80 0 0 25 0 1 0 20660157 71299072 7506 4294967295 134512640 134702520 3221223712 3221222992 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17407 7506 413 48 0 17359 0
[pid=6608] vsize: 69628
Current children cumulated CPU time (s) 922.2
Current children cumulated vsize (Kb) 71756

[startup+940.088 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7594 0 0 0 15250 83 0 0 25 0 1 0 20660157 71507968 7562 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17458 7562 413 48 0 17410 0
[pid=6608] vsize: 69832
Current children cumulated CPU time (s) 932.16
Current children cumulated vsize (Kb) 71960

[startup+950.088 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7597 0 0 0 16243 86 0 0 25 0 1 0 20660157 71507968 7565 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17458 7565 413 48 0 17410 0
[pid=6608] vsize: 69832
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (Kb) 71960

[startup+960.089 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7601 0 0 0 17237 88 0 0 25 0 1 0 20660157 71507968 7569 4294967295 134512640 134702520 3221223712 3221222992 134552225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17458 7569 413 48 0 17410 0
[pid=6608] vsize: 69832
Current children cumulated CPU time (s) 952.08
Current children cumulated vsize (Kb) 71960

[startup+970.091 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7605 0 0 0 18228 91 0 0 25 0 1 0 20660157 71643136 7573 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7573 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 962.02
Current children cumulated vsize (Kb) 72092

[startup+980.092 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7609 0 0 0 19221 93 0 0 25 0 1 0 20660157 71643136 7577 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7577 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 971.97
Current children cumulated vsize (Kb) 72092

[startup+990.092 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7616 0 0 0 20216 95 0 0 25 0 1 0 20660157 71643136 7584 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7584 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 981.94
Current children cumulated vsize (Kb) 72092

[startup+1000.09 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7620 0 0 0 21210 97 0 0 25 0 1 0 20660157 71643136 7588 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7588 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 991.9
Current children cumulated vsize (Kb) 72092

[startup+1010.09 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7622 0 0 0 22203 99 0 0 25 0 1 0 20660157 71643136 7590 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7590 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (Kb) 72092

[startup+1020.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7626 0 0 0 23195 102 0 0 25 0 1 0 20660157 71643136 7594 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7594 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1011.8
Current children cumulated vsize (Kb) 72092

[startup+1030.1 s]
Raw data (loadavg): 1.00 0.99 0.98 1/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) T 6601 6601 4005 0 -1 0 7630 0 0 0 24186 105 0 0 25 0 1 0 20660157 71643136 7598 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7598 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1021.74
Current children cumulated vsize (Kb) 72092

[startup+1040.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7633 0 0 0 25180 108 0 0 25 0 1 0 20660157 71643136 7601 4294967295 134512640 134702520 3221223712 3221222992 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7601 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1031.71
Current children cumulated vsize (Kb) 72092

[startup+1050.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7639 0 0 0 26170 111 0 0 25 0 1 0 20660157 71643136 7605 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7605 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1041.64
Current children cumulated vsize (Kb) 72092

[startup+1060.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7648 0 0 0 27164 113 0 0 25 0 1 0 20660157 71643136 7614 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7614 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1051.6
Current children cumulated vsize (Kb) 72092

[startup+1070.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7652 0 0 0 28159 116 0 0 25 0 1 0 20660157 71643136 7618 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7618 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1061.58
Current children cumulated vsize (Kb) 72092

[startup+1080.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7656 0 0 0 29151 118 0 0 25 0 1 0 20660157 71643136 7622 4294967295 134512640 134702520 3221223712 3221222992 134554465 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7622 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1071.52
Current children cumulated vsize (Kb) 72092

[startup+1090.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7670 0 0 0 30141 122 0 0 25 0 1 0 20660157 71643136 7636 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6608/statm): 17491 7636 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1081.46
Current children cumulated vsize (Kb) 72092

[startup+1100.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7675 0 0 0 31133 124 0 0 25 0 1 0 20660157 71643136 7641 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7641 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1091.4
Current children cumulated vsize (Kb) 72092

[startup+1110.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7684 0 0 0 32124 127 0 0 25 0 1 0 20660157 71643136 7650 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7650 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1101.34
Current children cumulated vsize (Kb) 72092

[startup+1120.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7697 0 0 0 33115 129 0 0 25 0 1 0 20660157 71643136 7663 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7663 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1111.27
Current children cumulated vsize (Kb) 72092

[startup+1130.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7702 0 0 0 34108 131 0 0 25 0 1 0 20660157 71643136 7668 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7668 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1121.22
Current children cumulated vsize (Kb) 72092

[startup+1140.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7708 0 0 0 35102 133 0 0 25 0 1 0 20660157 71778304 7674 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7674 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1131.18
Current children cumulated vsize (Kb) 72224

[startup+1150.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7716 0 0 0 36095 136 0 0 25 0 1 0 20660157 71778304 7682 4294967295 134512640 134702520 3221223712 3221222992 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7682 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1141.14
Current children cumulated vsize (Kb) 72224

[startup+1160.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/60 6658
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7722 0 0 0 37087 139 0 0 23 0 1 0 20660157 71778304 7688 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7688 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1151.09
Current children cumulated vsize (Kb) 72224

[startup+1170.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6663
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7731 0 0 0 38078 143 0 0 25 0 1 0 20660157 71778304 7695 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7695 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1161.04
Current children cumulated vsize (Kb) 72224

[startup+1180.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6663
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7733 0 0 0 39072 145 0 0 25 0 1 0 20660157 71778304 7697 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7697 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1171
Current children cumulated vsize (Kb) 72224

[startup+1190.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6663
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7736 0 0 0 40065 147 0 0 25 0 1 0 20660157 71778304 7700 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7700 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1180.95
Current children cumulated vsize (Kb) 72224

[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6663
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7740 0 0 0 41055 150 0 0 25 0 1 0 20660157 71778304 7704 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7704 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1190.88
Current children cumulated vsize (Kb) 72224

[startup+1210.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6663
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7748 0 0 0 42047 153 0 0 25 0 1 0 20660157 71778304 7712 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7712 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1200.83
Current children cumulated vsize (Kb) 72224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.12 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6663
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7748 0 0 0 42047 153 0 0 25 0 1 0 20660157 71778304 7712 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6608/statm): 17524 7712 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1200.83
Current children cumulated vsize (Kb) 72224

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

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.16
CPU time (s): 423.979
CPU user time (s): 422.2
CPU system time (s): 1.77873
CPU usage (%): 34.9772
Max. virtual memory (cumulated for all children) (Kb): 73424

Verifier Data

ERROR: no interpretation found !