Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb
MD5SUM75acdcffdd43b3d3a30d0459a6bffe45
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6106
Optimality of the best value was proved NO
Number of terms in the objective function 6774
Biggest coefficient in the objective function 4804
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 6613094
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 4804
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 6613094
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.34
Number of variables6774
Total number of constraints6824
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6824
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3729

Trace number 9214

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-23 11:42:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7966 boxname=wulflinc8 idbench=934 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  75acdcffdd43b3d3a30d0459a6bffe45  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-air02.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-air02.opb 0
IDLAUNCH: 7966
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.023
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.023
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:        944360 kB
Buffers:          9932 kB
Cached:          63168 kB
SwapCached:          0 kB
Active:          45412 kB
Inactive:        30644 kB
HighTotal:      131008 kB
HighFree:        63812 kB
LowTotal:       903652 kB
LowFree:        880548 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8644 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:49:10 (client local time) WITH STATUS 4 IN 413.528 SECONDS
stats: 7966 7 413.528 4

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 3944;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 101, #non-axs: 0
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:  6542119 (70974:>=*);
#decisions: 3944;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 101, #non-axs: 0
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:  6560637 (52456:>=*);
#decisions: 3968;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 101, #non-axs: 0
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:  6560985 (52108:>=*);
#decisions: 3956;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 101, #non-axs: 0
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:  6561006 (52087:>=*);
#decisions: 3949;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 101, #non-axs: 0
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:  6568781 (44312:>=*);
#decisions: 3930;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 101, #non-axs: 0
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:  6569133 (43960:>=*);
#decisions: 3927;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 101, #non-axs: 0
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:  6570037 (43056:>=*);
#decisions: 3925;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 101, #non-axs: 0
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:  6570057 (43036:>=*);
#decisions: 3946;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 101, #non-axs: 0
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:  6570110 (42983:>=*);
#decisions: 3990;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 101, #non-axs: 0
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:  6570130 (42963:>=*);
#decisions: 5146;  #end-nodes: 80;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 101, #non-axs: 0
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:  6587327 (25766:>=*);
#decisions: 1084;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 101, #non-axs: 0
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:  6587574 (25519:>=*);
#decisions: 1084;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 101, #non-axs: 0
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:  6588108 (24985:>=*);
#decisions: 1084;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 101, #non-axs: 0
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:  6588244 (24849:>=*);
#decisions: 1083;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589017 (24076:>=*);
#decisions: 1093;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589083 (24010:>=*);
#decisions: 1086;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589155 (23938:>=*);
#decisions: 1175;  #end-nodes: 71;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 71 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589174 (23919:>=*);
#decisions: 1147;  #end-nodes: 53;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589332 (23761:>=*);
#decisions: 1188;  #end-nodes: 77;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 77 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589426 (23667:>=*);
#decisions: 1234;  #end-nodes: 30;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589453 (23640:>=*);
#decisions: 1118;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589543 (23550:>=*);
#decisions: 1132;  #end-nodes: 56;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589579 (23514:>=*);
#decisions: 1297;  #end-nodes: 79;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 79 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589627 (23466:>=*);
#decisions: 1845;  #end-nodes: 84;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 3 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589739 (23354:>=*);
#decisions: 508;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589788 (23305:>=*);
#decisions: 517;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 101, #non-axs: 0
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:  6589827 (23266:>=*);
#decisions: 1875;  #end-nodes: 388;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 148 / 217 (80)
#axs: 101, #non-axs: 1
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:  6589887 (23206:>=*);
#decisions: 34;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 101, #non-axs: 1
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:  6589918 (23175:>=*);
#decisions: 50;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 101, #non-axs: 1
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:  6589993 (23100:>=*);
#decisions: 131;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 101, #non-axs: 1
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:  6590088 (23005:>=*);
#decisions: 168;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 101, #non-axs: 1
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:  6590208 (22885:>=*);
#decisions: 644;  #end-nodes: 104;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 24 / 80 (80)
#axs: 101, #non-axs: 1
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:  6590432 (22661:>=*);
#decisions: 406;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 101, #non-axs: 1
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:  6590481 (22612:>=*);
#decisions: 1393;  #end-nodes: 387;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 307 / 774 (80)
#axs: 101, #non-axs: 1
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:  6594788 (18305:>=*);
#decisions: 71;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 101, #non-axs: 1
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:  6595339 (17754:>=*);
#decisions: 51;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 101, #non-axs: 1
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:  6596260 (16833:>=*);
#decisions: 30;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 101, #non-axs: 1
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:  6596758 (16335:>=*);
#decisions: 38;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 101, #non-axs: 1
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:  6597513 (15580:>=*);
#decisions: 28;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 101, #non-axs: 1
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:  6598169 (14924:>=*);
#decisions: 45;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 101, #non-axs: 1
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:  6598599 (14494:>=*);
#decisions: 1873;  #end-nodes: 544;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 544 / 890 (80)
#axs: 101, #non-axs: 1
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:  6598623 (14470:>=*);
#decisions: 2186;  #end-nodes: 1318;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 1238 / 1628 (80)
#axs: 101, #non-axs: 32
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:  6598632 (14461:>=*);
#decisions: 271;  #end-nodes: 186;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 186 / 301 (80)
#axs: 101, #non-axs: 56
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:  6598698 (14395:>=*);
#decisions: 1450;  #end-nodes: 543;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 103 / 390 (80)
#axs: 101, #non-axs: 91
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:  6603889 (9204:>=*);
#decisions: 20;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 101, #non-axs: 91
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:  6605145 (7948:>=*);
#decisions: 25;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 101, #non-axs: 91
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:  6605472 (7621:>=*);
#decisions: 17;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 101, #non-axs: 91
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:  6605653 (7440:>=*);
#decisions: 22;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 86 (80)
#axs: 101, #non-axs: 91
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:  6605692 (7401:>=*);
#decisions: 35;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 90 (80)
#axs: 101, #non-axs: 91
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:  6605706 (7387:>=*);
#decisions: 19;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 101, #non-axs: 91
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:  6605887 (7206:>=*);
#decisions: 174;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 97 (80)
#axs: 101, #non-axs: 91
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:  6605897 (7196:>=*);
#decisions: 185;  #end-nodes: 20;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 20 / 80 (80)
#axs: 101, #non-axs: 91
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:  6606030 (7063:>=*);
#decisions: 187;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 101, #non-axs: 91
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:  6606115 (6978:>=*);
#decisions: 154;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 101, #non-axs: 91
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:  6606153 (6940:>=*);
#decisions: 153;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 101, #non-axs: 91
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:  6606258 (6835:>=*);
#decisions: 151;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 101, #non-axs: 91
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:  6606265 (6828:>=*);
#decisions: 210;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 101, #non-axs: 91
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:  6606369 (6724:>=*);
#decisions: 137;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 101, #non-axs: 91
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:  6606376 (6717:>=*);
#decisions: 199;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 101, #non-axs: 91
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:  6606402 (6691:>=*);
#decisions: 154;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 101, #non-axs: 91
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:  6606497 (6596:>=*);
#decisions: 325;  #end-nodes: 65;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 65 / 80 (80)
#axs: 101, #non-axs: 91
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:  6606597 (6496:>=*);
#decisions: 1891;  #end-nodes: 533;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 356 / 569 (80)
#axs: 101, #non-axs: 139
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:  6606641 (6452:>=*);
#decisions: 207;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 101, #non-axs: 139
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:  6606669 (6424:>=*);
#decisions: 226;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 101, #non-axs: 139
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:  6606850 (6243:>=*);
#decisions: 213;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 101, #non-axs: 139
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:  6606896 (6197:>=*);
#decisions: 166;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 101, #non-axs: 139
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:  6607077 (6016:>=*);
#decisions: 190;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 101, #non-axs: 139
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:  6607094 (5999:>=*);
#decisions: 193;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 101, #non-axs: 139
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:  6607109 (5984:>=*);
#decisions: 316;  #end-nodes: 60;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 60 / 80 (80)
#axs: 101, #non-axs: 139
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:  6607135 (5958:>=*);
#decisions: 163;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 101, #non-axs: 139
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:  6607200 (5893:>=*);
#decisions: 13496;  #end-nodes: 9483;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 281 / 496 (81)
#axs: 101, #non-axs: 3644
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:  6607227 (5866:>=*);
#decisions: 24679;  #end-nodes: 14537;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 196 / 673 (81)
#axs: 101, #non-axs: 7494
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:  6607483 (5610:>=*);
#decisions: 48;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 101, #non-axs: 7494
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:  6607664 (5429:>=*);
#decisions: 49;  #end-nodes: 2;
#proof improvement attemp
Conflict clause buffers need to be extended. This situation isn't taken
care of yet!!! Implement the extendConflictClauseBuffers function!!!
On the other hand, I don't think this situation will occur in practice.
If it does, please report it. It only happens because sizes have gotten
askew (way past a large window of values for sizes for the solver to
perform efficiently). You can fix this (both avoiding getting this error
message and getting the solver back to functioning more efficiently) by
setting a better buffer size. See buffer size related functions or
command line options.

Aborting and returning out-of-memory.

ts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 101, #non-axs: 7494
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:  6607749 (5344:>=*);
#decisions: 52;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 101, #non-axs: 7494
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:  6607763 (5330:>=*);
#decisions: 52;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 101, #non-axs: 7494
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:  6607944 (5149:>=*);
#decisions: 63;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 101, #non-axs: 7494
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:  6608114 (4979:>=*);
#decisions: 94;  #end-nodes: 39;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 39 / 80 (80)
#axs: 101, #non-axs: 7494
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:  6608170 (4923:>=*);
#decisions: 8514;  #end-nodes: 5345;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 5265 / 5563 (80)
#axs: 101, #non-axs: 9185
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:  6608177 (4916:>=*);
#decisions: 10400;  #end-nodes: 6155;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 5915 / 6330 (80)
#axs: 101, #non-axs: 10196
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:  6608241 (4852:>=*);
#decisions: 12617;  #end-nodes: 6525;
#proof improvement attempts: 0;  #restarts: 7
Current batch, end-nodes: 44 / 213 (81)
#axs: 101, #non-axs: 11687
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:  6608321 (4772:>=*);
#decisions: 3265;  #end-nodes: 1466;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 500 / 631 (80)
#axs: 101, #non-axs: 11815
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:  6608325 (4768:>=*);
#decisions: 31733;  #end-nodes: 10427;
#proof improvement attempts: 0;  #restarts: 22
Current batch, end-nodes: 1002 / 1503 (85)
#axs: 101, #non-axs: 10064
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6608366 (4727:>=*);
#decisions: 74881;  #end-nodes: 35208;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 735 / 1193 (81)
#axs: 101, #non-axs: 12981
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6608385 (4708:>=*);
#decisions: 36257;  #end-nodes: 16171;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 1178 / 1585 (81)
#axs: 101, #non-axs: 14272
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  6608390 (4703:>=*);
Model found with constant:
  (pushed:) 6608390 (4703:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: not enough memory (4)
seed: 0
Nr of vars set: 6592  (#equs: 0)
Time taken: 6 min, 53 sec
times:
0m0.016s 0m0.015s
6m47.955s 0m5.455s
s UNKNOWN

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/5573/stat): 5573 (vallstSAT2005PB) R 5572 5573 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19924935 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5573/statm): 174 3 169 147 0 27 0
[pid=5573] 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=5574
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=5574) exited with status: 0
New process pid=5575
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=5575) exited with status: 0
New process pid=5576
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/wulflinc8/normalized-mps-v2-13-7-air02.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0029 s]
Raw data (loadavg): 0.96 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 886 0 0 0 975 8 0 0 25 0 1 0 19924942 5636096 856 4294967295 134512640 134702520 3221223952 3221223216 134553118 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 1376 856 413 48 0 1328 0
[pid=5576] vsize: 5504
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 7632

[startup+20.0047 s]
Raw data (loadavg): 0.96 1.00 0.99 1/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 921 0 0 0 1940 19 0 0 25 0 1 0 19924942 10547200 891 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2575 891 413 48 0 2527 0
[pid=5576] vsize: 10300
Current children cumulated CPU time (s) 19.6
Current children cumulated vsize (Kb) 12428

[startup+30.0055 s]
Raw data (loadavg): 0.97 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 940 0 0 0 2840 53 0 0 25 0 1 0 19924942 10547200 910 4294967295 134512640 134702520 3221223952 3221223436 134608148 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2575 910 413 48 0 2527 0
[pid=5576] vsize: 10300
Current children cumulated CPU time (s) 28.94
Current children cumulated vsize (Kb) 12428

[startup+40.0063 s]
Raw data (loadavg): 0.97 1.00 0.99 1/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 1007 0 0 0 3736 89 0 0 25 0 1 0 19924942 10547200 977 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2575 977 413 48 0 2527 0
[pid=5576] vsize: 10300
Current children cumulated CPU time (s) 38.26
Current children cumulated vsize (Kb) 12428

[startup+50.0081 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2121 0 0 0 4662 116 0 0 25 0 1 0 19924942 10547200 2091 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5576/statm): 2575 2091 413 48 0 2527 0
[pid=5576] vsize: 10300
Current children cumulated CPU time (s) 47.79
Current children cumulated vsize (Kb) 12428

[startup+60.0088 s]
Raw data (loadavg): 0.98 1.00 0.99 1/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 2121 0 0 0 5626 131 0 0 18 0 1 0 19924942 10547200 2091 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5576/statm): 2575 2091 413 48 0 2527 0
[pid=5576] vsize: 10300
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (Kb) 12428

[startup+70.0107 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2121 0 0 0 6590 144 0 0 25 0 1 0 19924942 10547200 2091 4294967295 134512640 134702520 3221223952 3221223232 134550611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2575 2091 413 48 0 2527 0
[pid=5576] vsize: 10300
Current children cumulated CPU time (s) 67.35
Current children cumulated vsize (Kb) 12428

[startup+80.0114 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2146 0 0 0 7569 151 0 0 25 0 1 0 19924942 10547200 2116 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2575 2116 413 48 0 2527 0
[pid=5576] vsize: 10300
Current children cumulated CPU time (s) 77.21
Current children cumulated vsize (Kb) 12428

[startup+90.0122 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2181 0 0 0 8545 159 0 0 25 0 1 0 19924942 10547200 2151 4294967295 134512640 134702520 3221223952 3221223344 134603380 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2575 2151 413 48 0 2527 0
[pid=5576] vsize: 10300
Current children cumulated CPU time (s) 87.05
Current children cumulated vsize (Kb) 12428

[startup+100.013 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 2207 0 0 0 9519 169 0 0 25 0 1 0 19924942 10682368 2177 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5576/statm): 2608 2177 413 48 0 2560 0
[pid=5576] vsize: 10432
Current children cumulated CPU time (s) 96.89
Current children cumulated vsize (Kb) 12560

[startup+110.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2242 0 0 0 10498 176 0 0 25 0 1 0 19924942 10682368 2212 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5576/statm): 2608 2212 413 48 0 2560 0
[pid=5576] vsize: 10432
Current children cumulated CPU time (s) 106.75
Current children cumulated vsize (Kb) 12560

[startup+120.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2272 0 0 0 11474 184 0 0 25 0 1 0 19924942 10682368 2242 4294967295 134512640 134702520 3221223952 3221223232 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2608 2242 413 48 0 2560 0
[pid=5576] vsize: 10432
Current children cumulated CPU time (s) 116.59
Current children cumulated vsize (Kb) 12560

[startup+130.015 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 2285 0 0 0 12447 193 0 0 25 0 1 0 19924942 10682368 2255 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5576/statm): 2608 2255 413 48 0 2560 0
[pid=5576] vsize: 10432
Current children cumulated CPU time (s) 126.41
Current children cumulated vsize (Kb) 12560

[startup+140.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2289 0 0 0 13414 203 0 0 25 0 1 0 19924942 10817536 2259 4294967295 134512640 134702520 3221223952 3221223232 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2641 2259 413 48 0 2593 0
[pid=5576] vsize: 10564
Current children cumulated CPU time (s) 136.18
Current children cumulated vsize (Kb) 12692

[startup+150.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2318 0 0 0 14391 212 0 0 25 0 1 0 19924942 10817536 2288 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2641 2288 413 48 0 2593 0
[pid=5576] vsize: 10564
Current children cumulated CPU time (s) 146.04
Current children cumulated vsize (Kb) 12692

[startup+160.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2344 0 0 0 15366 222 0 0 25 0 1 0 19924942 10817536 2314 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2641 2314 413 48 0 2593 0
[pid=5576] vsize: 10564
Current children cumulated CPU time (s) 155.89
Current children cumulated vsize (Kb) 12692

[startup+170.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2359 0 0 0 16333 235 0 0 25 0 1 0 19924942 11481088 2329 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2803 2329 413 48 0 2755 0
[pid=5576] vsize: 11212
Current children cumulated CPU time (s) 165.69
Current children cumulated vsize (Kb) 13340

[startup+180.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2396 0 0 0 17312 242 0 0 25 0 1 0 19924942 11616256 2366 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5576/statm): 2836 2366 413 48 0 2788 0
[pid=5576] vsize: 11344
Current children cumulated CPU time (s) 175.55
Current children cumulated vsize (Kb) 13472

[startup+190.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2407 0 0 0 18288 250 0 0 25 0 1 0 19924942 11616256 2377 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5576/statm): 2836 2377 413 48 0 2788 0
[pid=5576] vsize: 11344
Current children cumulated CPU time (s) 185.39
Current children cumulated vsize (Kb) 13472

[startup+200.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2422 0 0 0 19250 263 0 0 25 0 1 0 19924942 11616256 2392 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2836 2392 413 48 0 2788 0
[pid=5576] vsize: 11344
Current children cumulated CPU time (s) 195.14
Current children cumulated vsize (Kb) 13472

[startup+210.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2431 0 0 0 20225 271 0 0 25 0 1 0 19924942 11788288 2401 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2878 2401 413 48 0 2830 0
[pid=5576] vsize: 11512
Current children cumulated CPU time (s) 204.97
Current children cumulated vsize (Kb) 13640

[startup+220.023 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 2435 0 0 0 21188 284 0 0 25 0 1 0 19924942 11788288 2405 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2878 2405 413 48 0 2830 0
[pid=5576] vsize: 11512
Current children cumulated CPU time (s) 214.73
Current children cumulated vsize (Kb) 13640

[startup+230.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2440 0 0 0 22117 309 0 0 25 0 1 0 19924942 11788288 2410 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5576/statm): 2878 2410 413 48 0 2830 0
[pid=5576] vsize: 11512
Current children cumulated CPU time (s) 224.27
Current children cumulated vsize (Kb) 13640

[startup+240.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2444 0 0 0 23075 323 0 0 25 0 1 0 19924942 11788288 2414 4294967295 134512640 134702520 3221223952 3221223172 134549061 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2878 2414 413 48 0 2830 0
[pid=5576] vsize: 11512
Current children cumulated CPU time (s) 233.99
Current children cumulated vsize (Kb) 13640

[startup+250.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2463 0 0 0 24036 336 0 0 25 0 1 0 19924942 11788288 2433 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2878 2433 413 48 0 2830 0
[pid=5576] vsize: 11512
Current children cumulated CPU time (s) 243.73
Current children cumulated vsize (Kb) 13640

[startup+260.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2468 0 0 0 24997 350 0 0 25 0 1 0 19924942 11923456 2438 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5576/statm): 2911 2438 413 48 0 2863 0
[pid=5576] vsize: 11644
Current children cumulated CPU time (s) 253.48
Current children cumulated vsize (Kb) 13772

[startup+270.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2474 0 0 0 25969 361 0 0 25 0 1 0 19924942 11923456 2444 4294967295 134512640 134702520 3221223952 3221223344 134604339 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2911 2444 413 48 0 2863 0
[pid=5576] vsize: 11644
Current children cumulated CPU time (s) 263.31
Current children cumulated vsize (Kb) 13772

[startup+280.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2478 0 0 0 26945 369 0 0 25 0 1 0 19924942 11923456 2448 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2911 2448 413 48 0 2863 0
[pid=5576] vsize: 11644
Current children cumulated CPU time (s) 273.15
Current children cumulated vsize (Kb) 13772

[startup+290.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 2482 0 0 0 27912 383 0 0 25 0 1 0 19924942 11923456 2452 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5576/statm): 2911 2452 413 48 0 2863 0
[pid=5576] vsize: 11644
Current children cumulated CPU time (s) 282.96
Current children cumulated vsize (Kb) 13772

[startup+300.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2485 0 0 0 28886 390 0 0 25 0 1 0 19924942 11923456 2455 4294967295 134512640 134702520 3221223952 3221223232 134552894 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2911 2455 413 48 0 2863 0
[pid=5576] vsize: 11644
Current children cumulated CPU time (s) 292.77
Current children cumulated vsize (Kb) 13772

[startup+310.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2488 0 0 0 29856 401 0 0 25 0 1 0 19924942 11923456 2458 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2911 2458 413 48 0 2863 0
[pid=5576] vsize: 11644
Current children cumulated CPU time (s) 302.58
Current children cumulated vsize (Kb) 13772

[startup+320.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2491 0 0 0 30826 411 0 0 24 0 1 0 19924942 11923456 2461 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5576/statm): 2911 2461 413 48 0 2863 0
[pid=5576] vsize: 11644
Current children cumulated CPU time (s) 312.38
Current children cumulated vsize (Kb) 13772

[startup+330.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2496 0 0 0 31789 425 0 0 25 0 1 0 19924942 11923456 2466 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2911 2466 413 48 0 2863 0
[pid=5576] vsize: 11644
Current children cumulated CPU time (s) 322.15
Current children cumulated vsize (Kb) 13772

[startup+340.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2501 0 0 0 32751 438 0 0 25 0 1 0 19924942 12062720 2471 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2945 2471 413 48 0 2897 0
[pid=5576] vsize: 11780
Current children cumulated CPU time (s) 331.9
Current children cumulated vsize (Kb) 13908

[startup+350.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2515 0 0 0 33713 452 0 0 25 0 1 0 19924942 12062720 2485 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2945 2485 413 48 0 2897 0
[pid=5576] vsize: 11780
Current children cumulated CPU time (s) 341.66
Current children cumulated vsize (Kb) 13908

[startup+360.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2519 0 0 0 34683 463 0 0 25 0 1 0 19924942 12062720 2489 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2945 2489 413 48 0 2897 0
[pid=5576] vsize: 11780
Current children cumulated CPU time (s) 351.47
Current children cumulated vsize (Kb) 13908

[startup+370.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2532 0 0 0 35637 480 0 0 25 0 1 0 19924942 12062720 2502 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2945 2502 413 48 0 2897 0
[pid=5576] vsize: 11780
Current children cumulated CPU time (s) 361.18
Current children cumulated vsize (Kb) 13908

[startup+380.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2535 0 0 0 36611 489 0 0 25 0 1 0 19924942 12062720 2505 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2945 2505 413 48 0 2897 0
[pid=5576] vsize: 11780
Current children cumulated CPU time (s) 371.01
Current children cumulated vsize (Kb) 13908

[startup+390.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2538 0 0 0 37575 502 0 0 25 0 1 0 19924942 12062720 2508 4294967295 134512640 134702520 3221223952 3221223232 134554417 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2945 2508 413 48 0 2897 0
[pid=5576] vsize: 11780
Current children cumulated CPU time (s) 380.78
Current children cumulated vsize (Kb) 13908

[startup+400.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2546 0 0 0 38538 514 0 0 25 0 1 0 19924942 12062720 2516 4294967295 134512640 134702520 3221223952 3221223232 134552284 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2945 2516 413 48 0 2897 0
[pid=5576] vsize: 11780
Current children cumulated CPU time (s) 390.53
Current children cumulated vsize (Kb) 13908

[startup+410.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 2550 0 0 0 39500 527 0 0 25 0 1 0 19924942 12062720 2520 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5576/statm): 2945 2520 413 48 0 2897 0
[pid=5576] vsize: 11780
Current children cumulated CPU time (s) 400.28
Current children cumulated vsize (Kb) 13908

[startup+420.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5576
Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5573/statm): 532 242 485 147 0 385 0
[pid=5573] vsize: 2128
Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2551 0 0 0 40463 538 0 0 25 0 1 0 19924942 12062720 2521 4294967295 134512640 134702520 3221223952 3221223072 134588357 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5576/statm): 2945 2521 413 48 0 2897 0
[pid=5576] vsize: 11780
Current children cumulated CPU time (s) 410.02
Current children cumulated vsize (Kb) 13908
One traced child (pid=5576) exited with status: 4
New process pid=5577
New process pid=5578
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5534/stat
open syscall for file /proc/5534/status
open syscall for file /proc/5534/cmdline
open syscall for file /proc/5534/environ
open syscall for file /proc/5572/stat
open syscall for file /proc/5572/status
open syscall for file /proc/5572/cmdline
open syscall for file /proc/5572/environ
open syscall for file /proc/5573/stat
open syscall for file /proc/5573/status
open syscall for file /proc/5573/cmdline
open syscall for file /proc/5573/environ
open syscall for file /proc/5577/stat
open syscall for file /proc/5577/status
open syscall for file /proc/5577/cmdline
open syscall for file /proc/5577/environ
open syscall for file /proc/5578/stat
open syscall for file /proc/5578/status
open syscall for file /proc/5578/cmdline
open syscall for file /proc/5578/environ
One traced child (pid=5577) exited with status: 0
One traced child (pid=5578) exited with status: 0
New process pid=5579
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=5579) exited with status: 0
New process pid=5580
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=5580) exited with status: 0
One traced child (pid=5573) exited with status: 4
All traced children have exited ! Game is over.

Child status: 4
Real time (s): 424.037
CPU time (s): 413.528
CPU user time (s): 408.003
CPU system time (s): 5.52516
CPU usage (%): 97.5218
Max. virtual memory (cumulated for all children) (Kb): 13908

Verifier Data

ERROR: no interpretation found !