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-ii32b3.opb
MD5SUM2998f4c8b2aa0ba71848641193ef2744
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 331
Optimality of the best value was proved YES
Number of terms in the objective function 696
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 696
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 696
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark86.9458
Number of variables696
Total number of constraints6082
Number of constraints which are clauses6082
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32

Trace number 1847

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-18 17:16:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7174 boxname=wulflinc13 idbench=142 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2998f4c8b2aa0ba71848641193ef2744  /oldhome/oroussel/tmp/wulflinc13/normalized-ii32b3.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc13/normalized-ii32b3.opb 0
IDLAUNCH: 7174
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        882732 kB
Buffers:         33876 kB
Cached:          91624 kB
SwapCached:        708 kB
Active:          65400 kB
Inactive:        62664 kB
HighTotal:      131008 kB
HighFree:        66416 kB
LowTotal:       903652 kB
LowFree:        816316 kB
SwapTotal:     2097136 kB
SwapFree:      2095936 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            18276 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 17:26:28 (client local time) WITH STATUS 20 IN 581.297 SECONDS
stats: 7174 7 581.297 20

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 544;  #end-nodes: 361;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 250 / 722 (80)
#axs: 6083, #non-axs: 75
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:  353 (342:>=*);
#decisions: 64;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 6083, #non-axs: 75
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:  357 (338:>=*);
#decisions: 950;  #end-nodes: 577;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 497 / 928 (80)
#axs: 6083, #non-axs: 252
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:  358 (337:>=*);
#decisions: 891;  #end-nodes: 552;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 471 / 482 (80)
#axs: 6083, #non-axs: 323
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:  362 (333:>=*);
#decisions: 33;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 6083, #non-axs: 323
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:  363 (332:>=*);
#decisions: 86;  #end-nodes: 51;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 51 / 80 (80)
#axs: 6083, #non-axs: 323
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:  364 (331:>=*);
#decisions: 438693;  #end-nodes: 275006;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 367 (247)
#axs: 6146, #non-axs: 1074
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:) 364 (331:>=*)

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

2:
seed: 0
Nr of vars set: 228  (#equs: 0)
Nr of vars set: 228  (#equs: 5)
#decisions: 466599;  #end-nodes: 270201;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 292 (287)
#axs: 2818, #non-axs: 824
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: 381  (#equs: 168)
Time taken: 4 min, 22 sec

3:
seed: 0
Nr of vars set: 381  (#equs: 0)
Nr of vars set: 404  (#equs: 40)
#decisions: 18936;  #end-nodes: 13559;
#proof improvement attempts: 0;  #restarts: 25
Current batch, end-nodes: 3016 / 3994 (166)
#axs: 450, #non-axs: 38
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: proof of false found (0)
No model found at all.
Proof of false found with initial constants.
result: proof of false found (0)
seed: 0
Nr of vars set: 493  (#equs: 40)
Time taken in milliseconds: 4270
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.017s 0m0.019s
9m17.769s 0m23.403s
s UNSATISFIABLE

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/5155/stat): 5155 (vallstSAT2005PB) R 5154 5155 1333 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784773776 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5155/statm): 174 3 169 147 0 27 0
[pid=5155] 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=5156
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=5156) exited with status: 0
New process pid=5157
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=5157) exited with status: 0
New process pid=5158
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-ii32b3.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0038 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 327 0 0 0 740 85 0 0 21 0 1 0 1784773786 2580480 297 4294967295 134512640 134702520 3221223968 3221223044 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 630 297 413 48 0 582 0
[pid=5158] vsize: 2520
Current children cumulated CPU time (s) 8.26
Current children cumulated vsize (Kb) 4648

[startup+20.0045 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 502 0 0 0 1561 146 0 0 25 0 1 0 1784773786 4276224 472 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1044 472 413 48 0 996 0
[pid=5158] vsize: 4176
Current children cumulated CPU time (s) 17.08
Current children cumulated vsize (Kb) 6304

[startup+30.0051 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 837 0 0 0 2465 180 0 0 17 0 1 0 1784773786 4612096 807 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1126 807 413 48 0 1078 0
[pid=5158] vsize: 4504
Current children cumulated CPU time (s) 26.46
Current children cumulated vsize (Kb) 6632

[startup+40.0058 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 864 0 0 0 3364 216 0 0 25 0 1 0 1784773786 4747264 834 4294967295 134512640 134702520 3221223968 3221222864 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1159 834 413 48 0 1111 0
[pid=5158] vsize: 4636
Current children cumulated CPU time (s) 35.81
Current children cumulated vsize (Kb) 6764

[startup+50.0064 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 885 0 0 0 4258 252 0 0 17 0 1 0 1784773786 4751360 855 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1160 855 413 48 0 1112 0
[pid=5158] vsize: 4640
Current children cumulated CPU time (s) 45.11
Current children cumulated vsize (Kb) 6768

[startup+60.0071 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 907 0 0 0 5166 284 0 0 25 0 1 0 1784773786 4886528 877 4294967295 134512640 134702520 3221223968 3221223248 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1193 877 413 48 0 1145 0
[pid=5158] vsize: 4772
Current children cumulated CPU time (s) 54.51
Current children cumulated vsize (Kb) 6900

[startup+70.0087 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 928 0 0 0 6069 318 0 0 23 0 1 0 1784773786 4886528 898 4294967295 134512640 134702520 3221223968 3221223360 134604352 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1193 898 413 48 0 1145 0
[pid=5158] vsize: 4772
Current children cumulated CPU time (s) 63.88
Current children cumulated vsize (Kb) 6900

[startup+80.0094 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 929 0 0 0 6951 357 0 0 25 0 1 0 1784773786 4886528 899 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1193 899 413 48 0 1145 0
[pid=5158] vsize: 4772
Current children cumulated CPU time (s) 73.09
Current children cumulated vsize (Kb) 6900

[startup+90.0111 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 929 0 0 0 7826 399 0 0 25 0 1 0 1784773786 4886528 899 4294967295 134512640 134702520 3221223968 3221223228 134549068 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1193 899 413 48 0 1145 0
[pid=5158] vsize: 4772
Current children cumulated CPU time (s) 82.26
Current children cumulated vsize (Kb) 6900

[startup+100.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 936 0 0 0 8700 442 0 0 25 0 1 0 1784773786 5021696 906 4294967295 134512640 134702520 3221223968 3221222864 134552158 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1226 906 413 48 0 1178 0
[pid=5158] vsize: 4904
Current children cumulated CPU time (s) 91.43
Current children cumulated vsize (Kb) 7032

[startup+110.012 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 939 0 0 0 9579 484 0 0 18 0 1 0 1784773786 5025792 909 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1227 909 413 48 0 1179 0
[pid=5158] vsize: 4908
Current children cumulated CPU time (s) 100.64
Current children cumulated vsize (Kb) 7036

[startup+120.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 941 0 0 0 10480 517 0 0 25 0 1 0 1784773786 5025792 911 4294967295 134512640 134702520 3221223968 3221222864 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1227 911 413 48 0 1179 0
[pid=5158] vsize: 4908
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 7036

[startup+130.013 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 942 0 0 0 11387 547 0 0 23 0 1 0 1784773786 5025792 912 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1227 912 413 48 0 1179 0
[pid=5158] vsize: 4908
Current children cumulated CPU time (s) 119.35
Current children cumulated vsize (Kb) 7036

[startup+140.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 947 0 0 0 12276 588 0 0 25 0 1 0 1784773786 5029888 917 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1228 917 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 128.65
Current children cumulated vsize (Kb) 7040

[startup+150.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 952 0 0 0 13152 630 0 0 24 0 1 0 1784773786 5029888 922 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1228 922 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 137.83
Current children cumulated vsize (Kb) 7040

[startup+160.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 952 0 0 0 14075 655 0 0 25 0 1 0 1784773786 5029888 922 4294967295 134512640 134702520 3221223968 3221222864 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1228 922 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 147.31
Current children cumulated vsize (Kb) 7040

[startup+170.016 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 954 0 0 0 14982 686 0 0 19 0 1 0 1784773786 5029888 924 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1228 924 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 156.69
Current children cumulated vsize (Kb) 7040

[startup+180.018 s]
Raw data (loadavg): 1.08 1.02 1.01 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 959 0 0 0 15865 725 0 0 18 0 1 0 1784773786 5029888 929 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1228 929 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 165.91
Current children cumulated vsize (Kb) 7040

[startup+190.019 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 960 0 0 0 16762 761 0 0 25 0 1 0 1784773786 5029888 930 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1228 930 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 175.24
Current children cumulated vsize (Kb) 7040

[startup+200.019 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 960 0 0 0 17697 781 0 0 25 0 1 0 1784773786 5029888 930 4294967295 134512640 134702520 3221223968 3221222864 134552354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1228 930 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 184.79
Current children cumulated vsize (Kb) 7040

[startup+210.02 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 962 0 0 0 18603 817 0 0 18 0 1 0 1784773786 5029888 932 4294967295 134512640 134702520 3221223968 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1228 932 413 48 0 1180 0
[pid=5158] vsize: 4912
Current children cumulated CPU time (s) 194.21
Current children cumulated vsize (Kb) 7040

[startup+220.021 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 965 0 0 0 19502 852 0 0 25 0 1 0 1784773786 5165056 935 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1261 935 413 48 0 1213 0
[pid=5158] vsize: 5044
Current children cumulated CPU time (s) 203.55
Current children cumulated vsize (Kb) 7172

[startup+230.02 s]
Raw data (loadavg): 1.11 1.03 1.01 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 970 0 0 0 20382 891 0 0 24 0 1 0 1784773786 5160960 940 4294967295 134512640 134702520 3221223968 3221222864 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 940 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 212.74
Current children cumulated vsize (Kb) 7168

[startup+240.022 s]
Raw data (loadavg): 1.10 1.03 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 970 0 0 0 21343 906 0 0 25 0 1 0 1784773786 5160960 940 4294967295 134512640 134702520 3221223968 3221222864 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 940 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 222.5
Current children cumulated vsize (Kb) 7168

[startup+250.024 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 972 0 0 0 22266 932 0 0 25 0 1 0 1784773786 5160960 942 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 942 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 231.99
Current children cumulated vsize (Kb) 7168

[startup+260.024 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 974 0 0 0 23152 969 0 0 25 0 1 0 1784773786 5160960 944 4294967295 134512640 134702520 3221223968 3221222864 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 944 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 241.22
Current children cumulated vsize (Kb) 7168

[startup+270.025 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 981 0 0 0 24032 1013 0 0 24 0 1 0 1784773786 5160960 951 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 951 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 250.46
Current children cumulated vsize (Kb) 7168

[startup+280.026 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 982 0 0 0 24956 1039 0 0 21 0 1 0 1784773786 5160960 952 4294967295 134512640 134702520 3221223968 3221222864 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1260 952 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 259.96
Current children cumulated vsize (Kb) 7168

[startup+290.027 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 982 0 0 0 25917 1053 0 0 25 0 1 0 1784773786 5160960 952 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 952 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 269.71
Current children cumulated vsize (Kb) 7168

[startup+300.028 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 983 0 0 0 26816 1089 0 0 25 0 1 0 1784773786 5160960 953 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 953 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 279.06
Current children cumulated vsize (Kb) 7168

[startup+310.029 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) T 5155 5155 1333 0 -1 0 987 0 0 0 27676 1136 0 0 20 0 1 0 1784773786 5160960 957 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 957 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 288.13
Current children cumulated vsize (Kb) 7168

[startup+320.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 989 0 0 0 28560 1177 0 0 20 0 1 0 1784773786 5160960 959 4294967295 134512640 134702520 3221223968 3221223088 134584454 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5158/statm): 1260 959 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 297.38
Current children cumulated vsize (Kb) 7168

[startup+330.03 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 5158
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 1784773776 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 242 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5158/stat): 5158 (vallst) R 5155 5155 1333 0 -1 0 990 0 0 0 29519 1192 0 0 19 0 1 0 1784773786 5160960 960 4294967295 134512640 134702520 3221223968 3221222864 134552426 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5158/statm): 1260 960 413 48 0 1212 0
[pid=5158] vsize: 5040
Current children cumulated CPU time (s) 307.12
Current children cumulated vsize (Kb) 7168
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=5158) exited with status: 2
New process pid=5159
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=5159) exited with status: 0
New process pid=5160
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+340.03 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 274 0 0 0 282 7 0 0 25 0 1 0 1784807485 2502656 245 4294967295 134512640 134702520 3221223712 3221222848 134553097 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 611 245 413 48 0 563 0
[pid=5160] vsize: 2444
Current children cumulated CPU time (s) 316.81
Current children cumulated vsize (Kb) 4572

[startup+350.031 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 277 0 0 0 1231 25 0 0 25 0 1 0 1784807485 2502656 248 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 611 248 413 48 0 563 0
[pid=5160] vsize: 2444
Current children cumulated CPU time (s) 326.48
Current children cumulated vsize (Kb) 4572

[startup+360.032 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 640 0 0 0 2127 62 0 0 17 0 1 0 1784807485 3989504 611 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 974 611 413 48 0 926 0
[pid=5160] vsize: 3896
Current children cumulated CPU time (s) 335.81
Current children cumulated vsize (Kb) 6024

[startup+370.032 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 660 0 0 0 2985 112 0 0 18 0 1 0 1784807485 3989504 631 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 974 631 413 48 0 926 0
[pid=5160] vsize: 3896
Current children cumulated CPU time (s) 344.89
Current children cumulated vsize (Kb) 6024

[startup+380.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 664 0 0 0 3935 131 0 0 25 0 1 0 1784807485 3989504 635 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 974 635 413 48 0 926 0
[pid=5160] vsize: 3896
Current children cumulated CPU time (s) 354.58
Current children cumulated vsize (Kb) 6024

[startup+390.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 668 0 0 0 4865 155 0 0 18 0 1 0 1784807485 4124672 639 4294967295 134512640 134702520 3221223712 3221222992 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1007 639 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 364.12
Current children cumulated vsize (Kb) 6156

[startup+400.035 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 674 0 0 0 5722 202 0 0 19 0 1 0 1784807485 4124672 645 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1007 645 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 373.16
Current children cumulated vsize (Kb) 6156

[startup+410.036 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 678 0 0 0 6649 226 0 0 25 0 1 0 1784807485 4124672 649 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1007 649 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 382.67
Current children cumulated vsize (Kb) 6156

[startup+420.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 678 0 0 0 7600 243 0 0 23 0 1 0 1784807485 4124672 649 4294967295 134512640 134702520 3221223712 3221222992 134552197 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1007 649 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 392.35
Current children cumulated vsize (Kb) 6156

[startup+430.037 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 684 0 0 0 8462 288 0 0 19 0 1 0 1784807485 4124672 655 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1007 655 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 401.42
Current children cumulated vsize (Kb) 6156

[startup+440.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 689 0 0 0 9343 329 0 0 25 0 1 0 1784807485 4124672 660 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1007 660 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 410.64
Current children cumulated vsize (Kb) 6156

[startup+450.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 689 0 0 0 10301 341 0 0 25 0 1 0 1784807485 4124672 660 4294967295 134512640 134702520 3221223712 3221222608 134552217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1007 660 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 420.34
Current children cumulated vsize (Kb) 6156

[startup+460.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 692 0 0 0 11198 375 0 0 21 0 1 0 1784807485 4124672 663 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1007 663 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 429.65
Current children cumulated vsize (Kb) 6156

[startup+470.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 698 0 0 0 12051 424 0 0 20 0 1 0 1784807485 4124672 669 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1007 669 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 438.67
Current children cumulated vsize (Kb) 6156

[startup+480.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 700 0 0 0 12977 449 0 0 25 0 1 0 1784807485 4124672 671 4294967295 134512640 134702520 3221223712 3221222608 134550747 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1007 671 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 448.18
Current children cumulated vsize (Kb) 6156

[startup+490.042 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 700 0 0 0 13909 473 0 0 21 0 1 0 1784807485 4124672 671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1007 671 413 48 0 959 0
[pid=5160] vsize: 4028
Current children cumulated CPU time (s) 457.74
Current children cumulated vsize (Kb) 6156

[startup+500.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 707 0 0 0 14776 517 0 0 17 0 1 0 1784807485 4259840 678 4294967295 134512640 134702520 3221223712 3221222832 134578979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1040 678 413 48 0 992 0
[pid=5160] vsize: 4160
Current children cumulated CPU time (s) 466.85
Current children cumulated vsize (Kb) 6288

[startup+510.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 712 0 0 0 15636 565 0 0 25 0 1 0 1784807485 4259840 683 4294967295 134512640 134702520 3221223712 3221222608 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1040 683 413 48 0 992 0
[pid=5160] vsize: 4160
Current children cumulated CPU time (s) 475.93
Current children cumulated vsize (Kb) 6288

[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 712 0 0 0 16594 583 0 0 25 0 1 0 1784807485 4259840 683 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1040 683 413 48 0 992 0
[pid=5160] vsize: 4160
Current children cumulated CPU time (s) 485.69
Current children cumulated vsize (Kb) 6288

[startup+530.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 722 0 0 0 17478 622 0 0 25 0 1 0 1784807485 4259840 693 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1040 693 413 48 0 992 0
[pid=5160] vsize: 4160
Current children cumulated CPU time (s) 494.92
Current children cumulated vsize (Kb) 6288

[startup+540.047 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 729 0 0 0 18322 676 0 0 20 0 1 0 1784807485 4259840 700 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1040 700 413 48 0 992 0
[pid=5160] vsize: 4160
Current children cumulated CPU time (s) 503.9
Current children cumulated vsize (Kb) 6288

[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 740 0 0 0 19164 728 0 0 19 0 1 0 1784807485 4395008 711 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1073 711 413 48 0 1025 0
[pid=5160] vsize: 4292
Current children cumulated CPU time (s) 512.84
Current children cumulated vsize (Kb) 6420

[startup+560.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 742 0 0 0 20087 756 0 0 25 0 1 0 1784807485 4395008 713 4294967295 134512640 134702520 3221223712 3221222608 134553177 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1073 713 413 48 0 1025 0
[pid=5160] vsize: 4292
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (Kb) 6420

[startup+570.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 742 0 0 0 21016 779 0 0 21 0 1 0 1784807485 4395008 713 4294967295 134512640 134702520 3221223712 3221222736 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1073 713 413 48 0 1025 0
[pid=5160] vsize: 4292
Current children cumulated CPU time (s) 531.87
Current children cumulated vsize (Kb) 6420

[startup+580.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 750 0 0 0 21845 835 0 0 19 0 1 0 1784807485 4395008 721 4294967295 134512640 134702520 3221223712 3221222832 134584563 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1073 721 413 48 0 1025 0
[pid=5160] vsize: 4292
Current children cumulated CPU time (s) 540.72
Current children cumulated vsize (Kb) 6420

[startup+590.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 764 0 0 0 22662 893 0 0 25 0 1 0 1784807485 4395008 735 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1073 735 413 48 0 1025 0
[pid=5160] vsize: 4292
Current children cumulated CPU time (s) 549.47
Current children cumulated vsize (Kb) 6420

[startup+600.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5155 5155 1333 0 -1 0 778 0 0 0 23495 948 0 0 22 0 1 0 1784807485 4530176 749 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1106 749 413 48 0 1058 0
[pid=5160] vsize: 4424
Current children cumulated CPU time (s) 558.35
Current children cumulated vsize (Kb) 6552

[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 785 0 0 0 24392 981 0 0 25 0 1 0 1784807485 4530176 756 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 1106 756 413 48 0 1058 0
[pid=5160] vsize: 4424
Current children cumulated CPU time (s) 567.65
Current children cumulated vsize (Kb) 6552

[startup+620.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5160
Raw data (/proc/5155/stat): 5155 (vallstSAT2005PB) S 5154 5155 1333 0 -1 0 378 1365 0 0 1 1 30187 1203 19 0 1 0 1784773776 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5155/statm): 532 248 485 147 0 385 0
[pid=5155] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5155 5155 1333 0 -1 0 785 0 0 0 25214 1039 0 0 20 0 1 0 1784807485 4530176 756 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 1106 756 413 48 0 1058 0
[pid=5160] vsize: 4424
Current children cumulated CPU time (s) 576.45
Current children cumulated vsize (Kb) 6552
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=5160) exited with status: 2
New process pid=5161
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=5161) exited with status: 0
New process pid=5162
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
One traced child (pid=5162) exited with status: 0
New process pid=5163
open syscall for file /dev/null
execve syscall for /bin/grep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpcre.so.0
open syscall for file tls/i686/libpcre.so.0
open syscall for file tls/mmx/libpcre.so.0
open syscall for file tls/libpcre.so.0
open syscall for file i686/mmx/libpcre.so.0
open syscall for file i686/libpcre.so.0
open syscall for file mmx/libpcre.so.0
open syscall for file libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/libpcre.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libpcre.so.0
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 /oldhome/oroussel/tmp/wulflinc13/normalized-ii32b3.opb
One traced child (pid=5163) exited with status: 0
New process pid=5164
One traced child (pid=5164) exited with status: 127
New process pid=5165
New process pid=5166
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1517/stat
open syscall for file /proc/1517/status
open syscall for file /proc/1517/cmdline
open syscall for file /proc/1517/environ
open syscall for file /proc/1541/stat
open syscall for file /proc/1541/status
open syscall for file /proc/1541/cmdline
open syscall for file /proc/1541/environ
open syscall for file /proc/1564/stat
open syscall for file /proc/1564/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1564/cmdline
open syscall for file /proc/1564/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/22415/stat
open syscall for file /proc/22415/status
open syscall for file /proc/22415/cmdline
open syscall for file /proc/22415/environ
open syscall for file /proc/26525/stat
open syscall for file /proc/26525/status
open syscall for file /proc/26525/cmdline
open syscall for file /proc/26525/environ
open syscall for file /proc/26552/stat
open syscall for file /proc/26552/status
open syscall for file /proc/26552/cmdline
open syscall for file /proc/26552/environ
open syscall for file /proc/26576/stat
open syscall for file /proc/26576/status
open syscall for file /proc/26576/cmdline
open syscall for file /proc/26576/environ
open syscall for file /proc/16566/stat
open syscall for file /proc/16566/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/16566/cmdline
open syscall for file /proc/16566/environ
open syscall for file /proc/16602/stat
open syscall for file /proc/16602/status
open syscall for file /proc/16602/cmdline
open syscall for file /proc/16602/environ
open syscall for file /proc/1333/stat
open syscall for file /proc/1333/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1333/cmdline
open syscall for file /proc/1333/environ
open syscall for file /proc/1334/stat
open syscall for file /proc/1334/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1334/cmdline
open syscall for file /proc/1334/environ
open syscall for file /proc/1343/stat
open syscall for file /proc/1343/status
open syscall for file /proc/1343/cmdline
open syscall for file /proc/1343/environ
open syscall for file /proc/5118/stat
open syscall for file /proc/5118/status
open syscall for file /proc/5118/cmdline
open syscall for file /proc/5118/environ
open syscall for file /proc/5154/stat
open syscall for file /proc/5154/status
open syscall for file /proc/5154/cmdline
open syscall for file /proc/5154/environ
open syscall for file /proc/5155/stat
open syscall for file /proc/5155/status
open syscall for file /proc/5155/cmdline
open syscall for file /proc/5155/environ
open syscall for file /proc/5165/stat
open syscall for file /proc/5165/status
open syscall for file /proc/5165/cmdline
open syscall for file /proc/5165/environ
open syscall for file /proc/5166/stat
open syscall for file /proc/5166/status
open syscall for file /proc/5166/cmdline
open syscall for file /proc/5166/environ
One traced child (pid=5165) exited with status: 0
One traced child (pid=5166) exited with status: 0
New process pid=5167
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=5167) exited with status: 0
New process pid=5168
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=5168) exited with status: 0
One traced child (pid=5155) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 627.317
CPU time (s): 581.297
CPU user time (s): 557.822
CPU system time (s): 23.4744
CPU usage (%): 92.6639
Max. virtual memory (cumulated for all children) (Kb): 7172

Verifier Data

ERROR: no interpretation found !