Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb
MD5SUMe21ba82f6fe94f7331ec17a5a9607763
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1031
Optimality of the best value was proved YES
Number of terms in the objective function 2152
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2152
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2152
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark448.539
Number of variables2152
Total number of constraints17197
Number of constraints which are clauses17197
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint16

Trace number 1850

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-18 17:07:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7165 boxname=wulflinc22 idbench=133 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e21ba82f6fe94f7331ec17a5a9607763  /oldhome/oroussel/tmp/wulflinc22/normalized-ii16b2.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc22/normalized-ii16b2.opb 0
IDLAUNCH: 7165
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        919712 kB
Buffers:         33944 kB
Cached:          53512 kB
SwapCached:        536 kB
Active:          65892 kB
Inactive:        24108 kB
HighTotal:      131008 kB
HighFree:        75516 kB
LowTotal:       903652 kB
LowFree:        844196 kB
SwapTotal:     2097892 kB
SwapFree:      2096832 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5860 kB
Slab:            19380 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 17:28:13 (client local time) WITH STATUS 0 IN 1208.02 SECONDS
stats: 7165 7 1208.02 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 343;  #end-nodes: 171;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 171 / 639 (80)
#axs: 17198, #non-axs: 123
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:  1120 (1031:>=*);
#decisions: 174648;  #end-nodes: 123474;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 237 (223)
#axs: 17380, #non-axs: 907
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 1120 (1031:>=*)

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

2:
seed: 0
Nr of vars set: 176  (#equs: 0)
Nr of vars set: 176  (#equs: 154)
#decisions: 158920;  #end-nodes: 113459;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 285 (263)
#axs: 6503, #non-axs: 868
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 176  (#equs: 281)
Time taken: 4 min, 3 sec

3:
seed: 0
Nr of vars set: 176  (#equs: 0)
Nr of vars set: 176  (#equs: 36)
#decisions: 182233;  #end-nodes: 136597;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 303 (303)
#axs: 6268, #non-axs: 921
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 176  (#equs: 188)
Time taken: 4 min, 1 sec

4:
seed: 0
Nr of vars set: 176  (#equs: 0)
Nr of vars set: 176  (#equs: 922)
#decisions: 58044;  #end-nodes: 43008;
#proof improvement attempts: 43008;  #restarts: 192
Current batch, end-nodes: 0 / 247 (247)
#axs: 6934, #non-axs: 887
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 176  (#equs: 949)
Time taken: 6 min, 0 sec

5:
seed: 0
Nr of vars set: 176  (#equs: 0)
Nr of vars set: 176  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 176  (#equs: 0)
Time taken in seconds: 57

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/27078/stat): 27078 (vallstSAT2005PB) R 27077 27078 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842930512 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/27078/statm): 174 3 169 147 0 27 0
[pid=27078] 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=27079
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=27079) exited with status: 0
New process pid=27080
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=27080) exited with status: 0
New process pid=27081
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/wulflinc22/normalized-ii16b2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0043 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 527 0 0 0 850 51 0 0 25 0 1 0 1842930519 3616768 497 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 883 497 413 48 0 835 0
[pid=27081] vsize: 3532
Current children cumulated CPU time (s) 9.03
Current children cumulated vsize (Kb) 5660

[startup+20.006 s]
Raw data (loadavg): 0.94 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1109 0 0 0 1720 97 0 0 25 0 1 0 1842930519 6455296 1079 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1576 1079 413 48 0 1528 0
[pid=27081] vsize: 6304
Current children cumulated CPU time (s) 18.19
Current children cumulated vsize (Kb) 8432

[startup+30.0067 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1278 0 0 0 2691 107 0 0 25 0 1 0 1842930519 6590464 1248 4294967295 134512640 134702520 3221223968 3221223248 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1609 1248 413 48 0 1561 0
[pid=27081] vsize: 6436
Current children cumulated CPU time (s) 28
Current children cumulated vsize (Kb) 8564

[startup+40.0084 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1306 0 0 0 3657 120 0 0 25 0 1 0 1842930519 6746112 1276 4294967295 134512640 134702520 3221223968 3221223248 134552208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1647 1276 413 48 0 1599 0
[pid=27081] vsize: 6588
Current children cumulated CPU time (s) 37.79
Current children cumulated vsize (Kb) 8716

[startup+50.0102 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1324 0 0 0 4616 134 0 0 25 0 1 0 1842930519 6746112 1294 4294967295 134512640 134702520 3221223968 3221223360 134605856 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1647 1294 413 48 0 1599 0
[pid=27081] vsize: 6588
Current children cumulated CPU time (s) 47.52
Current children cumulated vsize (Kb) 8716

[startup+60.0109 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1347 0 0 0 5572 149 0 0 25 0 1 0 1842930519 6746112 1317 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1647 1317 413 48 0 1599 0
[pid=27081] vsize: 6588
Current children cumulated CPU time (s) 57.23
Current children cumulated vsize (Kb) 8716

[startup+70.0116 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1360 0 0 0 6514 169 0 0 25 0 1 0 1842930519 6864896 1330 4294967295 134512640 134702520 3221223968 3221222864 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1676 1330 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 66.85
Current children cumulated vsize (Kb) 8832

[startup+80.0123 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1363 0 0 0 7470 184 0 0 25 0 1 0 1842930519 6864896 1333 4294967295 134512640 134702520 3221223968 3221222864 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1676 1333 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 76.56
Current children cumulated vsize (Kb) 8832

[startup+90.014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1363 0 0 0 8441 194 0 0 25 0 1 0 1842930519 6864896 1333 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1333 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 86.37
Current children cumulated vsize (Kb) 8832

[startup+100.015 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1366 0 0 0 9391 213 0 0 25 0 1 0 1842930519 6864896 1336 4294967295 134512640 134702520 3221223968 3221223248 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1336 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 96.06
Current children cumulated vsize (Kb) 8832

[startup+110.015 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1373 0 0 0 10336 230 0 0 25 0 1 0 1842930519 6864896 1343 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1343 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 105.68
Current children cumulated vsize (Kb) 8832

[startup+120.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1377 0 0 0 11282 250 0 0 25 0 1 0 1842930519 6864896 1347 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1347 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 115.34
Current children cumulated vsize (Kb) 8832

[startup+130.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1379 0 0 0 12228 266 0 0 25 0 1 0 1842930519 6864896 1349 4294967295 134512640 134702520 3221223968 3221222864 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1676 1349 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 124.96
Current children cumulated vsize (Kb) 8832

[startup+140.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1379 0 0 0 13205 274 0 0 25 0 1 0 1842930519 6864896 1349 4294967295 134512640 134702520 3221223968 3221222864 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1349 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 134.81
Current children cumulated vsize (Kb) 8832

[startup+150.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1381 0 0 0 14150 293 0 0 25 0 1 0 1842930519 6864896 1351 4294967295 134512640 134702520 3221223968 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1351 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 144.45
Current children cumulated vsize (Kb) 8832

[startup+160.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1383 0 0 0 15100 310 0 0 25 0 1 0 1842930519 6864896 1353 4294967295 134512640 134702520 3221223968 3221222992 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1353 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 154.12
Current children cumulated vsize (Kb) 8832

[startup+170.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1385 0 0 0 16046 328 0 0 25 0 1 0 1842930519 7081984 1355 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1355 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 163.76
Current children cumulated vsize (Kb) 9044

[startup+180.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1387 0 0 0 17020 337 0 0 25 0 1 0 1842930519 7081984 1357 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1357 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 173.59
Current children cumulated vsize (Kb) 9044

[startup+190.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1387 0 0 0 17984 350 0 0 25 0 1 0 1842930519 7081984 1357 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1357 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 183.36
Current children cumulated vsize (Kb) 9044

[startup+200.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1387 0 0 0 18930 369 0 0 25 0 1 0 1842930519 7081984 1357 4294967295 134512640 134702520 3221223968 3221223088 134578875 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1729 1357 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 193.01
Current children cumulated vsize (Kb) 9044

[startup+210.025 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1389 0 0 0 19882 384 0 0 25 0 1 0 1842930519 7081984 1359 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1359 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 202.68
Current children cumulated vsize (Kb) 9044

[startup+220.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1392 0 0 0 20858 392 0 0 25 0 1 0 1842930519 7081984 1362 4294967295 134512640 134702520 3221223968 3221222864 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1362 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 212.52
Current children cumulated vsize (Kb) 9044

[startup+230.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1393 0 0 0 21826 403 0 0 25 0 1 0 1842930519 7081984 1363 4294967295 134512640 134702520 3221223968 3221223248 134552338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1729 1363 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (Kb) 9044

[startup+240.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1393 0 0 0 22781 419 0 0 25 0 1 0 1842930519 7081984 1363 4294967295 134512640 134702520 3221223968 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1363 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 232.02
Current children cumulated vsize (Kb) 9044

[startup+250.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1394 0 0 0 23738 435 0 0 25 0 1 0 1842930519 7081984 1364 4294967295 134512640 134702520 3221223968 3221222992 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1729 1364 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 241.75
Current children cumulated vsize (Kb) 9044

[startup+260.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1396 0 0 0 24704 446 0 0 25 0 1 0 1842930519 7081984 1366 4294967295 134512640 134702520 3221223968 3221222864 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1366 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 251.52
Current children cumulated vsize (Kb) 9044

[startup+270.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1397 0 0 0 25688 451 0 0 25 0 1 0 1842930519 7081984 1367 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1367 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 261.41
Current children cumulated vsize (Kb) 9044

[startup+280.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1397 0 0 0 26638 467 0 0 25 0 1 0 1842930519 7081984 1367 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1367 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 271.07
Current children cumulated vsize (Kb) 9044

[startup+290.033 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1397 0 0 0 27589 482 0 0 25 0 1 0 1842930519 7081984 1367 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1367 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 280.73
Current children cumulated vsize (Kb) 9044

[startup+300.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1399 0 0 0 28538 500 0 0 25 0 1 0 1842930519 7081984 1369 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1369 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 290.4
Current children cumulated vsize (Kb) 9044

[startup+310.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1401 0 0 0 29522 507 0 0 25 0 1 0 1842930519 7081984 1371 4294967295 134512640 134702520 3221223968 3221222864 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1371 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 300.31
Current children cumulated vsize (Kb) 9044
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=27081) exited with status: 2
New process pid=27082
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=27082) exited with status: 0
New process pid=27083
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+320.034 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 361 0 0 0 528 5 0 0 25 0 1 0 1842961978 3366912 332 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 822 332 413 48 0 774 0
[pid=27083] vsize: 3288
Current children cumulated CPU time (s) 310.17
Current children cumulated vsize (Kb) 5416

[startup+330.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 364 0 0 0 1495 15 0 0 25 0 1 0 1842961978 3366912 335 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 822 335 413 48 0 774 0
[pid=27083] vsize: 3288
Current children cumulated CPU time (s) 319.94
Current children cumulated vsize (Kb) 5416

[startup+340.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1065 0 0 0 2439 36 0 0 25 0 1 0 1842961978 6279168 1036 4294967295 134512640 134702520 3221223712 3221222736 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1533 1036 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 329.59
Current children cumulated vsize (Kb) 8260

[startup+350.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1071 0 0 0 3381 55 0 0 25 0 1 0 1842961978 6279168 1042 4294967295 134512640 134702520 3221223712 3221222992 134557267 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1533 1042 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 339.2
Current children cumulated vsize (Kb) 8260

[startup+360.037 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1073 0 0 0 4351 66 0 0 25 0 1 0 1842961978 6279168 1044 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1533 1044 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 349.01
Current children cumulated vsize (Kb) 8260

[startup+370.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1074 0 0 0 5312 80 0 0 25 0 1 0 1842961978 6279168 1045 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1533 1045 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 358.76
Current children cumulated vsize (Kb) 8260

[startup+380.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1079 0 0 0 6247 99 0 0 25 0 1 0 1842961978 6279168 1050 4294967295 134512640 134702520 3221223712 3221222736 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1533 1050 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 368.3
Current children cumulated vsize (Kb) 8260

[startup+390.04 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1083 0 0 0 7199 116 0 0 25 0 1 0 1842961978 6279168 1054 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1533 1054 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 377.99
Current children cumulated vsize (Kb) 8260

[startup+400.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1085 0 0 0 8176 125 0 0 25 0 1 0 1842961978 6279168 1056 4294967295 134512640 134702520 3221223712 3221222608 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1533 1056 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 387.85
Current children cumulated vsize (Kb) 8260

[startup+410.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1085 0 0 0 9126 140 0 0 25 0 1 0 1842961978 6279168 1056 4294967295 134512640 134702520 3221223712 3221222736 134553933 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1533 1056 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 397.5
Current children cumulated vsize (Kb) 8260

[startup+420.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1087 0 0 0 10069 158 0 0 25 0 1 0 1842961978 6279168 1058 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1533 1058 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 407.11
Current children cumulated vsize (Kb) 8260

[startup+430.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1091 0 0 0 11023 175 0 0 25 0 1 0 1842961978 6406144 1062 4294967295 134512640 134702520 3221223712 3221222608 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1062 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 416.82
Current children cumulated vsize (Kb) 8384

[startup+440.045 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1091 0 0 0 12000 182 0 0 25 0 1 0 1842961978 6406144 1062 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1062 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 426.66
Current children cumulated vsize (Kb) 8384

[startup+450.046 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1094 0 0 0 12944 201 0 0 25 0 1 0 1842961978 6406144 1065 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1065 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 436.29
Current children cumulated vsize (Kb) 8384

[startup+460.046 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1098 0 0 0 13879 223 0 0 25 0 1 0 1842961978 6406144 1069 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1069 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 445.86
Current children cumulated vsize (Kb) 8384

[startup+470.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1100 0 0 0 14838 237 0 0 25 0 1 0 1842961978 6406144 1071 4294967295 134512640 134702520 3221223712 3221222608 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1071 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 455.59
Current children cumulated vsize (Kb) 8384

[startup+480.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1100 0 0 0 15818 242 0 0 25 0 1 0 1842961978 6406144 1071 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1071 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 465.44
Current children cumulated vsize (Kb) 8384

[startup+490.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1101 0 0 0 16760 263 0 0 25 0 1 0 1842961978 6406144 1072 4294967295 134512640 134702520 3221223712 3221222736 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1072 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 475.07
Current children cumulated vsize (Kb) 8384

[startup+500.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1103 0 0 0 17697 286 0 0 25 0 1 0 1842961978 6406144 1074 4294967295 134512640 134702520 3221223712 3221222992 134553080 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1564 1074 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 484.67
Current children cumulated vsize (Kb) 8384

[startup+510.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1105 0 0 0 18644 303 0 0 25 0 1 0 1842961978 6406144 1076 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1564 1076 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 494.31
Current children cumulated vsize (Kb) 8384

[startup+520.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1105 0 0 0 19626 309 0 0 25 0 1 0 1842961978 6406144 1076 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1564 1076 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 504.19
Current children cumulated vsize (Kb) 8384

[startup+530.052 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1106 0 0 0 20573 328 0 0 25 0 1 0 1842961978 6406144 1077 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1077 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 513.85
Current children cumulated vsize (Kb) 8384

[startup+540.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1106 0 0 0 21519 348 0 0 23 0 1 0 1842961978 6406144 1077 4294967295 134512640 134702520 3221223712 3221222736 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1077 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 523.51
Current children cumulated vsize (Kb) 8384

[startup+550.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1108 0 0 0 22461 368 0 0 25 0 1 0 1842961978 6406144 1079 4294967295 134512640 134702520 3221223712 3221222736 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1564 1079 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 533.13
Current children cumulated vsize (Kb) 8384

[startup+560.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1109 0 0 0 23442 375 0 0 25 0 1 0 1842961978 6406144 1080 4294967295 134512640 134702520 3221223712 3221222608 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1564 1080 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 543.01
Current children cumulated vsize (Kb) 8384
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=27083) exited with status: 2
New process pid=27084
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=27084) exited with status: 0
New process pid=27085
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+570.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 360 0 0 0 440 5 0 0 25 0 1 0 1842987071 2764800 332 4294967295 134512640 134702520 3221223712 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 675 332 413 48 0 627 0
[pid=27085] vsize: 2700
Current children cumulated CPU time (s) 552.84
Current children cumulated vsize (Kb) 4828

[startup+580.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 360 0 0 0 1411 13 0 0 25 0 1 0 1842987071 2764800 332 4294967295 134512640 134702520 3221223712 3221222848 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 675 332 413 48 0 627 0
[pid=27085] vsize: 2700
Current children cumulated CPU time (s) 562.63
Current children cumulated vsize (Kb) 4828

[startup+590.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 719 0 0 0 2346 35 0 0 25 0 1 0 1842987071 4272128 691 4294967295 134512640 134702520 3221223712 3221223104 134605861 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 1043 691 413 48 0 995 0
[pid=27085] vsize: 4172
Current children cumulated CPU time (s) 572.2
Current children cumulated vsize (Kb) 6300

[startup+600.061 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 728 0 0 0 3277 62 0 0 22 0 1 0 1842987071 4272128 700 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1043 700 413 48 0 995 0
[pid=27085] vsize: 4172
Current children cumulated CPU time (s) 581.78
Current children cumulated vsize (Kb) 6300

[startup+610.062 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 732 0 0 0 4238 76 0 0 25 0 1 0 1842987071 4272128 704 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1043 704 413 48 0 995 0
[pid=27085] vsize: 4172
Current children cumulated CPU time (s) 591.53
Current children cumulated vsize (Kb) 6300

[startup+620.063 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 733 0 0 0 5199 90 0 0 25 0 1 0 1842987071 4272128 705 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1043 705 413 48 0 995 0
[pid=27085] vsize: 4172
Current children cumulated CPU time (s) 601.28
Current children cumulated vsize (Kb) 6300

[startup+630.063 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 737 0 0 0 6128 112 0 0 25 0 1 0 1842987071 4272128 709 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1043 709 413 48 0 995 0
[pid=27085] vsize: 4172
Current children cumulated CPU time (s) 610.79
Current children cumulated vsize (Kb) 6300

[startup+640.064 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 742 0 0 0 7063 137 0 0 25 0 1 0 1842987071 4272128 714 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1043 714 413 48 0 995 0
[pid=27085] vsize: 4172
Current children cumulated CPU time (s) 620.39
Current children cumulated vsize (Kb) 6300

[startup+650.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 743 0 0 0 8037 145 0 0 25 0 1 0 1842987071 4411392 715 4294967295 134512640 134702520 3221223712 3221222608 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1077 715 413 48 0 1029 0
[pid=27085] vsize: 4308
Current children cumulated CPU time (s) 630.21
Current children cumulated vsize (Kb) 6436

[startup+660.066 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 745 0 0 0 8989 161 0 0 25 0 1 0 1842987071 4395008 717 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 717 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 639.89
Current children cumulated vsize (Kb) 6420

[startup+670.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 748 0 0 0 9922 185 0 0 25 0 1 0 1842987071 4395008 720 4294967295 134512640 134702520 3221223712 3221222736 134552778 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 720 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 649.46
Current children cumulated vsize (Kb) 6420

[startup+680.067 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 750 0 0 0 10863 205 0 0 25 0 1 0 1842987071 4395008 722 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 722 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 659.07
Current children cumulated vsize (Kb) 6420

[startup+690.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 750 0 0 0 11838 215 0 0 25 0 1 0 1842987071 4395008 722 4294967295 134512640 134702520 3221223712 3221222608 134553358 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 722 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 668.92
Current children cumulated vsize (Kb) 6420

[startup+700.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 750 0 0 0 12774 237 0 0 25 0 1 0 1842987071 4395008 722 4294967295 134512640 134702520 3221223712 3221222736 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 722 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 678.5
Current children cumulated vsize (Kb) 6420

[startup+710.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 751 0 0 0 13709 258 0 0 25 0 1 0 1842987071 4395008 723 4294967295 134512640 134702520 3221223712 3221222992 134552573 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 1073 723 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 688.06
Current children cumulated vsize (Kb) 6420

[startup+720.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 754 0 0 0 14657 275 0 0 25 0 1 0 1842987071 4395008 726 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 726 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 697.71
Current children cumulated vsize (Kb) 6420

[startup+730.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 754 0 0 0 15629 286 0 0 25 0 1 0 1842987071 4395008 726 4294967295 134512640 134702520 3221223712 3221222608 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 1073 726 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 707.54
Current children cumulated vsize (Kb) 6420

[startup+740.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 756 0 0 0 16567 309 0 0 25 0 1 0 1842987071 4395008 728 4294967295 134512640 134702520 3221223712 3221222736 134552924 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 1073 728 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 717.15
Current children cumulated vsize (Kb) 6420

[startup+750.076 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 757 0 0 0 17498 332 0 0 25 0 1 0 1842987071 4395008 729 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 729 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 726.69
Current children cumulated vsize (Kb) 6420

[startup+760.076 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 760 0 0 0 18436 353 0 0 25 0 1 0 1842987071 4395008 732 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 732 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 736.28
Current children cumulated vsize (Kb) 6420

[startup+770.077 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 761 0 0 0 19412 361 0 0 25 0 1 0 1842987071 4395008 733 4294967295 134512640 134702520 3221223712 3221222736 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 1073 733 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 746.12
Current children cumulated vsize (Kb) 6420

[startup+780.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 762 0 0 0 20349 383 0 0 22 0 1 0 1842987071 4395008 734 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 1073 734 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 755.71
Current children cumulated vsize (Kb) 6420

[startup+790.079 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 763 0 0 0 21278 407 0 0 25 0 1 0 1842987071 4395008 735 4294967295 134512640 134702520 3221223712 3221222736 134552266 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 735 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 765.24
Current children cumulated vsize (Kb) 6420

[startup+800.079 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 767 0 0 0 22211 431 0 0 25 0 1 0 1842987071 4395008 739 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 739 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 774.81
Current children cumulated vsize (Kb) 6420

[startup+810.082 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 769 0 0 0 23185 442 0 0 25 0 1 0 1842987071 4395008 741 4294967295 134512640 134702520 3221223712 3221222580 134548990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 741 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 784.66
Current children cumulated vsize (Kb) 6420
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=27085) exited with status: 2
New process pid=27086
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=27086) exited with status: 0
New process pid=27087
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+820.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 362 0 0 0 451 5 0 0 25 0 1 0 1843012064 2777088 334 4294967295 134512640 134702520 3221223040 3221222176 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 678 334 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 794.44
Current children cumulated vsize (Kb) 4840

[startup+830.084 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 365 0 0 0 1422 15 0 0 25 0 1 0 1843012064 2777088 337 4294967295 134512640 134702520 3221223040 3221222176 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 678 337 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 804.25
Current children cumulated vsize (Kb) 4840

[startup+840.085 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 368 0 0 0 2390 27 0 0 25 0 1 0 1843012064 2777088 340 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 340 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 814.05
Current children cumulated vsize (Kb) 4840

[startup+850.086 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 368 0 0 0 3361 37 0 0 25 0 1 0 1843012064 2777088 340 4294967295 134512640 134702520 3221223040 3221222176 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 340 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 823.86
Current children cumulated vsize (Kb) 4840

[startup+860.087 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 368 0 0 0 4333 48 0 0 25 0 1 0 1843012064 2777088 340 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 340 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 833.69
Current children cumulated vsize (Kb) 4840

[startup+870.087 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 368 0 0 0 5301 60 0 0 25 0 1 0 1843012064 2777088 340 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 340 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 843.49
Current children cumulated vsize (Kb) 4840

[startup+880.088 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 368 0 0 0 6270 70 0 0 25 0 1 0 1843012064 2777088 340 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 340 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 853.28
Current children cumulated vsize (Kb) 4840

[startup+890.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 368 0 0 0 7241 81 0 0 25 0 1 0 1843012064 2777088 340 4294967295 134512640 134702520 3221223040 3221222176 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 678 340 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 863.1
Current children cumulated vsize (Kb) 4840

[startup+900.091 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 369 0 0 0 8210 92 0 0 25 0 1 0 1843012064 2777088 341 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 341 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 872.9
Current children cumulated vsize (Kb) 4840

[startup+910.091 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 369 0 0 0 9174 107 0 0 25 0 1 0 1843012064 2777088 341 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 341 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 882.69
Current children cumulated vsize (Kb) 4840

[startup+920.092 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 713 0 0 0 10125 126 0 0 25 0 1 0 1843012064 4239360 685 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1035 685 413 48 0 987 0
[pid=27087] vsize: 4140
Current children cumulated CPU time (s) 892.39
Current children cumulated vsize (Kb) 6268

[startup+930.093 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 726 0 0 0 11088 139 0 0 25 0 1 0 1843012064 4251648 698 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1038 698 413 48 0 990 0
[pid=27087] vsize: 4152
Current children cumulated CPU time (s) 902.15
Current children cumulated vsize (Kb) 6280

[startup+940.093 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 732 0 0 0 12033 157 0 0 25 0 1 0 1843012064 4251648 704 4294967295 134512640 134702520 3221223040 3221222296 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1038 704 413 48 0 990 0
[pid=27087] vsize: 4152
Current children cumulated CPU time (s) 911.78
Current children cumulated vsize (Kb) 6280

[startup+950.094 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 738 0 0 0 12992 171 0 0 25 0 1 0 1843012064 4251648 710 4294967295 134512640 134702520 3221223040 3221221936 134552759 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1038 710 413 48 0 990 0
[pid=27087] vsize: 4152
Current children cumulated CPU time (s) 921.51
Current children cumulated vsize (Kb) 6280

[startup+960.095 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 741 0 0 0 13945 185 0 0 25 0 1 0 1843012064 4251648 713 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1038 713 413 48 0 990 0
[pid=27087] vsize: 4152
Current children cumulated CPU time (s) 931.18
Current children cumulated vsize (Kb) 6280

[startup+970.096 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 14898 201 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 940.87
Current children cumulated vsize (Kb) 6412

[startup+980.096 s]
Raw data (loadavg): 1.06 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 15837 223 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 950.48
Current children cumulated vsize (Kb) 6412

[startup+990.098 s]
Raw data (loadavg): 1.05 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 16774 246 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 960.08
Current children cumulated vsize (Kb) 6412

[startup+1000.1 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 743 0 0 0 17711 267 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221221936 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 969.66
Current children cumulated vsize (Kb) 6412

[startup+1010.1 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 18652 286 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 979.26
Current children cumulated vsize (Kb) 6412

[startup+1020.1 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 19589 311 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 988.88
Current children cumulated vsize (Kb) 6412

[startup+1030.1 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 20522 337 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 998.47
Current children cumulated vsize (Kb) 6412

[startup+1040.1 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 21461 358 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1008.07
Current children cumulated vsize (Kb) 6412

[startup+1050.1 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 743 0 0 0 22397 381 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221221936 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1017.66
Current children cumulated vsize (Kb) 6412

[startup+1060.1 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 23332 402 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1027.22
Current children cumulated vsize (Kb) 6412

[startup+1070.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 746 0 0 0 24292 415 0 0 25 0 1 0 1843012064 4386816 718 4294967295 134512640 134702520 3221223040 3221221936 134556543 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 718 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1036.95
Current children cumulated vsize (Kb) 6412

[startup+1080.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 748 0 0 0 25241 433 0 0 25 0 1 0 1843012064 4386816 720 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 720 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1046.62
Current children cumulated vsize (Kb) 6412

[startup+1090.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 750 0 0 0 26193 450 0 0 25 0 1 0 1843012064 4386816 722 4294967295 134512640 134702520 3221223040 3221221936 134553952 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 722 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1056.31
Current children cumulated vsize (Kb) 6412

[startup+1100.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 752 0 0 0 27148 465 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221221936 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1066.01
Current children cumulated vsize (Kb) 6412

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 752 0 0 0 28106 478 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1075.72
Current children cumulated vsize (Kb) 6412

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 752 0 0 0 29046 500 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1085.34
Current children cumulated vsize (Kb) 6412

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 752 0 0 0 29990 518 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221221936 134552748 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1094.96
Current children cumulated vsize (Kb) 6412

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 752 0 0 0 30933 537 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221221936 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1104.58
Current children cumulated vsize (Kb) 6412

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 752 0 0 0 31871 558 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1114.17
Current children cumulated vsize (Kb) 6412

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 752 0 0 0 32814 579 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1123.81
Current children cumulated vsize (Kb) 6412

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 752 0 0 0 33752 601 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221221936 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1133.41
Current children cumulated vsize (Kb) 6412

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 752 0 0 0 34697 616 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221221936 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1143.01
Current children cumulated vsize (Kb) 6412
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=27087) exited with status: 2
New process pid=27088
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=27088) exited with status: 0
New process pid=27089
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+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) T 27078 27078 21452 0 -1 0 363 0 0 0 244 12 0 0 22 0 1 0 1843049264 2777088 332 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27089/statm): 678 332 413 48 0 630 0
[pid=27089] vsize: 2712
Current children cumulated CPU time (s) 1152.52
Current children cumulated vsize (Kb) 4840

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) T 27078 27078 21452 0 -1 0 363 0 0 0 1126 52 0 0 25 0 1 0 1843049264 2777088 332 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27089/statm): 678 332 413 48 0 630 0
[pid=27089] vsize: 2712
Current children cumulated CPU time (s) 1161.74
Current children cumulated vsize (Kb) 4840

[startup+1210.12 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) R 27078 27078 21452 0 -1 0 567 0 0 0 2021 90 0 0 25 0 1 0 1843049264 4349952 536 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27089/statm): 1062 536 413 48 0 1014 0
[pid=27089] vsize: 4248
Current children cumulated CPU time (s) 1171.07
Current children cumulated vsize (Kb) 6376

[startup+1220.12 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) T 27078 27078 21452 0 -1 0 595 0 0 0 2879 137 0 0 25 0 1 0 1843049264 4485120 564 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27089/statm): 1095 564 413 48 0 1047 0
[pid=27089] vsize: 4380
Current children cumulated CPU time (s) 1180.12
Current children cumulated vsize (Kb) 6508

[startup+1230.12 s]
Raw data (loadavg): 1.14 1.03 1.01 1/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) T 27078 27078 21452 0 -1 0 595 0 0 0 3762 175 0 0 25 0 1 0 1843049264 4485120 564 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/27089/statm): 1095 564 413 48 0 1047 0
[pid=27089] vsize: 4380
Current children cumulated CPU time (s) 1189.33
Current children cumulated vsize (Kb) 6508

[startup+1240.12 s]
Raw data (loadavg): 1.11 1.03 1.01 2/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) R 27078 27078 21452 0 -1 0 605 0 0 0 4653 211 0 0 22 0 1 0 1843049264 4485120 574 4294967295 134512640 134702520 3221223712 3221217228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27089/statm): 1095 574 413 48 0 1047 0
[pid=27089] vsize: 4380
Current children cumulated CPU time (s) 1198.6
Current children cumulated vsize (Kb) 6508

[startup+1250.12 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) T 27078 27078 21452 0 -1 0 620 0 0 0 5528 258 0 0 25 0 1 0 1843049264 4485120 589 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27089/statm): 1095 589 413 48 0 1047 0
[pid=27089] vsize: 4380
Current children cumulated CPU time (s) 1207.82
Current children cumulated vsize (Kb) 6508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.12 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) T 27078 27078 21452 0 -1 0 620 0 0 0 5528 258 0 0 25 0 1 0 1843049264 4485120 589 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27089/statm): 1095 589 413 48 0 1047 0
[pid=27089] vsize: 4380
Current children cumulated CPU time (s) 1207.82
Current children cumulated vsize (Kb) 6508

Sending SIGTERM to -27078
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=27091
New process pid=27092
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
One traced child (pid=27089) exited with status: 3
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/18281/stat
open syscall for file /proc/18281/status
open syscall for file /proc/18281/cmdline
open syscall for file /proc/18281/environ
open syscall for file /proc/19827/stat
open syscall for file /proc/19827/status
open syscall for file /proc/19827/cmdline
open syscall for file /proc/19827/environ
open syscall for file /proc/19854/stat
open syscall for file /proc/19854/status
open syscall for file /proc/19854/cmdline
open syscall for file /proc/19854/environ
open syscall for file /proc/19878/stat
open syscall for file /proc/19878/status
open syscall for file /proc/19878/cmdline
open syscall for file /proc/19878/environ
open syscall for file /proc/28563/stat
open syscall for file /proc/28563/status
open syscall for file /proc/28563/cmdline
open syscall for file /proc/28563/environ
open syscall for file /proc/28582/stat
open syscall for file /proc/28582/status
open syscall for file /proc/28582/cmdline
open syscall for file /proc/28582/environ
open syscall for file /proc/5390/stat
open syscall for file /proc/5390/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/5390/cmdline
open syscall for file /proc/5390/environ
open syscall for file /proc/5425/stat
open syscall for file /proc/5425/status
open syscall for file /proc/5425/cmdline
open syscall for file /proc/5425/environ
open syscall for file /proc/21452/stat
open syscall for file /proc/21452/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/21452/cmdline
open syscall for file /proc/21452/environ
open syscall for file /proc/21453/stat
open syscall for file /proc/21453/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/21453/cmdline
open syscall for file /proc/21453/environ
open syscall for file /proc/21462/stat
open syscall for file /proc/21462/status
open syscall for file /proc/21462/cmdline
open syscall for file /proc/21462/environ
open syscall for file /proc/27041/stat
open syscall for file /proc/27041/status
open syscall for file /proc/27041/cmdline
open syscall for file /proc/27041/environ
open syscall for file /proc/27077/stat
open syscall for file /proc/27077/status
open syscall for file /proc/27077/cmdline
open syscall for file /proc/27077/environ
open syscall for file /proc/27078/stat
open syscall for file /proc/27078/status
open syscall for file /proc/27078/cmdline
open syscall for file /proc/27078/environ
open syscall for file /proc/27091/stat
open syscall for file /proc/27091/status
open syscall for file /proc/27091/cmdline
open syscall for file /proc/27091/environ
open syscall for file /proc/27092/stat
open syscall for file /proc/27092/status
open syscall for file /proc/27092/cmdline
open syscall for file /proc/27092/environ
One traced child (pid=27091) exited with status: 0
One traced child (pid=27092) exited with status: 0
New process pid=27093
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=27093) exited with status: 0
New process pid=27094
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=27094) exited with status: 0
One traced child (pid=27078) 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): 1250.62
CPU time (s): 1208.02
CPU user time (s): 1185.57
CPU system time (s): 22.4456
CPU usage (%): 96.5932
Max. virtual memory (cumulated for all children) (Kb): 9044

Verifier Data

ERROR: no interpretation found !