Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb
MD5SUM97d3686ba27caa0b5ec08bf1e8098491
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 861
Optimality of the best value was proved YES
Number of terms in the objective function 1848
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1848
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1848
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark25.4561
Number of variables1848
Total number of constraints14727
Number of constraints which are clauses14727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint16

Trace number 1856

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-18 17:07:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7167 boxname=wulflinc29 idbench=135 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  97d3686ba27caa0b5ec08bf1e8098491  /oldhome/oroussel/tmp/wulflinc29/normalized-ii16c2.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc29/normalized-ii16c2.opb 0
IDLAUNCH: 7167
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        917388 kB
Buffers:         28072 kB
Cached:          59604 kB
SwapCached:        792 kB
Active:          27432 kB
Inactive:        62924 kB
HighTotal:      131008 kB
HighFree:        70336 kB
LowTotal:       903652 kB
LowFree:        847052 kB
SwapTotal:     2097892 kB
SwapFree:      2096664 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            21208 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 17:29:15 (client local time) WITH STATUS 0 IN 1205.97 SECONDS
stats: 7167 7 1205.97 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 238;  #end-nodes: 73;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 73 / 213 (80)
#axs: 14728, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  986 (861:>=*);
#decisions: 230954;  #end-nodes: 152969;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 263 (247)
#axs: 15287, #non-axs: 1044
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 986 (861:>=*)

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

2:
seed: 0
Nr of vars set: 176  (#equs: 0)
Nr of vars set: 176  (#equs: 97)
#decisions: 210087;  #end-nodes: 138787;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 287 (287)
#axs: 5101, #non-axs: 858
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: 176  (#equs: 383)
Time taken: 4 min, 8 sec

3:
seed: 0
Nr of vars set: 176  (#equs: 0)
Nr of vars set: 176  (#equs: 17)
#decisions: 279110;  #end-nodes: 198045;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 351 (351)
#axs: 4728, #non-axs: 836
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: 176  (#equs: 205)
Time taken: 4 min, 30 sec

4:
seed: 0
Nr of vars set: 176  (#equs: 0)
Nr of vars set: 176  (#equs: 41)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 176  (#equs: 41)
Time taken: 5 min, 47 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) R 23620 23621 19818 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1842922633 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23621/statm): 174 3 169 147 0 27 0
[pid=23621] 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=23622
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=23622) exited with status: 0
New process pid=23623
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=23623) exited with status: 0
New process pid=23624
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/wulflinc29/normalized-ii16c2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0038 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 482 0 0 0 846 48 0 0 25 0 1 0 1842922642 3416064 452 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 834 452 413 48 0 786 0
[pid=23624] vsize: 3336
Current children cumulated CPU time (s) 8.96
Current children cumulated vsize (Kb) 5464

[startup+20.0056 s]
Raw data (loadavg): 0.94 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 581 0 0 0 1722 92 0 0 25 0 1 0 1842922642 5976064 551 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1459 551 413 48 0 1411 0
[pid=23624] vsize: 5836
Current children cumulated CPU time (s) 18.16
Current children cumulated vsize (Kb) 7964

[startup+30.0064 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1188 0 0 0 2686 106 0 0 25 0 1 0 1842922642 6111232 1158 4294967295 134512640 134702520 3221223968 3221223248 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23624/statm): 1492 1158 413 48 0 1444 0
[pid=23624] vsize: 5968
Current children cumulated CPU time (s) 27.94
Current children cumulated vsize (Kb) 8096

[startup+40.0071 s]
Raw data (loadavg): 0.96 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1221 0 0 0 3639 122 0 0 25 0 1 0 1842922642 6266880 1191 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23624/statm): 1530 1191 413 48 0 1482 0
[pid=23624] vsize: 6120
Current children cumulated CPU time (s) 37.63
Current children cumulated vsize (Kb) 8248

[startup+50.0079 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1250 0 0 0 4592 139 0 0 25 0 1 0 1842922642 6266880 1220 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1530 1220 413 48 0 1482 0
[pid=23624] vsize: 6120
Current children cumulated CPU time (s) 47.33
Current children cumulated vsize (Kb) 8248

[startup+60.0087 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1295 0 0 0 5554 151 0 0 25 0 1 0 1842922642 6742016 1265 4294967295 134512640 134702520 3221223968 3221223248 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1646 1265 413 48 0 1598 0
[pid=23624] vsize: 6584
Current children cumulated CPU time (s) 57.07
Current children cumulated vsize (Kb) 8712

[startup+70.0105 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1308 0 0 0 6506 167 0 0 25 0 1 0 1842922642 6742016 1278 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1646 1278 413 48 0 1598 0
[pid=23624] vsize: 6584
Current children cumulated CPU time (s) 66.75
Current children cumulated vsize (Kb) 8712

[startup+80.0113 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1319 0 0 0 7449 186 0 0 25 0 1 0 1842922642 6881280 1289 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1680 1289 413 48 0 1632 0
[pid=23624] vsize: 6720
Current children cumulated CPU time (s) 76.37
Current children cumulated vsize (Kb) 8848

[startup+90.012 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1320 0 0 0 8419 197 0 0 25 0 1 0 1842922642 6881280 1290 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1680 1290 413 48 0 1632 0
[pid=23624] vsize: 6720
Current children cumulated CPU time (s) 86.18
Current children cumulated vsize (Kb) 8848

[startup+100.013 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1321 0 0 0 9377 210 0 0 25 0 1 0 1842922642 6873088 1291 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1291 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 95.89
Current children cumulated vsize (Kb) 8840

[startup+110.014 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1331 0 0 0 10324 230 0 0 25 0 1 0 1842922642 6873088 1301 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1301 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 105.56
Current children cumulated vsize (Kb) 8840

[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1334 0 0 0 11259 254 0 0 25 0 1 0 1842922642 6873088 1304 4294967295 134512640 134702520 3221223968 3221222864 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1304 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 115.15
Current children cumulated vsize (Kb) 8840

[startup+130.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1337 0 0 0 12194 275 0 0 25 0 1 0 1842922642 6873088 1307 4294967295 134512640 134702520 3221223968 3221222864 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1307 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 124.71
Current children cumulated vsize (Kb) 8840

[startup+140.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1337 0 0 0 13170 283 0 0 25 0 1 0 1842922642 6873088 1307 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1307 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 134.55
Current children cumulated vsize (Kb) 8840

[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1338 0 0 0 14116 302 0 0 25 0 1 0 1842922642 6873088 1308 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1308 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 144.2
Current children cumulated vsize (Kb) 8840

[startup+160.017 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1340 0 0 0 15049 325 0 0 25 0 1 0 1842922642 6873088 1310 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1310 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 153.76
Current children cumulated vsize (Kb) 8840

[startup+170.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1342 0 0 0 15986 347 0 0 25 0 1 0 1842922642 6873088 1312 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1312 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 163.35
Current children cumulated vsize (Kb) 8840

[startup+180.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1342 0 0 0 16964 355 0 0 25 0 1 0 1842922642 6873088 1312 4294967295 134512640 134702520 3221223968 3221222844 134548988 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1312 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 173.21
Current children cumulated vsize (Kb) 8840

[startup+190.019 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1342 0 0 0 17923 369 0 0 25 0 1 0 1842922642 6873088 1312 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1312 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 182.94
Current children cumulated vsize (Kb) 8840

[startup+200.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1342 0 0 0 18872 387 0 0 25 0 1 0 1842922642 6873088 1312 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1312 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 192.61
Current children cumulated vsize (Kb) 8840

[startup+210.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1344 0 0 0 19820 402 0 0 25 0 1 0 1842922642 6873088 1314 4294967295 134512640 134702520 3221223968 3221222992 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1314 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 202.24
Current children cumulated vsize (Kb) 8840

[startup+220.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1347 0 0 0 20803 409 0 0 25 0 1 0 1842922642 6873088 1317 4294967295 134512640 134702520 3221223968 3221222864 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1317 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 212.14
Current children cumulated vsize (Kb) 8840

[startup+230.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1347 0 0 0 21759 425 0 0 25 0 1 0 1842922642 6873088 1317 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1317 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 221.86
Current children cumulated vsize (Kb) 8840

[startup+240.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1348 0 0 0 22705 444 0 0 25 0 1 0 1842922642 6873088 1318 4294967295 134512640 134702520 3221223968 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1678 1318 413 48 0 1630 0
[pid=23624] vsize: 6712
Current children cumulated CPU time (s) 231.51
Current children cumulated vsize (Kb) 8840

[startup+250.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1351 0 0 0 23651 462 0 0 25 0 1 0 1842922642 7008256 1321 4294967295 134512640 134702520 3221223968 3221222992 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1321 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 241.15
Current children cumulated vsize (Kb) 8972

[startup+260.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1354 0 0 0 24635 466 0 0 25 0 1 0 1842922642 7008256 1324 4294967295 134512640 134702520 3221223968 3221222840 134564367 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23624/statm): 1711 1324 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 251.03
Current children cumulated vsize (Kb) 8972

[startup+270.025 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1354 0 0 0 25593 481 0 0 25 0 1 0 1842922642 7008256 1324 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1324 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 260.76
Current children cumulated vsize (Kb) 8972

[startup+280.026 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1355 0 0 0 26536 502 0 0 25 0 1 0 1842922642 7008256 1325 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1325 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 270.4
Current children cumulated vsize (Kb) 8972

[startup+290.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1357 0 0 0 27475 522 0 0 25 0 1 0 1842922642 7008256 1327 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23624/statm): 1711 1327 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 8972

[startup+300.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1359 0 0 0 28460 527 0 0 25 0 1 0 1842922642 7008256 1329 4294967295 134512640 134702520 3221223968 3221222864 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1329 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 289.89
Current children cumulated vsize (Kb) 8972

[startup+310.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1359 0 0 0 29426 540 0 0 25 0 1 0 1842922642 7008256 1329 4294967295 134512640 134702520 3221223968 3221222976 134553203 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1329 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 299.68
Current children cumulated vsize (Kb) 8972

[startup+320.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1359 0 0 0 30374 559 0 0 25 0 1 0 1842922642 7008256 1329 4294967295 134512640 134702520 3221223968 3221222992 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1329 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 309.35
Current children cumulated vsize (Kb) 8972

[startup+330.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1361 0 0 0 31317 578 0 0 25 0 1 0 1842922642 7008256 1331 4294967295 134512640 134702520 3221223968 3221222992 134550369 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23624/statm): 1711 1331 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 318.97
Current children cumulated vsize (Kb) 8972

[startup+340.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) R 23621 23621 19818 0 -1 0 1363 0 0 0 32281 592 0 0 25 0 1 0 1842922642 7008256 1333 4294967295 134512640 134702520 3221223968 3221222864 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1333 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 328.75
Current children cumulated vsize (Kb) 8972

[startup+350.033 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23624
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1842922633 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 242 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23624/stat): 23624 (vallst) T 23621 23621 19818 0 -1 0 1363 0 0 0 33267 597 0 0 25 0 1 0 1842922642 7008256 1333 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23624/statm): 1711 1333 413 48 0 1663 0
[pid=23624] vsize: 6844
Current children cumulated CPU time (s) 338.66
Current children cumulated vsize (Kb) 8972
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=23624) exited with status: 2
New process pid=23625
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=23625) exited with status: 0
New process pid=23626
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+360.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 341 0 0 0 818 11 0 0 25 0 1 0 1842957787 3207168 312 4294967295 134512640 134702520 3221223712 3221222848 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23626/statm): 783 312 413 48 0 735 0
[pid=23626] vsize: 3132
Current children cumulated CPU time (s) 348.38
Current children cumulated vsize (Kb) 5260

[startup+370.035 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 594 0 0 0 1771 28 0 0 25 0 1 0 1842957787 5640192 565 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1377 565 413 48 0 1329 0
[pid=23626] vsize: 5508
Current children cumulated CPU time (s) 358.08
Current children cumulated vsize (Kb) 7636

[startup+380.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 643 0 0 0 2689 54 0 0 25 0 1 0 1842957787 5779456 614 4294967295 134512640 134702520 3221223712 3221222832 134578971 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23626/statm): 1411 614 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 367.52
Current children cumulated vsize (Kb) 7772

[startup+390.036 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 3633 73 0 0 25 0 1 0 1842957787 5779456 639 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1411 639 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 377.15
Current children cumulated vsize (Kb) 7772

[startup+400.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 4600 85 0 0 25 0 1 0 1842957787 5779456 639 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1411 639 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 386.94
Current children cumulated vsize (Kb) 7772

[startup+410.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 975 0 0 0 5511 114 0 0 25 0 1 0 1842957787 5779456 946 4294967295 134512640 134702520 3221223712 3221222832 134584563 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23626/statm): 1411 946 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 396.34
Current children cumulated vsize (Kb) 7772

[startup+420.039 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 979 0 0 0 6442 137 0 0 25 0 1 0 1842957787 5779456 950 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1411 950 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 405.88
Current children cumulated vsize (Kb) 7772

[startup+430.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 980 0 0 0 7402 150 0 0 25 0 1 0 1842957787 5779456 951 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1411 951 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 415.61
Current children cumulated vsize (Kb) 7772

[startup+440.04 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 984 0 0 0 8322 179 0 0 25 0 1 0 1842957787 5779456 955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1411 955 413 48 0 1363 0
[pid=23626] vsize: 5644
Current children cumulated CPU time (s) 425.1
Current children cumulated vsize (Kb) 7772

[startup+450.041 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 989 0 0 0 9241 206 0 0 25 0 1 0 1842957787 5906432 960 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 960 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 434.56
Current children cumulated vsize (Kb) 7896

[startup+460.042 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 990 0 0 0 10204 218 0 0 25 0 1 0 1842957787 5906432 961 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 961 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 444.31
Current children cumulated vsize (Kb) 7896

[startup+470.043 s]
Raw data (loadavg): 1.05 1.00 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 992 0 0 0 11152 236 0 0 25 0 1 0 1842957787 5906432 963 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 963 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 453.97
Current children cumulated vsize (Kb) 7896

[startup+480.044 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 996 0 0 0 12067 264 0 0 25 0 1 0 1842957787 5906432 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 967 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 463.4
Current children cumulated vsize (Kb) 7896

[startup+490.044 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 999 0 0 0 12999 286 0 0 18 0 1 0 1842957787 5906432 970 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 970 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 472.94
Current children cumulated vsize (Kb) 7896

[startup+500.045 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 999 0 0 0 13961 300 0 0 25 0 1 0 1842957787 5906432 970 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 970 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 482.7
Current children cumulated vsize (Kb) 7896

[startup+510.046 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1003 0 0 0 14873 328 0 0 25 0 1 0 1842957787 5906432 974 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 974 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 492.1
Current children cumulated vsize (Kb) 7896

[startup+520.047 s]
Raw data (loadavg): 1.09 1.02 1.00 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1006 0 0 0 15784 358 0 0 23 0 1 0 1842957787 5906432 977 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 977 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 501.51
Current children cumulated vsize (Kb) 7896

[startup+530.047 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1007 0 0 0 16749 370 0 0 25 0 1 0 1842957787 5906432 978 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 978 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 511.28
Current children cumulated vsize (Kb) 7896

[startup+540.048 s]
Raw data (loadavg): 1.14 1.03 1.01 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1009 0 0 0 17701 387 0 0 25 0 1 0 1842957787 5906432 980 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 980 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 520.97
Current children cumulated vsize (Kb) 7896

[startup+550.049 s]
Raw data (loadavg): 1.12 1.03 1.01 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1012 0 0 0 18611 417 0 0 25 0 1 0 1842957787 5906432 983 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 983 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 530.37
Current children cumulated vsize (Kb) 7896

[startup+560.05 s]
Raw data (loadavg): 1.10 1.03 1.01 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 1015 0 0 0 19537 444 0 0 25 0 1 0 1842957787 5906432 986 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 986 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 539.9
Current children cumulated vsize (Kb) 7896

[startup+570.052 s]
Raw data (loadavg): 1.08 1.03 1.01 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 1015 0 0 0 20503 456 0 0 25 0 1 0 1842957787 5906432 986 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1442 986 413 48 0 1394 0
[pid=23626] vsize: 5768
Current children cumulated CPU time (s) 549.68
Current children cumulated vsize (Kb) 7896

[startup+580.052 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 1018 0 0 0 21428 481 0 0 25 0 1 0 1842957787 6041600 989 4294967295 134512640 134702520 3221223712 3221222608 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1475 989 413 48 0 1427 0
[pid=23626] vsize: 5900
Current children cumulated CPU time (s) 559.18
Current children cumulated vsize (Kb) 8028

[startup+590.052 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1024 0 0 0 22332 513 0 0 25 0 1 0 1842957787 6029312 995 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1472 995 413 48 0 1424 0
[pid=23626] vsize: 5888
Current children cumulated CPU time (s) 568.54
Current children cumulated vsize (Kb) 8016

[startup+600.053 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) R 23621 23621 19818 0 -1 0 1028 0 0 0 23278 531 0 0 25 0 1 0 1842957787 6029312 999 4294967295 134512640 134702520 3221223712 3221222608 134556689 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1472 999 413 48 0 1424 0
[pid=23626] vsize: 5888
Current children cumulated CPU time (s) 578.18
Current children cumulated vsize (Kb) 8016

[startup+610.054 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 23626
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 378 1738 0 0 1 1 33406 601 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23626/stat): 23626 (vallst) T 23621 23621 19818 0 -1 0 1028 0 0 0 24248 540 0 0 25 0 1 0 1842957787 6029312 999 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23626/statm): 1472 999 413 48 0 1424 0
[pid=23626] vsize: 5888
Current children cumulated CPU time (s) 587.97
Current children cumulated vsize (Kb) 8016
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=23626) exited with status: 2
New process pid=23627
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=23627) exited with status: 0
New process pid=23628
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+620.054 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 346 0 0 0 910 16 0 0 25 0 1 0 1842983682 2682880 318 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 655 318 413 48 0 607 0
[pid=23628] vsize: 2620
Current children cumulated CPU time (s) 597.56
Current children cumulated vsize (Kb) 4748

[startup+630.055 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 644 0 0 0 1830 46 0 0 25 0 1 0 1842983682 3944448 616 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 963 616 413 48 0 915 0
[pid=23628] vsize: 3852
Current children cumulated CPU time (s) 607.06
Current children cumulated vsize (Kb) 5980

[startup+640.056 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 662 0 0 0 2718 84 0 0 18 0 1 0 1842983682 3960832 634 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 967 634 413 48 0 919 0
[pid=23628] vsize: 3868
Current children cumulated CPU time (s) 616.32
Current children cumulated vsize (Kb) 5996

[startup+650.057 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 666 0 0 0 3647 108 0 0 25 0 1 0 1842983682 3960832 638 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 967 638 413 48 0 919 0
[pid=23628] vsize: 3868
Current children cumulated CPU time (s) 625.85
Current children cumulated vsize (Kb) 5996

[startup+660.058 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 4565 136 0 0 24 0 1 0 1842983682 3960832 640 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 967 640 413 48 0 919 0
[pid=23628] vsize: 3868
Current children cumulated CPU time (s) 635.31
Current children cumulated vsize (Kb) 5996

[startup+670.058 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 678 0 0 0 5470 168 0 0 25 0 1 0 1842983682 4096000 650 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1000 650 413 48 0 952 0
[pid=23628] vsize: 4000
Current children cumulated CPU time (s) 644.68
Current children cumulated vsize (Kb) 6128

[startup+680.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) R 23621 23621 19818 0 -1 0 681 0 0 0 6384 195 0 0 25 0 1 0 1842983682 4083712 653 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23628/statm): 997 653 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 654.09
Current children cumulated vsize (Kb) 6116

[startup+690.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) R 23621 23621 19818 0 -1 0 681 0 0 0 7319 220 0 0 25 0 1 0 1842983682 4083712 653 4294967295 134512640 134702520 3221223712 3221222548 134549017 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23628/statm): 997 653 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 663.69
Current children cumulated vsize (Kb) 6116

[startup+700.061 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 688 0 0 0 8209 258 0 0 25 0 1 0 1842983682 4083712 660 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 660 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 672.97
Current children cumulated vsize (Kb) 6116

[startup+710.061 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 692 0 0 0 9106 290 0 0 25 0 1 0 1842983682 4083712 664 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 664 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 682.26
Current children cumulated vsize (Kb) 6116

[startup+720.063 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 692 0 0 0 10036 315 0 0 25 0 1 0 1842983682 4083712 664 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 664 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 691.81
Current children cumulated vsize (Kb) 6116

[startup+730.064 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 695 0 0 0 10941 347 0 0 18 0 1 0 1842983682 4083712 667 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 667 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 701.18
Current children cumulated vsize (Kb) 6116

[startup+740.065 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 699 0 0 0 11828 386 0 0 24 0 1 0 1842983682 4083712 671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 671 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 710.44
Current children cumulated vsize (Kb) 6116

[startup+750.067 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 700 0 0 0 12758 411 0 0 25 0 1 0 1842983682 4083712 672 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 672 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 719.99
Current children cumulated vsize (Kb) 6116

[startup+760.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 702 0 0 0 13672 439 0 0 25 0 1 0 1842983682 4083712 674 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 997 674 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 729.41
Current children cumulated vsize (Kb) 6116

[startup+770.068 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 706 0 0 0 14565 476 0 0 25 0 1 0 1842983682 4083712 678 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23628/statm): 997 678 413 48 0 949 0
[pid=23628] vsize: 3988
Current children cumulated CPU time (s) 738.71
Current children cumulated vsize (Kb) 6116

[startup+780.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 710 0 0 0 15464 509 0 0 25 0 1 0 1842983682 4202496 682 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/23628/statm): 1026 682 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 748.03
Current children cumulated vsize (Kb) 6232

[startup+790.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 710 0 0 0 16391 536 0 0 25 0 1 0 1842983682 4202496 682 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 682 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 757.57
Current children cumulated vsize (Kb) 6232

[startup+800.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 714 0 0 0 17274 576 0 0 25 0 1 0 1842983682 4202496 686 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 686 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 766.8
Current children cumulated vsize (Kb) 6232

[startup+810.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 720 0 0 0 18163 617 0 0 25 0 1 0 1842983682 4202496 692 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 692 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 776.1
Current children cumulated vsize (Kb) 6232

[startup+820.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 720 0 0 0 19095 641 0 0 25 0 1 0 1842983682 4202496 692 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 692 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 785.66
Current children cumulated vsize (Kb) 6232

[startup+830.075 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 722 0 0 0 19999 673 0 0 25 0 1 0 1842983682 4202496 694 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 694 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 795.02
Current children cumulated vsize (Kb) 6232

[startup+840.076 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 727 0 0 0 20889 708 0 0 25 0 1 0 1842983682 4202496 699 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 699 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 804.27
Current children cumulated vsize (Kb) 6232

[startup+850.076 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 733 0 0 0 21791 741 0 0 25 0 1 0 1842983682 4202496 705 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 705 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 813.62
Current children cumulated vsize (Kb) 6232

[startup+860.077 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 733 0 0 0 22717 767 0 0 25 0 1 0 1842983682 4202496 705 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1026 705 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 823.14
Current children cumulated vsize (Kb) 6232

[startup+870.078 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 734 0 0 0 23599 806 0 0 24 0 1 0 1842983682 4202496 706 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23628/statm): 1026 706 413 48 0 978 0
[pid=23628] vsize: 4104
Current children cumulated CPU time (s) 832.35
Current children cumulated vsize (Kb) 6232

[startup+880.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) R 23621 23621 19818 0 -1 0 740 0 0 0 24491 843 0 0 25 0 1 0 1842983682 4333568 712 4294967295 134512640 134702520 3221223712 3221222832 134573846 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1058 712 413 48 0 1010 0
[pid=23628] vsize: 4232
Current children cumulated CPU time (s) 841.64
Current children cumulated vsize (Kb) 6360

[startup+890.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23628
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 417 2910 0 0 1 1 57685 1143 19 0 1 0 1842922633 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 248 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23628/stat): 23628 (vallst) T 23621 23621 19818 0 -1 0 742 0 0 0 25408 874 0 0 25 0 1 0 1842983682 4333568 714 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23628/statm): 1058 714 413 48 0 1010 0
[pid=23628] vsize: 4232
Current children cumulated CPU time (s) 851.12
Current children cumulated vsize (Kb) 6360
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=23628) exited with status: 2
New process pid=23629
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=23629) exited with status: 0
New process pid=23630
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+900.081 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 164 10 0 0 25 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 860.52
Current children cumulated vsize (Kb) 4752

[startup+910.082 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 981 74 0 0 23 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 869.33
Current children cumulated vsize (Kb) 4752

[startup+920.084 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 1786 141 0 0 23 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 878.05
Current children cumulated vsize (Kb) 4752

[startup+930.085 s]
Raw data (loadavg): 1.13 1.03 1.01 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 2583 212 0 0 22 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 886.73
Current children cumulated vsize (Kb) 4752

[startup+940.085 s]
Raw data (loadavg): 1.11 1.03 1.01 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 3385 281 0 0 22 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 895.44
Current children cumulated vsize (Kb) 4752

[startup+950.086 s]
Raw data (loadavg): 1.10 1.03 1.01 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 4188 344 0 0 22 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 904.1
Current children cumulated vsize (Kb) 4752

[startup+960.087 s]
Raw data (loadavg): 1.08 1.03 1.01 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 4987 411 0 0 23 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 912.76
Current children cumulated vsize (Kb) 4752

[startup+970.089 s]
Raw data (loadavg): 1.07 1.03 1.01 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 345 0 0 0 5792 481 0 0 21 0 1 0 1843012460 2686976 317 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 317 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 921.51
Current children cumulated vsize (Kb) 4752

[startup+980.09 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 348 0 0 0 6721 504 0 0 25 0 1 0 1843012460 2686976 320 4294967295 134512640 134702520 3221223040 3221222280 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 320 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 931.03
Current children cumulated vsize (Kb) 4752

[startup+990.09 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 348 0 0 0 7684 518 0 0 25 0 1 0 1843012460 2686976 320 4294967295 134512640 134702520 3221223040 3221222280 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 320 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 940.8
Current children cumulated vsize (Kb) 4752

[startup+1000.09 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 348 0 0 0 8644 533 0 0 25 0 1 0 1843012460 2686976 320 4294967295 134512640 134702520 3221223040 3221222280 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 656 320 413 48 0 608 0
[pid=23630] vsize: 2624
Current children cumulated CPU time (s) 950.55
Current children cumulated vsize (Kb) 4752

[startup+1010.09 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 636 0 0 0 9585 552 0 0 25 0 1 0 1843012460 3784704 608 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 924 608 413 48 0 876 0
[pid=23630] vsize: 3696
Current children cumulated CPU time (s) 960.15
Current children cumulated vsize (Kb) 5824

[startup+1020.09 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 653 0 0 0 10476 588 0 0 25 0 1 0 1843012460 3956736 625 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 625 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 969.42
Current children cumulated vsize (Kb) 5992

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) R 23621 23621 19818 0 -1 0 660 0 0 0 11368 627 0 0 25 0 1 0 1843012460 3956736 632 4294967295 134512640 134702520 3221223040 3221222320 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23630/statm): 966 632 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 978.73
Current children cumulated vsize (Kb) 5992

[startup+1040.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 12241 672 0 0 25 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 987.91
Current children cumulated vsize (Kb) 5992

[startup+1050.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 13048 739 0 0 23 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 996.65
Current children cumulated vsize (Kb) 5992

[startup+1060.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 13849 813 0 0 18 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1005.4
Current children cumulated vsize (Kb) 5992

[startup+1070.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 14648 884 0 0 22 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1014.1
Current children cumulated vsize (Kb) 5992

[startup+1080.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 15447 953 0 0 23 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1022.78
Current children cumulated vsize (Kb) 5992

[startup+1090.1 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 16243 1026 0 0 22 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1031.47
Current children cumulated vsize (Kb) 5992

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 668 0 0 0 17042 1091 0 0 22 0 1 0 1843012460 3956736 640 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 640 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1040.11
Current children cumulated vsize (Kb) 5992

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) R 23621 23621 19818 0 -1 0 671 0 0 0 17856 1155 0 0 25 0 1 0 1843012460 3956736 643 4294967295 134512640 134702520 3221223040 3221221808 134552472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23630/statm): 966 643 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1048.89
Current children cumulated vsize (Kb) 5992

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) R 23621 23621 19818 0 -1 0 671 0 0 0 18826 1165 0 0 25 0 1 0 1843012460 3956736 643 4294967295 134512640 134702520 3221223040 3221221808 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 643 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1058.69
Current children cumulated vsize (Kb) 5992

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 671 0 0 0 19792 1176 0 0 25 0 1 0 1843012460 3956736 643 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 643 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1068.46
Current children cumulated vsize (Kb) 5992

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) R 23621 23621 19818 0 -1 0 671 0 0 0 20759 1188 0 0 25 0 1 0 1843012460 3956736 643 4294967295 134512640 134702520 3221223040 3221221808 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 643 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1078.25
Current children cumulated vsize (Kb) 5992

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 673 0 0 0 21694 1209 0 0 25 0 1 0 1843012460 3956736 645 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 645 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1087.81
Current children cumulated vsize (Kb) 5992

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 679 0 0 0 22578 1248 0 0 25 0 1 0 1843012460 3956736 651 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 966 651 413 48 0 918 0
[pid=23630] vsize: 3864
Current children cumulated CPU time (s) 1097.04
Current children cumulated vsize (Kb) 5992

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 681 0 0 0 23465 1287 0 0 25 0 1 0 1843012460 4079616 653 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 653 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1106.3
Current children cumulated vsize (Kb) 6112

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 685 0 0 0 24332 1331 0 0 24 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1115.41
Current children cumulated vsize (Kb) 6112

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 685 0 0 0 25134 1402 0 0 22 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1124.14
Current children cumulated vsize (Kb) 6112

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) R 23621 23621 19818 0 -1 0 685 0 0 0 25943 1468 0 0 22 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221221936 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1132.89
Current children cumulated vsize (Kb) 6112

[startup+1210.11 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 685 0 0 0 26742 1537 0 0 21 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1141.57
Current children cumulated vsize (Kb) 6112

[startup+1220.11 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 685 0 0 0 27538 1605 0 0 22 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1150.21
Current children cumulated vsize (Kb) 6112

[startup+1230.11 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 685 0 0 0 28341 1668 0 0 23 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1158.87
Current children cumulated vsize (Kb) 6112

[startup+1240.11 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 685 0 0 0 29143 1734 0 0 21 0 1 0 1843012460 4079616 657 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23630/statm): 996 657 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1167.55
Current children cumulated vsize (Kb) 6112

[startup+1250.11 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 686 0 0 0 29973 1796 0 0 25 0 1 0 1843012460 4079616 658 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 658 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1176.47
Current children cumulated vsize (Kb) 6112

[startup+1260.11 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) R 23621 23621 19818 0 -1 0 686 0 0 0 30938 1808 0 0 25 0 1 0 1843012460 4079616 658 4294967295 134512640 134702520 3221223040 3221221780 134548990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 658 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1186.24
Current children cumulated vsize (Kb) 6112

[startup+1270.12 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 686 0 0 0 31903 1820 0 0 25 0 1 0 1843012460 4079616 658 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 658 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1196.01
Current children cumulated vsize (Kb) 6112

[startup+1280.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 686 0 0 0 32870 1832 0 0 25 0 1 0 1843012460 4079616 658 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 658 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1205.8
Current children cumulated vsize (Kb) 6112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.12 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 23630
Raw data (/proc/23621/stat): 23621 (vallstSAT2005PB) S 23620 23621 19818 0 -1 0 457 3796 0 0 1 1 83836 2040 19 0 1 0 1842922633 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23621/statm): 532 249 485 147 0 385 0
[pid=23621] vsize: 2128
Raw data (/proc/23630/stat): 23630 (vallst) T 23621 23621 19818 0 -1 0 686 0 0 0 32870 1832 0 0 25 0 1 0 1843012460 4079616 658 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23630/statm): 996 658 413 48 0 948 0
[pid=23630] vsize: 3984
Current children cumulated CPU time (s) 1205.8
Current children cumulated vsize (Kb) 6112

Sending SIGTERM to -23621
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=23632
New process pid=23633
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
One traced child (pid=23630) exited with status: 3
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/18334/stat
open syscall for file /proc/18334/status
open syscall for file /proc/18334/cmdline
open syscall for file /proc/18334/environ
open syscall for file /proc/17268/stat
open syscall for file /proc/17268/status
open syscall for file /proc/17268/cmdline
open syscall for file /proc/17268/environ
open syscall for file /proc/17295/stat
open syscall for file /proc/17295/status
open syscall for file /proc/17295/cmdline
open syscall for file /proc/17295/environ
open syscall for file /proc/17319/stat
open syscall for file /proc/17319/status
open syscall for file /proc/17319/cmdline
open syscall for file /proc/17319/environ
open syscall for file /proc/23252/stat
open syscall for file /proc/23252/status
open syscall for file /proc/23252/cmdline
open syscall for file /proc/23252/environ
open syscall for file /proc/24296/stat
open syscall for file /proc/24296/status
open syscall for file /proc/24296/cmdline
open syscall for file /proc/24296/environ
open syscall for file /proc/1116/stat
open syscall for file /proc/1116/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/1116/cmdline
open syscall for file /proc/1116/environ
open syscall for file /proc/1151/stat
open syscall for file /proc/1151/status
open syscall for file /proc/1151/cmdline
open syscall for file /proc/1151/environ
open syscall for file /proc/19818/stat
open syscall for file /proc/19818/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/19818/cmdline
open syscall for file /proc/19818/environ
open syscall for file /proc/19819/stat
open syscall for file /proc/19819/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/19819/cmdline
open syscall for file /proc/19819/environ
open syscall for file /proc/19828/stat
open syscall for file /proc/19828/status
open syscall for file /proc/19828/cmdline
open syscall for file /proc/19828/environ
open syscall for file /proc/23584/stat
open syscall for file /proc/23584/status
open syscall for file /proc/23584/cmdline
open syscall for file /proc/23584/environ
open syscall for file /proc/23620/stat
open syscall for file /proc/23620/status
open syscall for file /proc/23620/cmdline
open syscall for file /proc/23620/environ
open syscall for file /proc/23621/stat
open syscall for file /proc/23621/status
open syscall for file /proc/23621/cmdline
open syscall for file /proc/23621/environ
open syscall for file /proc/23632/stat
open syscall for file /proc/23632/status
open syscall for file /proc/23632/cmdline
open syscall for file /proc/23632/environ
open syscall for file /proc/23633/stat
open syscall for file /proc/23633/status
open syscall for file /proc/23633/cmdline
open syscall for file /proc/23633/environ
One traced child (pid=23632) exited with status: 0
One traced child (pid=23633) exited with status: 0
New process pid=23634
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=23634) exited with status: 0
New process pid=23635
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=23635) exited with status: 0
One traced child (pid=23621) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1280.62
CPU time (s): 1205.97
CPU user time (s): 1167.15
CPU system time (s): 38.8171
CPU usage (%): 94.1709
Max. virtual memory (cumulated for all children) (Kb): 8972

Verifier Data

ERROR: no interpretation found !