Some explanations

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

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb
MD5SUM9a578fa18e88cebdbf227cdbb9fbab5f
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64512
Optimality of the best value was proved NO
Number of terms in the objective function 78
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073790975
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147979262
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark
Number of variables9464
Total number of constraints2614
Number of constraints which are clauses309
Number of constraints which are cardinality constraints (but not clauses)794
Number of constraints which are nor clauses,nor cardinality constraints1511
Minimum length of a constraint1
Maximum length of a constraint61

Trace number 9087

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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:        948200 kB
Buffers:          9308 kB
Cached:          60460 kB
SwapCached:          0 kB
Active:          45048 kB
Inactive:        27544 kB
HighTotal:      131008 kB
HighFree:        66220 kB
LowTotal:       903652 kB
LowFree:        881980 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6956 kB
Slab:             8360 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:13:42 (client local time) WITH STATUS 0 IN 1203.36 SECONDS
stats: 7780 7 1203.36 0

Solver Data

1:
seed: 0
Nr of vars set: 13  (#equs: 0)
Nr of vars set: 30  (#equs: 25)
#decisions: 10678;  #end-nodes: 966;
#proof improvement attempts: 0;  #restarts: 10
Current batch, end-nodes: 66 / 83 (82)
#axs: 1847, #non-axs: 285
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:  1073639422 (151552:>=*);
#decisions: 1847;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1847, #non-axs: 285
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:  1073640446 (150528:>=*);
#decisions: 12817;  #end-nodes: 1230;
#proof improvement attempts: 0;  #restarts: 13
Current batch, end-nodes: 4 / 84 (83)
#axs: 1847, #non-axs: 718
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:  1073641470 (149504:>=*);
#decisions: 4653;  #end-nodes: 61;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 61 / 80 (80)
#axs: 1847, #non-axs: 718
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:  1073642494 (148480:>=*);
#decisions: 3726;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 1847, #non-axs: 718
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:  1073643518 (147456:>=*);
#decisions: 23758;  #end-nodes: 1648;
#proof improvement attempts: 0;  #restarts: 17
Current batch, end-nodes: 51 / 85 (84)
#axs: 1858, #non-axs: 1229
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:  1073644542 (146432:>=*);
#decisions: 5829;  #end-nodes: 51;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 51 / 80 (80)
#axs: 1858, #non-axs: 1229
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:  1073645566 (145408:>=*);
#decisions: 5200;  #end-nodes: 40;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 40 / 80 (80)
#axs: 1858, #non-axs: 1229
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:  1073646590 (144384:>=*);
#decisions: 3551;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 1858, #non-axs: 1229
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:  1073647614 (143360:>=*);
#decisions: 411982;  #end-nodes: 52750;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 179 (175)
#axs: 1880, #non-axs: 5508
tight: meta-meta: start: 5, end: 7;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 8, end: 12;  meta: start: 28, end (keep): 46
Model found with constant:
  (pushed:) 1073647614 (143360:>=*)

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: 30  (#equs: 58)
Time taken: 5 min, 22 sec

2:
seed: 0
Nr of vars set: 30  (#equs: 0)
Nr of vars set: 30  (#equs: 33)
#decisions: 312781;  #end-nodes: 44416;
#proof improvement attempts: 0;  #restarts: 261
Current batch, end-nodes: 82 / 188 (185)
#axs: 1884, #non-axs: 8354
tight: meta-meta: start: 4, end: 5;  meta: start: 6, end (keep): 9
loose: meta-meta: start: 8, end: 12;  meta: start: 28, end (keep): 46
result: model found (1)
Model found with constant:  9215 (39936:>=*);
#decisions: 1897;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 120 (120)
#axs: 1884, #non-axs: 8354
tight: meta-meta: start: 4, end: 5;  meta: start: 6, end (keep): 9
loose: meta-meta: start: 8, end: 12;  meta: start: 28, end (keep): 46
Model found with constant:  10239 (38912:>=*);
#decisions: 2117;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 120 (120)
#axs: 1884, #non-axs: 8354
tight: meta-meta: start: 4, end: 5;  meta: start: 6, end (keep): 9
loose: meta-meta: start: 8, end: 12;  meta: start: 28, end (keep): 46
Model found with constant:  11263 (37888:>=*);
#decisions: 97472;  #end-nodes: 14250;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 148 (143)
#axs: 1886, #non-axs: 2864
tight: meta-meta: start: 3, end: 4;  meta: start: 6, end (keep): 9
loose: meta-meta: start: 8, end: 12;  meta: start: 28, end (keep): 46
Model found with constant:
  (pushed:) 11263 (37888:>=*)

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: 30  (#equs: 66)
Time taken: 5 min, 56 sec

3:
seed: 0
Nr of vars set: 30  (#equs: 0)
Nr of vars set: 30  (#equs: 24)
#decisions: 380017;  #end-nodes: 62269;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 256 (231)
#axs: 1882, #non-axs: 4792
tight: meta-meta: start: 3, end: 4;  meta: start: 6, end (keep): 9
loose: meta-meta: start: 7, end: 11;  meta: start: 25, end (keep): 39
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: 30  (#equs: 62)
Time taken: 5 min, 52 sec

4:
seed: 0
Nr of vars set: 30  (#equs: 0)
Nr of vars set: 30  (#equs: 38)
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: 30  (#equs: 38)
Time taken: 2 min, 50 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/4546/stat): 4546 (vallstSAT2005PB) R 4545 4546 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19612943 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4546/statm): 174 3 169 147 0 27 0
[pid=4546] 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=4547
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=4547) exited with status: 0
New process pid=4548
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=4548) exited with status: 0
New process pid=4549
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/wulflinc11/normalized-mps-v2-20-10-berlin_5_8_0.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0066 s]
Raw data (loadavg): 0.93 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 863 0 0 0 924 25 0 0 25 0 1 0 19612950 4861952 775 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 1187 775 413 48 0 1139 0
[pid=4549] vsize: 4748
Current children cumulated CPU time (s) 9.52
Current children cumulated vsize (Kb) 6876

[startup+20.0074 s]
Raw data (loadavg): 0.94 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 898 0 0 0 1875 41 0 0 25 0 1 0 19612950 8261632 810 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2017 810 413 48 0 1969 0
[pid=4549] vsize: 8068
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (Kb) 10196

[startup+30.0632 s]
Raw data (loadavg): 0.95 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 934 0 0 0 2716 90 0 0 25 0 1 0 19612950 8265728 846 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2018 846 413 48 0 1970 0
[pid=4549] vsize: 8072
Current children cumulated CPU time (s) 28.09
Current children cumulated vsize (Kb) 10200

[startup+40.065 s]
Raw data (loadavg): 0.96 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 943 0 0 0 3542 143 0 0 23 0 1 0 19612950 8372224 855 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2044 855 413 48 0 1996 0
[pid=4549] vsize: 8176
Current children cumulated CPU time (s) 36.88
Current children cumulated vsize (Kb) 10304

[startup+50.0658 s]
Raw data (loadavg): 0.96 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 956 0 0 0 4431 178 0 0 25 0 1 0 19612950 8372224 868 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2044 868 413 48 0 1996 0
[pid=4549] vsize: 8176
Current children cumulated CPU time (s) 46.12
Current children cumulated vsize (Kb) 10304

[startup+60.0666 s]
Raw data (loadavg): 0.97 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 978 0 0 0 5319 215 0 0 25 0 1 0 19612950 8470528 890 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 890 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 55.37
Current children cumulated vsize (Kb) 10400

[startup+70.0674 s]
Raw data (loadavg): 0.97 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 990 0 0 0 6219 245 0 0 25 0 1 0 19612950 8470528 902 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 902 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 64.67
Current children cumulated vsize (Kb) 10400

[startup+80.0681 s]
Raw data (loadavg): 0.98 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1007 0 0 0 7082 290 0 0 22 0 1 0 19612950 8470528 919 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 919 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 73.75
Current children cumulated vsize (Kb) 10400

[startup+90.0689 s]
Raw data (loadavg): 0.98 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1019 0 0 0 7973 325 0 0 25 0 1 0 19612950 8470528 931 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 931 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 83.01
Current children cumulated vsize (Kb) 10400

[startup+100.07 s]
Raw data (loadavg): 0.98 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1020 0 0 0 8943 335 0 0 25 0 1 0 19612950 8470528 932 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 932 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 92.81
Current children cumulated vsize (Kb) 10400

[startup+110.07 s]
Raw data (loadavg): 0.98 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1023 0 0 0 9871 360 0 0 25 0 1 0 19612950 8470528 935 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 935 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (Kb) 10400

[startup+120.071 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1025 0 0 0 10761 396 0 0 25 0 1 0 19612950 8470528 937 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2068 937 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 111.6
Current children cumulated vsize (Kb) 10400

[startup+130.071 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1025 0 0 0 11634 435 0 0 20 0 1 0 19612950 8470528 937 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 937 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 120.72
Current children cumulated vsize (Kb) 10400

[startup+140.072 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1027 0 0 0 12518 475 0 0 19 0 1 0 19612950 8548352 939 4294967295 134512640 134702520 3221223952 3221222848 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2087 939 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 10476

[startup+150.073 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1034 0 0 0 13434 503 0 0 25 0 1 0 19612950 8548352 946 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 946 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 139.4
Current children cumulated vsize (Kb) 10476

[startup+160.074 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1043 0 0 0 14325 540 0 0 25 0 1 0 19612950 8548352 955 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 955 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 148.68
Current children cumulated vsize (Kb) 10476

[startup+170.075 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1044 0 0 0 15261 563 0 0 25 0 1 0 19612950 8548352 956 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 956 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 158.27
Current children cumulated vsize (Kb) 10476

[startup+180.075 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1044 0 0 0 16209 580 0 0 25 0 1 0 19612950 8548352 956 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 956 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 167.92
Current children cumulated vsize (Kb) 10476

[startup+190.076 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1046 0 0 0 17106 615 0 0 24 0 1 0 19612950 8548352 958 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2087 958 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 177.24
Current children cumulated vsize (Kb) 10476

[startup+200.077 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1050 0 0 0 17997 650 0 0 25 0 1 0 19612950 8548352 962 4294967295 134512640 134702520 3221223952 3221223232 134552329 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 962 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 186.5
Current children cumulated vsize (Kb) 10476

[startup+210.077 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1055 0 0 0 18886 688 0 0 25 0 1 0 19612950 8548352 967 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 967 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 195.77
Current children cumulated vsize (Kb) 10476

[startup+220.078 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1057 0 0 0 19780 724 0 0 25 0 1 0 19612950 8548352 969 4294967295 134512640 134702520 3221223952 3221223232 134552900 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 969 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 205.07
Current children cumulated vsize (Kb) 10476

[startup+230.078 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1082 0 0 0 20679 756 0 0 22 0 1 0 19612950 8548352 994 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 994 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 214.38
Current children cumulated vsize (Kb) 10476

[startup+240.079 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1088 0 0 0 21592 782 0 0 25 0 1 0 19612950 8548352 1000 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 1000 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 223.77
Current children cumulated vsize (Kb) 10476

[startup+250.08 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1093 0 0 0 22521 807 0 0 25 0 1 0 19612950 8712192 1005 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2127 1005 413 48 0 2079 0
[pid=4549] vsize: 8508
Current children cumulated CPU time (s) 233.31
Current children cumulated vsize (Kb) 10636

[startup+260.081 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1093 0 0 0 23473 823 0 0 25 0 1 0 19612950 8638464 1005 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2109 1005 413 48 0 2061 0
[pid=4549] vsize: 8436
Current children cumulated CPU time (s) 242.99
Current children cumulated vsize (Kb) 10564

[startup+270.082 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1100 0 0 0 24352 864 0 0 25 0 1 0 19612950 8638464 1012 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2109 1012 413 48 0 2061 0
[pid=4549] vsize: 8436
Current children cumulated CPU time (s) 252.19
Current children cumulated vsize (Kb) 10564

[startup+280.083 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1100 0 0 0 25243 898 0 0 25 0 1 0 19612950 8638464 1012 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2109 1012 413 48 0 2061 0
[pid=4549] vsize: 8436
Current children cumulated CPU time (s) 261.44
Current children cumulated vsize (Kb) 10564

[startup+290.084 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1123 0 0 0 26139 934 0 0 25 0 1 0 19612950 9068544 1035 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2214 1035 413 48 0 2166 0
[pid=4549] vsize: 8856
Current children cumulated CPU time (s) 270.76
Current children cumulated vsize (Kb) 10984

[startup+300.084 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1178 0 0 0 27037 966 0 0 20 0 1 0 19612950 9068544 1090 4294967295 134512640 134702520 3221223952 3221222848 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2214 1090 413 48 0 2166 0
[pid=4549] vsize: 8856
Current children cumulated CPU time (s) 280.06
Current children cumulated vsize (Kb) 10984

[startup+310.085 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1205 0 0 0 27956 993 0 0 25 0 1 0 19612950 9068544 1117 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2214 1117 413 48 0 2166 0
[pid=4549] vsize: 8856
Current children cumulated CPU time (s) 289.52
Current children cumulated vsize (Kb) 10984

[startup+320.086 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1233 0 0 0 28854 1027 0 0 25 0 1 0 19612950 9211904 1145 4294967295 134512640 134702520 3221223952 3221223232 134553029 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2249 1145 413 48 0 2201 0
[pid=4549] vsize: 8996
Current children cumulated CPU time (s) 298.84
Current children cumulated vsize (Kb) 11124

[startup+330.087 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1279 0 0 0 29758 1061 0 0 25 0 1 0 19612950 9641984 1191 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2354 1191 413 48 0 2306 0
[pid=4549] vsize: 9416
Current children cumulated CPU time (s) 308.22
Current children cumulated vsize (Kb) 11544

[startup+340.088 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1281 0 0 0 30718 1075 0 0 25 0 1 0 19612950 9641984 1193 4294967295 134512640 134702520 3221223952 3221222848 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2354 1193 413 48 0 2306 0
[pid=4549] vsize: 9416
Current children cumulated CPU time (s) 317.96
Current children cumulated vsize (Kb) 11544
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=4549) exited with status: 2
New process pid=4550
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=4550) exited with status: 0
New process pid=4551
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+350.089 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 400 23 0 0 25 0 1 0 19647493 5189632 812 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 1267 812 413 48 0 1219 0
[pid=4551] vsize: 5068
Current children cumulated CPU time (s) 327.38
Current children cumulated vsize (Kb) 7196

[startup+360.09 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 842 0 0 0 1311 54 0 0 25 0 1 0 19647493 5189632 813 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 1267 813 413 48 0 1219 0
[pid=4551] vsize: 5068
Current children cumulated CPU time (s) 336.8
Current children cumulated vsize (Kb) 7196

[startup+370.091 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 903 0 0 0 2241 76 0 0 25 0 1 0 19647493 9138176 874 4294967295 134512640 134702520 3221223712 3221222992 134552474 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2231 874 413 48 0 2183 0
[pid=4551] vsize: 8924
Current children cumulated CPU time (s) 346.32
Current children cumulated vsize (Kb) 11052

[startup+380.092 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 933 0 0 0 3155 104 0 0 25 0 1 0 19647493 9289728 904 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2268 904 413 48 0 2220 0
[pid=4551] vsize: 9072
Current children cumulated CPU time (s) 355.74
Current children cumulated vsize (Kb) 11200

[startup+390.093 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 960 0 0 0 4060 135 0 0 25 0 1 0 19647493 9293824 931 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2269 931 413 48 0 2221 0
[pid=4551] vsize: 9076
Current children cumulated CPU time (s) 365.1
Current children cumulated vsize (Kb) 11204

[startup+400.093 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 982 0 0 0 4955 167 0 0 25 0 1 0 19647493 9293824 953 4294967295 134512640 134702520 3221223712 3221222608 134552959 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2269 953 413 48 0 2221 0
[pid=4551] vsize: 9076
Current children cumulated CPU time (s) 374.37
Current children cumulated vsize (Kb) 11204

[startup+410.094 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 987 0 0 0 5888 190 0 0 25 0 1 0 19647493 9293824 958 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2269 958 413 48 0 2221 0
[pid=4551] vsize: 9076
Current children cumulated CPU time (s) 383.93
Current children cumulated vsize (Kb) 11204

[startup+420.095 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 995 0 0 0 6804 218 0 0 25 0 1 0 19647493 9293824 966 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2269 966 413 48 0 2221 0
[pid=4551] vsize: 9076
Current children cumulated CPU time (s) 393.37
Current children cumulated vsize (Kb) 11204

[startup+430.096 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1000 0 0 0 7715 247 0 0 25 0 1 0 19647493 9424896 971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 971 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 402.77
Current children cumulated vsize (Kb) 11332

[startup+440.097 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1002 0 0 0 8621 279 0 0 25 0 1 0 19647493 9424896 973 4294967295 134512640 134702520 3221223712 3221222608 134552412 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2301 973 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 412.15
Current children cumulated vsize (Kb) 11332

[startup+450.097 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1003 0 0 0 9535 310 0 0 25 0 1 0 19647493 9424896 974 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 974 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 421.6
Current children cumulated vsize (Kb) 11332

[startup+460.099 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1003 0 0 0 10443 342 0 0 25 0 1 0 19647493 9424896 974 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 974 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 431
Current children cumulated vsize (Kb) 11332

[startup+470.1 s]
Raw data (loadavg): 0.99 0.98 0.94 2/58 4598
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1004 0 0 0 11353 372 0 0 18 0 1 0 19647493 9424896 975 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 975 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 440.4
Current children cumulated vsize (Kb) 11332

[startup+480.1 s]
Raw data (loadavg): 1.07 1.00 0.95 1/56 4606
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1004 0 0 0 12286 395 0 0 25 0 1 0 19647493 9424896 975 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 975 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 449.96
Current children cumulated vsize (Kb) 11332

[startup+490.101 s]
Raw data (loadavg): 1.06 1.00 0.95 2/56 4606
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1004 0 0 0 13192 424 0 0 25 0 1 0 19647493 9424896 975 4294967295 134512640 134702520 3221223712 3221222992 134552319 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2301 975 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 459.31
Current children cumulated vsize (Kb) 11332

[startup+500.101 s]
Raw data (loadavg): 1.05 1.00 0.95 2/56 4606
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1007 0 0 0 14094 456 0 0 25 0 1 0 19647493 9424896 978 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 978 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 468.65
Current children cumulated vsize (Kb) 11332

[startup+510.102 s]
Raw data (loadavg): 1.04 1.00 0.95 2/56 4606
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1008 0 0 0 14997 489 0 0 21 0 1 0 19647493 9424896 979 4294967295 134512640 134702520 3221223712 3221222608 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2301 979 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 478.01
Current children cumulated vsize (Kb) 11332

[startup+520.103 s]
Raw data (loadavg): 1.11 1.02 0.95 2/56 4608
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1008 0 0 0 15946 506 0 0 19 0 1 0 19647493 9424896 979 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 979 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 487.67
Current children cumulated vsize (Kb) 11332

[startup+530.103 s]
Raw data (loadavg): 1.09 1.02 0.95 2/56 4608
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1010 0 0 0 16865 533 0 0 25 0 1 0 19647493 9424896 981 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2301 981 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 497.13
Current children cumulated vsize (Kb) 11332

[startup+540.105 s]
Raw data (loadavg): 1.08 1.01 0.95 2/56 4610
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1010 0 0 0 17808 551 0 0 25 0 1 0 19647493 9424896 981 4294967295 134512640 134702520 3221223712 3221222992 134554263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 981 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 506.74
Current children cumulated vsize (Kb) 11332

[startup+550.105 s]
Raw data (loadavg): 1.06 1.01 0.95 1/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1010 0 0 0 18696 589 0 0 25 0 1 0 19647493 9424896 981 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 981 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 516
Current children cumulated vsize (Kb) 11332

[startup+560.106 s]
Raw data (loadavg): 1.05 1.01 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1010 0 0 0 19590 626 0 0 25 0 1 0 19647493 9424896 981 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2301 981 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 525.31
Current children cumulated vsize (Kb) 11332

[startup+570.107 s]
Raw data (loadavg): 1.04 1.01 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1010 0 0 0 20512 652 0 0 25 0 1 0 19647493 9424896 981 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 981 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 534.79
Current children cumulated vsize (Kb) 11332

[startup+580.108 s]
Raw data (loadavg): 1.04 1.01 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1010 0 0 0 21421 683 0 0 25 0 1 0 19647493 9424896 981 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2301 981 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 544.19
Current children cumulated vsize (Kb) 11332

[startup+590.109 s]
Raw data (loadavg): 1.03 1.01 0.95 1/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1013 0 0 0 22327 714 0 0 20 0 1 0 19647493 9424896 984 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 984 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 553.56
Current children cumulated vsize (Kb) 11332

[startup+600.109 s]
Raw data (loadavg): 1.03 1.01 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1019 0 0 0 23257 735 0 0 25 0 1 0 19647493 9424896 990 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 990 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 563.07
Current children cumulated vsize (Kb) 11332

[startup+610.111 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1027 0 0 0 24157 770 0 0 25 0 1 0 19647493 9424896 998 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 998 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 572.42
Current children cumulated vsize (Kb) 11332

[startup+620.112 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1068 0 0 0 25065 799 0 0 25 0 1 0 19647493 9424896 1039 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 1039 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 581.79
Current children cumulated vsize (Kb) 11332

[startup+630.112 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1095 0 0 0 25983 826 0 0 25 0 1 0 19647493 9940992 1066 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2427 1066 413 48 0 2379 0
[pid=4551] vsize: 9708
Current children cumulated CPU time (s) 591.24
Current children cumulated vsize (Kb) 11836

[startup+640.114 s]
Raw data (loadavg): 1.01 1.00 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1097 0 0 0 26882 860 0 0 25 0 1 0 19647493 9940992 1068 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2427 1068 413 48 0 2379 0
[pid=4551] vsize: 9708
Current children cumulated CPU time (s) 600.57
Current children cumulated vsize (Kb) 11836

[startup+650.114 s]
Raw data (loadavg): 1.08 1.02 0.96 1/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1097 0 0 0 27786 893 0 0 25 0 1 0 19647493 9940992 1068 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2427 1068 413 48 0 2379 0
[pid=4551] vsize: 9708
Current children cumulated CPU time (s) 609.94
Current children cumulated vsize (Kb) 11836

[startup+660.115 s]
Raw data (loadavg): 1.07 1.02 0.96 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1097 0 0 0 28738 909 0 0 25 0 1 0 19647493 9940992 1068 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2427 1068 413 48 0 2379 0
[pid=4551] vsize: 9708
Current children cumulated CPU time (s) 619.62
Current children cumulated vsize (Kb) 11836

[startup+670.116 s]
Raw data (loadavg): 1.13 1.03 0.96 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1100 0 0 0 29648 940 0 0 25 0 1 0 19647493 10031104 1071 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2449 1071 413 48 0 2401 0
[pid=4551] vsize: 9796
Current children cumulated CPU time (s) 629.03
Current children cumulated vsize (Kb) 11924

[startup+680.117 s]
Raw data (loadavg): 1.19 1.05 0.97 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1100 0 0 0 30564 969 0 0 25 0 1 0 19647493 10031104 1071 4294967295 134512640 134702520 3221223712 3221222992 134553512 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2449 1071 413 48 0 2401 0
[pid=4551] vsize: 9796
Current children cumulated CPU time (s) 638.48
Current children cumulated vsize (Kb) 11924

[startup+690.118 s]
Raw data (loadavg): 1.16 1.05 0.97 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1100 0 0 0 31506 988 0 0 24 0 1 0 19647493 10031104 1071 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2449 1071 413 48 0 2401 0
[pid=4551] vsize: 9796
Current children cumulated CPU time (s) 648.09
Current children cumulated vsize (Kb) 11924

[startup+700.118 s]
Raw data (loadavg): 1.14 1.04 0.97 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1101 0 0 0 32420 1019 0 0 25 0 1 0 19647493 10031104 1072 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2449 1072 413 48 0 2401 0
[pid=4551] vsize: 9796
Current children cumulated CPU time (s) 657.54
Current children cumulated vsize (Kb) 11924

[startup+710.12 s]
Raw data (loadavg): 1.12 1.04 0.97 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1101 0 0 0 33343 1045 0 0 25 0 1 0 19647493 10031104 1072 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2449 1072 413 48 0 2401 0
[pid=4551] vsize: 9796
Current children cumulated CPU time (s) 667.03
Current children cumulated vsize (Kb) 11924

[startup+720.121 s]
Raw data (loadavg): 1.10 1.04 0.97 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1102 0 0 0 34245 1080 0 0 25 0 1 0 19647493 10031104 1073 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2449 1073 413 48 0 2401 0
[pid=4551] vsize: 9796
Current children cumulated CPU time (s) 676.4
Current children cumulated vsize (Kb) 11924
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=4551) exited with status: 2
New process pid=4613
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=4613) exited with status: 0
New process pid=4614
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+730.121 s]
Raw data (loadavg): 1.08 1.04 0.97 1/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 798 0 0 0 581 26 0 0 25 0 1 0 19685305 5029888 770 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 1228 770 413 48 0 1180 0
[pid=4614] vsize: 4912
Current children cumulated CPU time (s) 685.68
Current children cumulated vsize (Kb) 7040

[startup+740.122 s]
Raw data (loadavg): 1.07 1.04 0.97 2/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 799 0 0 0 1486 59 0 0 25 0 1 0 19685305 5029888 771 4294967295 134512640 134702520 3221223712 3221222848 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 1228 771 413 48 0 1180 0
[pid=4614] vsize: 4912
Current children cumulated CPU time (s) 695.06
Current children cumulated vsize (Kb) 7040

[startup+750.122 s]
Raw data (loadavg): 1.06 1.04 0.97 1/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 857 0 0 0 2420 80 0 0 25 0 1 0 19685305 8544256 829 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2086 829 413 48 0 2038 0
[pid=4614] vsize: 8344
Current children cumulated CPU time (s) 704.61
Current children cumulated vsize (Kb) 10472

[startup+760.124 s]
Raw data (loadavg): 1.05 1.03 0.97 2/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 878 0 0 0 3330 109 0 0 25 0 1 0 19685305 8548352 850 4294967295 134512640 134702520 3221223712 3221222992 134552792 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2087 850 413 48 0 2039 0
[pid=4614] vsize: 8348
Current children cumulated CPU time (s) 714
Current children cumulated vsize (Kb) 10476

[startup+770.125 s]
Raw data (loadavg): 1.04 1.03 0.97 2/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 887 0 0 0 4272 127 0 0 25 0 1 0 19685305 8548352 859 4294967295 134512640 134702520 3221223712 3221222992 134552571 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2087 859 413 48 0 2039 0
[pid=4614] vsize: 8348
Current children cumulated CPU time (s) 723.6
Current children cumulated vsize (Kb) 10476

[startup+780.126 s]
Raw data (loadavg): 1.03 1.03 0.97 1/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 908 0 0 0 5164 162 0 0 25 0 1 0 19685305 8609792 880 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2102 880 413 48 0 2054 0
[pid=4614] vsize: 8408
Current children cumulated CPU time (s) 732.87
Current children cumulated vsize (Kb) 10536

[startup+790.127 s]
Raw data (loadavg): 1.03 1.03 0.97 2/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 918 0 0 0 6068 190 0 0 24 0 1 0 19685305 8609792 890 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2102 890 413 48 0 2054 0
[pid=4614] vsize: 8408
Current children cumulated CPU time (s) 742.19
Current children cumulated vsize (Kb) 10536

[startup+800.127 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 922 0 0 0 7013 208 0 0 25 0 1 0 19685305 8609792 894 4294967295 134512640 134702520 3221223712 3221194352 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2102 894 413 48 0 2054 0
[pid=4614] vsize: 8408
Current children cumulated CPU time (s) 751.82
Current children cumulated vsize (Kb) 10536

[startup+810.129 s]
Raw data (loadavg): 1.02 1.03 0.97 1/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 927 0 0 0 7920 241 0 0 24 0 1 0 19685305 8609792 899 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2102 899 413 48 0 2054 0
[pid=4614] vsize: 8408
Current children cumulated CPU time (s) 761.22
Current children cumulated vsize (Kb) 10536

[startup+820.13 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 935 0 0 0 8841 266 0 0 25 0 1 0 19685305 8667136 907 4294967295 134512640 134702520 3221223712 3221222992 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 907 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 770.68
Current children cumulated vsize (Kb) 10592

[startup+830.13 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 936 0 0 0 9800 280 0 0 25 0 1 0 19685305 8667136 908 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 908 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 780.41
Current children cumulated vsize (Kb) 10592

[startup+840.131 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 943 0 0 0 10707 310 0 0 25 0 1 0 19685305 8667136 915 4294967295 134512640 134702520 3221223712 3221222608 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 915 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 789.78
Current children cumulated vsize (Kb) 10592

[startup+850.131 s]
Raw data (loadavg): 1.01 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 943 0 0 0 11609 344 0 0 25 0 1 0 19685305 8667136 915 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 915 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 799.14
Current children cumulated vsize (Kb) 10592

[startup+860.132 s]
Raw data (loadavg): 1.01 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 943 0 0 0 12538 366 0 0 23 0 1 0 19685305 8667136 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 915 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 808.65
Current children cumulated vsize (Kb) 10592

[startup+870.133 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 945 0 0 0 13448 394 0 0 25 0 1 0 19685305 8667136 917 4294967295 134512640 134702520 3221223712 3221222992 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 917 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 818.03
Current children cumulated vsize (Kb) 10592

[startup+880.134 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 945 0 0 0 14386 416 0 0 25 0 1 0 19685305 8667136 917 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 917 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 827.63
Current children cumulated vsize (Kb) 10592

[startup+890.135 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 948 0 0 0 15309 441 0 0 25 0 1 0 19685305 8667136 920 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 920 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 837.11
Current children cumulated vsize (Kb) 10592

[startup+900.135 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 953 0 0 0 16253 457 0 0 25 0 1 0 19685305 8667136 925 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 925 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 846.71
Current children cumulated vsize (Kb) 10592

[startup+910.137 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 955 0 0 0 17163 487 0 0 25 0 1 0 19685305 8667136 927 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 927 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 856.11
Current children cumulated vsize (Kb) 10592

[startup+920.138 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 959 0 0 0 18072 515 0 0 25 0 1 0 19685305 8667136 931 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 931 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 865.48
Current children cumulated vsize (Kb) 10592

[startup+930.139 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 961 0 0 0 19013 536 0 0 25 0 1 0 19685305 8667136 933 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 933 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 875.1
Current children cumulated vsize (Kb) 10592

[startup+940.141 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 962 0 0 0 19937 560 0 0 25 0 1 0 19685305 8667136 934 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 934 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 884.58
Current children cumulated vsize (Kb) 10592

[startup+950.141 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 962 0 0 0 20892 575 0 0 25 0 1 0 19685305 8667136 934 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 934 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 894.28
Current children cumulated vsize (Kb) 10592

[startup+960.142 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 963 0 0 0 21783 609 0 0 25 0 1 0 19685305 8802304 935 4294967295 134512640 134702520 3221223712 3221222608 134552449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2149 935 413 48 0 2101 0
[pid=4614] vsize: 8596
Current children cumulated CPU time (s) 903.53
Current children cumulated vsize (Kb) 10724

[startup+970.143 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 964 0 0 0 22687 640 0 0 25 0 1 0 19685305 8802304 936 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2149 936 413 48 0 2101 0
[pid=4614] vsize: 8596
Current children cumulated CPU time (s) 912.88
Current children cumulated vsize (Kb) 10724

[startup+980.143 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 964 0 0 0 23624 661 0 0 25 0 1 0 19685305 8724480 936 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2130 936 413 48 0 2082 0
[pid=4614] vsize: 8520
Current children cumulated CPU time (s) 922.46
Current children cumulated vsize (Kb) 10648

[startup+990.144 s]
Raw data (loadavg): 1.08 1.03 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 966 0 0 0 24531 693 0 0 25 0 1 0 19685305 8724480 938 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2130 938 413 48 0 2082 0
[pid=4614] vsize: 8520
Current children cumulated CPU time (s) 931.85
Current children cumulated vsize (Kb) 10648

[startup+1000.14 s]
Raw data (loadavg): 1.07 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 1004 0 0 0 25487 706 0 0 25 0 1 0 19685305 8724480 976 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2130 976 413 48 0 2082 0
[pid=4614] vsize: 8520
Current children cumulated CPU time (s) 941.54
Current children cumulated vsize (Kb) 10648

[startup+1010.15 s]
Raw data (loadavg): 1.06 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 1039 0 0 0 26373 744 0 0 23 0 1 0 19685305 8724480 1011 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2130 1011 413 48 0 2082 0
[pid=4614] vsize: 8520
Current children cumulated CPU time (s) 950.78
Current children cumulated vsize (Kb) 10648

[startup+1020.15 s]
Raw data (loadavg): 1.05 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 1074 0 0 0 27314 764 0 0 25 0 1 0 19685305 9170944 1046 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4614/statm): 2239 1046 413 48 0 2191 0
[pid=4614] vsize: 8956
Current children cumulated CPU time (s) 960.39
Current children cumulated vsize (Kb) 11084

[startup+1030.15 s]
Raw data (loadavg): 1.04 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 1109 0 0 0 28233 791 0 0 25 0 1 0 19685305 9273344 1081 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2264 1081 413 48 0 2216 0
[pid=4614] vsize: 9056
Current children cumulated CPU time (s) 969.85
Current children cumulated vsize (Kb) 11184

[startup+1040.15 s]
Raw data (loadavg): 1.03 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 1155 0 0 0 29143 822 0 0 22 0 1 0 19685305 9273344 1127 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2264 1127 413 48 0 2216 0
[pid=4614] vsize: 9056
Current children cumulated CPU time (s) 979.26
Current children cumulated vsize (Kb) 11184

[startup+1050.15 s]
Raw data (loadavg): 1.03 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 1180 0 0 0 30086 842 0 0 25 0 1 0 19685305 9719808 1152 4294967295 134512640 134702520 3221223712 3221222992 134557470 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2373 1152 413 48 0 2325 0
[pid=4614] vsize: 9492
Current children cumulated CPU time (s) 988.89
Current children cumulated vsize (Kb) 11620

[startup+1060.15 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 1235 0 0 0 31006 872 0 0 21 0 1 0 19685305 9871360 1207 4294967295 134512640 134702520 3221223712 3221222608 134552186 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2410 1207 413 48 0 2362 0
[pid=4614] vsize: 9640
Current children cumulated CPU time (s) 998.39
Current children cumulated vsize (Kb) 11768

[startup+1070.15 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 1249 0 0 0 31960 887 0 0 25 0 1 0 19685305 9830400 1221 4294967295 134512640 134702520 3221223712 3221222992 134552785 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2400 1221 413 48 0 2352 0
[pid=4614] vsize: 9600
Current children cumulated CPU time (s) 1008.08
Current children cumulated vsize (Kb) 11728

[startup+1080.15 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 1298 0 0 0 32873 918 0 0 23 0 1 0 19685305 9977856 1270 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2436 1270 413 48 0 2388 0
[pid=4614] vsize: 9744
Current children cumulated CPU time (s) 1017.52
Current children cumulated vsize (Kb) 11872

[startup+1090.15 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 1300 0 0 0 33791 947 0 0 25 0 1 0 19685305 9977856 1272 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2436 1272 413 48 0 2388 0
[pid=4614] vsize: 9744
Current children cumulated CPU time (s) 1026.99
Current children cumulated vsize (Kb) 11872
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=4614) exited with status: 2
New process pid=4617
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=4617) exited with status: 0
New process pid=4618
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+1100.15 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 833 0 0 0 329 23 0 0 25 0 1 0 19722576 5140480 805 4294967295 134512640 134702520 3221223040 3221222176 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 805 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1036.18
Current children cumulated vsize (Kb) 7148

[startup+1110.15 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 838 0 0 0 1216 58 0 0 25 0 1 0 19722576 5140480 810 4294967295 134512640 134702520 3221223040 3221222176 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 810 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1045.4
Current children cumulated vsize (Kb) 7148

[startup+1120.15 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 840 0 0 0 2090 98 0 0 24 0 1 0 19722576 5140480 812 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 812 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1054.54
Current children cumulated vsize (Kb) 7148

[startup+1130.15 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 840 0 0 0 2951 143 0 0 25 0 1 0 19722576 5140480 812 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 812 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1063.6
Current children cumulated vsize (Kb) 7148

[startup+1140.16 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 3791 196 0 0 24 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1072.53
Current children cumulated vsize (Kb) 7148

[startup+1150.16 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 841 0 0 0 4646 241 0 0 25 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222176 134553133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1081.53
Current children cumulated vsize (Kb) 7148

[startup+1160.16 s]
Raw data (loadavg): 1.08 1.03 0.98 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 5506 291 0 0 25 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1090.63
Current children cumulated vsize (Kb) 7148

[startup+1170.16 s]
Raw data (loadavg): 1.07 1.02 0.98 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 6349 344 0 0 25 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1099.59
Current children cumulated vsize (Kb) 7148

[startup+1180.16 s]
Raw data (loadavg): 1.06 1.02 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 7193 390 0 0 23 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1108.49
Current children cumulated vsize (Kb) 7148

[startup+1190.16 s]
Raw data (loadavg): 1.05 1.02 0.98 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 8033 444 0 0 24 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1117.43
Current children cumulated vsize (Kb) 7148

[startup+1200.16 s]
Raw data (loadavg): 1.04 1.02 0.98 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 8880 496 0 0 25 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1126.42
Current children cumulated vsize (Kb) 7148

[startup+1210.16 s]
Raw data (loadavg): 1.11 1.04 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 872 0 0 0 9774 529 0 0 25 0 1 0 19722576 8949760 844 4294967295 134512640 134702520 3221223040 3221222320 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4618/statm): 2185 844 413 48 0 2137 0
[pid=4618] vsize: 8740
Current children cumulated CPU time (s) 1135.69
Current children cumulated vsize (Kb) 10868

[startup+1220.17 s]
Raw data (loadavg): 1.09 1.03 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 919 0 0 0 10720 546 0 0 25 0 1 0 19722576 8949760 891 4294967295 134512640 134702520 3221223040 3221222320 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2185 891 413 48 0 2137 0
[pid=4618] vsize: 8740
Current children cumulated CPU time (s) 1145.32
Current children cumulated vsize (Kb) 10868

[startup+1230.17 s]
Raw data (loadavg): 1.08 1.03 0.98 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 935 0 0 0 11648 570 0 0 19 0 1 0 19722576 9113600 907 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 907 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1154.84
Current children cumulated vsize (Kb) 11028

[startup+1240.17 s]
Raw data (loadavg): 1.06 1.03 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 937 0 0 0 12602 586 0 0 25 0 1 0 19722576 9113600 909 4294967295 134512640 134702520 3221223040 3221222320 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 909 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1164.54
Current children cumulated vsize (Kb) 11028

[startup+1250.17 s]
Raw data (loadavg): 1.05 1.03 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 939 0 0 0 13568 597 0 0 25 0 1 0 19722576 9113600 911 4294967295 134512640 134702520 3221223040 3221222288 134566529 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 911 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1174.31
Current children cumulated vsize (Kb) 11028

[startup+1260.17 s]
Raw data (loadavg): 1.04 1.03 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 948 0 0 0 14480 628 0 0 25 0 1 0 19722576 9113600 920 4294967295 134512640 134702520 3221223040 3221222288 134566339 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 920 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1183.74
Current children cumulated vsize (Kb) 11028

[startup+1270.17 s]
Raw data (loadavg): 1.04 1.03 0.98 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 949 0 0 0 15438 644 0 0 25 0 1 0 19722576 9113600 921 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 921 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1193.48
Current children cumulated vsize (Kb) 11028

[startup+1280.17 s]
Raw data (loadavg): 1.03 1.03 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 960 0 0 0 16356 671 0 0 21 0 1 0 19722576 9113600 932 4294967295 134512640 134702520 3221223040 3221221936 134554398 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 932 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1202.93
Current children cumulated vsize (Kb) 11028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.17 s]
Raw data (loadavg): 1.03 1.03 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 960 0 0 0 16356 671 0 0 21 0 1 0 19722576 9113600 932 4294967295 134512640 134702520 3221223040 3221221936 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 932 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1202.93
Current children cumulated vsize (Kb) 11028

Sending SIGTERM to -4546
Sleeping 2 seconds
New process pid=4620
New process pid=4621
execve syscall for /bin/ps executable
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/4507/stat
open syscall for file /proc/4507/status
open syscall for file /proc/4507/cmdline
open syscall for file /proc/4507/environ
open syscall for file /proc/4545/stat
open syscall for file /proc/4545/status
open syscall for file /proc/4545/cmdline
open syscall for file /proc/4545/environ
open syscall for file /proc/4546/stat
open syscall for file /proc/4546/status
open syscall for file /proc/4546/cmdline
open syscall for file /proc/4546/environ
open syscall for file /proc/4618/stat
open syscall for file /proc/4618/status
open syscall for file /proc/4618/cmdline
open syscall for file /proc/4618/environ
open syscall for file /proc/4620/stat
open syscall for file /proc/4620/status
open syscall for file /proc/4620/cmdline
open syscall for file /proc/4620/environ
open syscall for file /proc/4621/stat
open syscall for file /proc/4621/status
open syscall for file /proc/4621/cmdline
open syscall for file /proc/4621/environ
One traced child (pid=4620) exited with status: 0
One traced child (pid=4621) exited with status: 0
New process pid=4622
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4618) exited with status: 3
One traced child (pid=4622) exited with status: 0
New process pid=4623
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=4623) exited with status: 0
One traced child (pid=4546) 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.67
CPU time (s): 1203.36
CPU user time (s): 1165.02
CPU system time (s): 38.3352
CPU usage (%): 93.9628
Max. virtual memory (cumulated for all children) (Kb): 11924

Verifier Data

ERROR: no interpretation found !