Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
MD5SUMec9eb8bc5f0ce888f87dfc271da55db8
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -4944
Optimality of the best value was proved NO
Number of terms in the objective function 773
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 76861
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1999
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 76861
Number of bits of the biggest sum of numbers17
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.04
Number of variables11247
Total number of constraints19739
Number of constraints which are clauses77
Number of constraints which are cardinality constraints (but not clauses)15744
Number of constraints which are nor clauses,nor cardinality constraints3918
Minimum length of a constraint1
Maximum length of a constraint68

Trace number 4324

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        897624 kB
Buffers:         23464 kB
Cached:          85824 kB
SwapCached:        804 kB
Active:          40864 kB
Inactive:        70984 kB
HighTotal:      131008 kB
HighFree:        44884 kB
LowTotal:       903652 kB
LowFree:        852740 kB
SwapTotal:     2097892 kB
SwapFree:      2096456 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            19384 kB
Committed_AS:    64368 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 06:53:44 (client local time) WITH STATUS 3 IN 365.041 SECONDS
stats: 7615 7 365.041 3

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 354  (#equs: 73)
#decisions: 7256;  #end-nodes: 626;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 626 / 725 (80)
#axs: 13190, #non-axs: 487
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:  66004 (10856:>=*);
#decisions: 303;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13190, #non-axs: 487
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:  66184 (10676:>=*);
#decisions: 284;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13190, #non-axs: 487
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:  66229 (10631:>=*);
#decisions: 282;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 13190, #non-axs: 487
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:  66264 (10596:>=*);
#decisions: 284;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 13190, #non-axs: 487
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:  66309 (10551:>=*);
#decisions: 261;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 13190, #non-axs: 487
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:  66324 (10536:>=*);
#decisions: 280;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 13190, #non-axs: 487
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:  66369 (10491:>=*);
#decisions: 270;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 13190, #non-axs: 487
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:  66389 (10471:>=*);
#decisions: 259;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 13190, #non-axs: 487
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:  66399 (10461:>=*);
#decisions: 260;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 13190, #non-axs: 487
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:  66404 (10456:>=*);
#decisions: 62340;  #end-nodes: 8484;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 1572 / 1759 (80)
#axs: 13190, #non-axs: 5907
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:  66419 (10441:>=*);
#decisions: 49457;  #end-nodes: 6345;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 202 / 257 (81)
#axs: 13190, #non-axs: 9939
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:  66566 (10294:>=*);
#decisions: 311;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66581 (10279:>=*);
#decisions: 325;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66611 (10249:>=*);
#decisions: 310;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66626 (10234:>=*);
#decisions: 344;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66686 (10174:>=*);
#decisions: 325;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66711 (10149:>=*);
#decisions: 345;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66716 (10144:>=*);
#decisions: 303;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66726 (10134:>=*);
#decisions: 322;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66746 (10114:>=*);
#decisions: 343;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66766 (10094:>=*);
#decisions: 397;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66776 (10084:>=*);
#decisions: 691;  #end-nodes: 49;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 49 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66786 (10074:>=*);
#decisions: 461;  #end-nodes: 30;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66796 (10064:>=*);
#decisions: 684;  #end-nodes: 48;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 48 / 80 (80)
#axs: 13190, #non-axs: 9939
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:  66801 (10059:>=*);
#decisions: 49158;  #end-nodes: 5352;
#proof improvement attempts: 0;  #restarts: 9
Current batch, end-nodes: 757 / 794 (82)
#axs: 13190, #non-axs: 13124
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:  66806 (10054:>=*);
#decisions: 358;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 13190, #non-axs: 13124
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:  66816 (10044:>=*);
#decisions: 336;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 13190, #non-axs: 13124
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:  66826 (10034:>=*);
#decisions: 378;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 13190, #non-axs: 13124
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:  66831 (10029:>=*);
#decisions: 400;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 13190, #non-axs: 13124
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:  66841 (10019:>=*);
#decisions: 358;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 13190, #non-axs: 13124
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:  66851 (10009:>=*);
#decisions: 385;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 13190, #non-axs: 13125
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:  66856 (10004:>=*);
#decisions: 427;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 13190, #non-axs: 13125
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:  66861 (9999:>=*);
#decisions: 456;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 13190, #non-axs: 13125
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:  66871 (9989:>=*);
#decisions: 401;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 13190, #non-axs: 13125
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:  66881 (9979:>=*);
#decisions: 6142;  #end-nodes: 649;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 408 / 617 (80)
#axs: 13190, #non-axs: 13523
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:  66978 (9882:>=*);
#decisions: 412;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67158 (9702:>=*);
#decisions: 379;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67188 (9672:>=*);
#decisions: 360;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67203 (9657:>=*);
#decisions: 428;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67278 (9582:>=*);
#decisions: 379;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67308 (9552:>=*);
#decisions: 380;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67338 (9522:>=*);
#decisions: 374;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67368 (9492:>=*);
#decisions: 341;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67383 (9477:>=*);
#decisions: 372;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67403 (9457:>=*);
#decisions: 422;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67448 (9412:>=*);
#decisions: 357;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67463 (9397:>=*);
#decisions: 417;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67503 (9357:>=*);
#decisions: 388;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67533 (9327:>=*);
#decisions: 547;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 13190, #non-axs: 13523
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:  67538 (9322:>=*);
#decisions: 195792;  #end-nodes: 20956;
#proof improvement attempts: 0;  #restarts: 24
Current batch, end-nodes: 366 / 481 (86)
#axs: 13235, #non-axs: 22010
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:  67805 (9055:>=*);
#decisions: 590;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 13235, #non-axs: 22010
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:  67815 (9045:>=*);
#decisions: 577;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 13235, #non-axs: 22010
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:  67825 (9035:>=*);
#decisions: 584;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 13235, #non-axs: 22010
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:  67830 (9030:>=*);
#decisions: 467;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 13235, #non-axs: 22010
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:  67835 (9025:>=*);
#decisions: 500;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 13235, #non-axs: 22010
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:  67875 (8985:>=*);
#decisions: 530;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 13235, #non-axs: 22010
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:  67880 (8980:>=*);
#decisions: 459;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 13235, #non-axs: 22010
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:  67885 (8975:>=*);
#decisions: 443;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 13235, #non-axs: 22010
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:  67890 (8970:>=*);
#decisions: 242116;  #end-nodes: 28352;
#proof improvement attempts: 0;  #restarts: 36
Current batch, end-nodes: 417 / 565 (89)
#axs: 13271, #non-axs: 35210
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:  67891 (8969:>=*);
#decisions: 614;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 13271, #non-axs: 35210
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:  67896 (8964:>=*);
#decisions: 801;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 13271, #non-axs: 35210
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:  67901 (8959:>=*);
#decisions: 14774;  #end-nodes: 1846;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 94 / 114 (81)
#axs: 13271, #non-axs: 36141
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:  67905 (8955:>=*);
#decisions: 810;  #end-nodes: 60;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 60 / 80 (80)
#axs: 13271, #non-axs: 36141
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:  67915 (8945:>=*);
#decisions: 620;  #end-nodes: 48;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 48 / 80 (80)
#axs: 13271, #non-axs: 36141
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:  67920 (8940:>=*);
#decisions: 58241;  #end-nodes: 6409;
#proof improvement attempts: 0;  #restarts: 18
Current batch, end-nodes: 285 / 392 (84)
#axs: 13272, #non-axs: 39095
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:  68269 (8591:>=*);
#decisions: 481;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68329 (8531:>=*);
#decisions: 378;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68334 (8526:>=*);
#decisions: 425;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68344 (8516:>=*);
#decisions: 369;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68349 (8511:>=*);
#decisions: 406;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68354 (8506:>=*);
#decisions: 413;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68359 (8501:>=*);
#decisions: 462;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68364 (8496:>=*);
#decisions: 482;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68369 (8491:>=*);
#decisions: 425;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68379 (8481:>=*);
#decisions: 597;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68389 (8471:>=*);
#decisions: 681;  #end-nodes: 50;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 50 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68394 (8466:>=*);
#decisions: 523;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68404 (8456:>=*);
#decisions: 506;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68409 (8451:>=*);
#decisions: 512;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68414 (8446:>=*);
#decisions: 413;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68419 (8441:>=*);
#decisions: 518;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68424 (8436:>=*);
#decisions: 509;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68429 (8431:>=*);
#decisions: 439;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68434 (8426:>=*);
#decisions: 861;  #end-nodes: 68;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 68 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68439 (8421:>=*);
#decisions: 702;  #end-nodes: 73;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 73 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68444 (8416:>=*);
#decisions: 439;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68449 (8411:>=*);
#decisions: 404;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68459 (8401:>=*);
#decisions: 437;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 13272, #non-axs: 39095
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:  68469 (8391:>=*);
#decisions: 377884;  #end-nodes: 39508;
#proof improvement attempts: 0;  #restarts: 79
Current batch, end-nodes: 268 / 312 (99)
#axs: 13280, #non-axs: 48993
tight: meta-meta: start: 6, end: 9;  meta: start: 8, end (keep): 13
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68482 (8378:>=*);
#decisions: 949;  #end-nodes: 58;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 58 / 80 (80)
#axs: 13280, #non-axs: 48993
tight: meta-meta: start: 6, end: 9;  meta: start: 8, end (keep): 13
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68492 (8368:>=*);
#decisions: 521;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 13280, #non-axs: 48993
tight: meta-meta: start: 6, end: 9;  meta: start: 8, end (keep): 13
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68497 (8363:>=*);
#decisions: 82999;  #end-nodes: 7937;
#proof improvement attempts: 0;  #restarts: 20
Current batch, end-nodes: 569 / 580 (85)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68499 (8361:>=*);
#decisions: 397;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68509 (8351:>=*);
#decisions: 499;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68514 (8346:>=*);
#decisions: 493;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68519 (8341:>=*);
#decisions: 400;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68529 (8331:>=*);
#decisions: 408;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68539 (8321:>=*);
#decisions: 397;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68549 (8311:>=*);
#decisions: 429;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68559 (8301:>=*);
#decisions: 403;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68569 (8291:>=*);
#decisions: 409;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68579 (8281:>=*);
#decisions: 486;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68599 (8261:>=*);
#decisions: 437;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68609 (8251:>=*);
#decisions: 502;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68619 (8241:>=*);
#decisions: 480;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68624 (8236:>=*);
#decisions: 636;  #end-nodes: 30;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68634 (8226:>=*);
#decisions: 848;  #end-nodes: 49;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 49 / 80 (80)
#axs: 13280, #non-axs: 47671
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  68639 (8221:>=*);
#decisions: 421064;  #end-nodes: 40909;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 560 (103)
#axs: 13353, #non-axs: 39456
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 68639 (8221:>=*)

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: 3071  (#equs: 236)
Time taken: 6 min, 41 sec

2:
seed: 0
Nr of vars set: 3071  (#equs: 0)
Nr of vars set: 3072  (#equs: 2)
#decisions: 28255;  #end-nodes: 2451;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 234 / 282 (121)
#axs: 10784, #non-axs: 40050
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  63144 (7716:>=*);
#decisions: 32403;  #end-nodes: 3134;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 811 / 986 (121)
#axs: 10784, #non-axs: 41123
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63164 (7696:>=*);
#decisions: 12516;  #end-nodes: 1105;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 597 / 683 (120)
#axs: 10784, #non-axs: 41387
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63174 (7686:>=*);
#decisions: 85224;  #end-nodes: 7784;
#proof improvement attempts: 0;  #restarts: 14
Current batch, end-nodes: 98 / 296 (123)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63177 (7683:>=*);
#decisions: 640;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63182 (7678:>=*);
#decisions: 712;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63222 (7638:>=*);
#decisions: 798;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63227 (7633:>=*);
#decisions: 723;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63232 (7628:>=*);
#decisions: 715;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63237 (7623:>=*);
#decisions: 642;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63242 (7618:>=*);
#decisions: 721;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63282 (7578:>=*);
#decisions: 823;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63297 (7563:>=*);
#decisions: 748;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63302 (7558:>=*);
#decisions: 754;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63312 (7548:>=*);
#decisions: 724;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63317 (7543:>=*);
#decisions: 781;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63332 (7528:>=*);
#decisions: 764;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63337 (7523:>=*);
#decisions: 746;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63342 (7518:>=*);
#decisions: 701;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63347 (7513:>=*);
#decisions: 708;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63352 (7508:>=*);
#decisions: 1026;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63367 (7493:>=*);
#decisions: 1075;  #end-nodes: 45;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 45 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63372 (7488:>=*);
#decisions: 675;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63382 (7478:>=*);
#decisions: 691;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63387 (7473:>=*);
#decisions: 923;  #end-nodes: 56;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 56 / 120 (120)
#axs: 10784, #non-axs: 43900
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63392 (7468:>=*);
#decisions: 1273457;  #end-nodes: 124573;
#proof improvement attempts: 0;  #restarts: 157
Current batch, end-nodes: 455 / 479 (159)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63436 (7424:>=*);
#decisions: 466;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63456 (7404:>=*);
#decisions: 439;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63461 (7399:>=*);
#decisions: 462;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63486 (7374:>=*);
#decisions: 463;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63501 (7359:>=*);
#decisions: 665;  #end-nodes: 45;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 45 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63506 (7354:>=*);
#decisions: 640;  #end-nodes: 40;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 40 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63511 (7349:>=*);
#decisions: 468;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63521 (7339:>=*);
#decisions: 578;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63526 (7334:>=*);
#decisions: 434;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63536 (7324:>=*);
#decisions: 579;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63541 (7319:>=*);
#decisions: 451;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63551 (7309:>=*);
#decisions: 681;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63556 (7304:>=*);
#decisions: 451;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63566 (7294:>=*);
#decisions: 522;  #end-nodes: 36;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 36 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63571 (7289:>=*);
#decisions: 491;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63581 (7279:>=*);
#decisions: 639;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63596 (7264:>=*);
#decisions: 501;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63606 (7254:>=*);
#decisions: 543;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63621 (7239:>=*);
#decisions: 707;  #end-nodes: 36;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 36 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63626 (7234:>=*);
#decisions: 591;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63641 (7219:>=*);
#decisions: 724;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63651 (7209:>=*);
#decisions: 744;  #end-nodes: 44;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 44 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63666 (7194:>=*);
#decisions: 464;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63676 (7184:>=*);
#decisions: 498;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63686 (7174:>=*);
#decisions: 458;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63691 (7169:>=*);
#decisions: 825;  #end-nodes: 62;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 62 / 120 (120)
#axs: 10800, #non-axs: 38778
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  63701 (7159:>=*);
#decisions: 35231;  #end-nodes: 3140;
#proof improvement attempts: 0;  #restarts: 10
Current batch, end-nodes: 244 / 265 (122)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64175 (6685:>=*);
#decisions: 959;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64220 (6640:>=*);
#decisions: 891;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64235 (6625:>=*);
#decisions: 912;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64340 (6520:>=*);
#decisions: 919;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64355 (6505:>=*);
#decisions: 910;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64415 (6445:>=*);
#decisions: 923;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64450 (6410:>=*);
#decisions: 875;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64455 (6405:>=*);
#decisions: 840;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64470 (6390:>=*);
#decisions: 864;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64480 (6380:>=*);
#decisions: 859;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64490 (6370:>=*);
#decisions: 851;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64500 (6360:>=*);
#decisions: 853;  #end-nodes: 34;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 34 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64505 (6355:>=*);
#decisions: 848;  #end-nodes: 36;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 36 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64510 (6350:>=*);
#decisions: 943;  #end-nodes: 75;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 75 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64525 (6335:>=*);
#decisions: 987;  #end-nodes: 53;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 53 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64530 (6330:>=*);
#decisions: 1034;  #end-nodes: 98;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 98 / 120 (120)
#axs: 10800, #non-axs: 39159
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  64540 (6320:>=*);
#decisions: 612098;  #end-nodes: 58766;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 695 (143)
#axs: 10807, #non-axs: 32646
tight: meta-meta: start: 3, end: 4;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 64540 (6320:>=*)

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: 3184  (#equs: 25)
Time taken: 7 min, 20 sec

3:

Error: out-theory file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf couldn't be opened.
No such file or directory


Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory

seed: 0
Nr of vars set: 3184  (#equs: 0)
Nr of vars set: 3184  (#equs: 1)
Interupt request received.
#decisions: 1533876;  #end-nodes: 163649;
#proof improvement attempts: 0;  #restarts: 272
Current batch, end-nodes: 0 / 228 (228)
#axs: 10668, #non-axs: 61447
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12;  meta: start: 23, end (keep): 38
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3225  (#equs: 10)
Time taken: 6 min, 5 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) R 3645 3646 20602 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1725022519 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3646/statm): 174 3 169 147 0 27 0
[pid=3646] 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=3647
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=3647) exited with status: 0
New process pid=3648
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=3648) exited with status: 0
New process pid=3649
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/wulflinc21/normalized-mps-v2-20-10-mzzv11.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0026 s]
Raw data (loadavg): 0.93 0.96 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1325 0 0 0 889 38 0 0 25 0 1 0 1725022526 7524352 1223 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 1837 1223 413 48 0 1789 0
[pid=3649] vsize: 7348
Current children cumulated CPU time (s) 9.28
Current children cumulated vsize (Kb) 9476

[startup+20.0033 s]
Raw data (loadavg): 0.94 0.96 0.98 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 1353 0 0 0 1787 74 0 0 21 0 1 0 1725022526 14778368 1251 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3649/statm): 3608 1251 413 48 0 3560 0
[pid=3649] vsize: 14432
Current children cumulated CPU time (s) 18.62
Current children cumulated vsize (Kb) 16560

[startup+30.004 s]
Raw data (loadavg): 0.95 0.96 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1513 0 0 0 2577 146 0 0 21 0 1 0 1725022526 14778368 1411 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 3608 1411 413 48 0 3560 0
[pid=3649] vsize: 14432
Current children cumulated CPU time (s) 27.24
Current children cumulated vsize (Kb) 16560

[startup+40.0047 s]
Raw data (loadavg): 0.96 0.96 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1604 0 0 0 3381 211 0 0 23 0 1 0 1725022526 14778368 1502 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 3608 1502 413 48 0 3560 0
[pid=3649] vsize: 14432
Current children cumulated CPU time (s) 35.93
Current children cumulated vsize (Kb) 16560

[startup+50.0063 s]
Raw data (loadavg): 0.96 0.96 0.98 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 1639 0 0 0 4177 277 0 0 21 0 1 0 1725022526 14778368 1537 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3649/statm): 3608 1537 413 48 0 3560 0
[pid=3649] vsize: 14432
Current children cumulated CPU time (s) 44.55
Current children cumulated vsize (Kb) 16560

[startup+60.007 s]
Raw data (loadavg): 0.97 0.96 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1668 0 0 0 4985 341 0 0 23 0 1 0 1725022526 14778368 1566 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 3608 1566 413 48 0 3560 0
[pid=3649] vsize: 14432
Current children cumulated CPU time (s) 53.27
Current children cumulated vsize (Kb) 16560

[startup+70.0077 s]
Raw data (loadavg): 0.97 0.96 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1713 0 0 0 5789 404 0 0 20 0 1 0 1725022526 14913536 1611 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 3641 1611 413 48 0 3593 0
[pid=3649] vsize: 14564
Current children cumulated CPU time (s) 61.94
Current children cumulated vsize (Kb) 16692

[startup+80.0084 s]
Raw data (loadavg): 0.98 0.96 0.98 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1763 0 0 0 6594 472 0 0 22 0 1 0 1725022526 14913536 1661 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 3641 1661 413 48 0 3593 0
[pid=3649] vsize: 14564
Current children cumulated CPU time (s) 70.67
Current children cumulated vsize (Kb) 16692

[startup+90.0091 s]
Raw data (loadavg): 0.98 0.97 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1841 0 0 0 7422 533 0 0 23 0 1 0 1725022526 16166912 1739 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 3947 1739 413 48 0 3899 0
[pid=3649] vsize: 15788
Current children cumulated CPU time (s) 79.56
Current children cumulated vsize (Kb) 17916

[startup+100.01 s]
Raw data (loadavg): 0.98 0.97 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1854 0 0 0 8228 594 0 0 17 0 1 0 1725022526 16166912 1752 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 3947 1752 413 48 0 3899 0
[pid=3649] vsize: 15788
Current children cumulated CPU time (s) 88.23
Current children cumulated vsize (Kb) 17916

[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.98 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1865 0 0 0 9049 657 0 0 22 0 1 0 1725022526 16166912 1763 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 3947 1763 413 48 0 3899 0
[pid=3649] vsize: 15788
Current children cumulated CPU time (s) 97.07
Current children cumulated vsize (Kb) 17916

[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1908 0 0 0 9871 717 0 0 24 0 1 0 1725022526 16302080 1806 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 3980 1806 413 48 0 3932 0
[pid=3649] vsize: 15920
Current children cumulated CPU time (s) 105.89
Current children cumulated vsize (Kb) 18048

[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1958 0 0 0 10686 780 0 0 17 0 1 0 1725022526 16302080 1856 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 3980 1856 413 48 0 3932 0
[pid=3649] vsize: 15920
Current children cumulated CPU time (s) 114.67
Current children cumulated vsize (Kb) 18048

[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1978 0 0 0 11534 833 0 0 23 0 1 0 1725022526 16437248 1876 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3649/statm): 4013 1876 413 48 0 3965 0
[pid=3649] vsize: 16052
Current children cumulated CPU time (s) 123.68
Current children cumulated vsize (Kb) 18180

[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 1990 0 0 0 12363 890 0 0 23 0 1 0 1725022526 16437248 1888 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4013 1888 413 48 0 3965 0
[pid=3649] vsize: 16052
Current children cumulated CPU time (s) 132.54
Current children cumulated vsize (Kb) 18180

[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2030 0 0 0 13223 936 0 0 22 0 1 0 1725022526 16609280 1928 4294967295 134512640 134702520 3221223952 3221223232 134553035 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4055 1928 413 48 0 4007 0
[pid=3649] vsize: 16220
Current children cumulated CPU time (s) 141.6
Current children cumulated vsize (Kb) 18348

[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2053 0 0 0 14062 991 0 0 22 0 1 0 1725022526 16609280 1951 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4055 1951 413 48 0 4007 0
[pid=3649] vsize: 16220
Current children cumulated CPU time (s) 150.54
Current children cumulated vsize (Kb) 18348

[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2098 0 0 0 14893 1049 0 0 24 0 1 0 1725022526 16609280 1996 4294967295 134512640 134702520 3221223952 3221223232 134557280 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4055 1996 413 48 0 4007 0
[pid=3649] vsize: 16220
Current children cumulated CPU time (s) 159.43
Current children cumulated vsize (Kb) 18348

[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2128 0 0 0 15740 1104 0 0 20 0 1 0 1725022526 16797696 2026 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3649/statm): 4101 2026 413 48 0 4053 0
[pid=3649] vsize: 16404
Current children cumulated CPU time (s) 168.45
Current children cumulated vsize (Kb) 18532

[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2154 0 0 0 16573 1161 0 0 23 0 1 0 1725022526 16797696 2052 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3649/statm): 4101 2052 413 48 0 4053 0
[pid=3649] vsize: 16404
Current children cumulated CPU time (s) 177.35
Current children cumulated vsize (Kb) 18532

[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.98 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2200 0 0 0 17436 1208 0 0 25 0 1 0 1725022526 16814080 2098 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3649/statm): 4105 2098 413 48 0 4057 0
[pid=3649] vsize: 16420
Current children cumulated CPU time (s) 186.45
Current children cumulated vsize (Kb) 18548

[startup+220.018 s]
Raw data (loadavg): 1.07 0.99 0.99 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2211 0 0 0 18272 1264 0 0 24 0 1 0 1725022526 16814080 2109 4294967295 134512640 134702520 3221223952 3221223232 134557229 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4105 2109 413 48 0 4057 0
[pid=3649] vsize: 16420
Current children cumulated CPU time (s) 195.37
Current children cumulated vsize (Kb) 18548

[startup+230.019 s]
Raw data (loadavg): 1.06 0.99 0.99 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2252 0 0 0 19106 1321 0 0 25 0 1 0 1725022526 16949248 2150 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4138 2150 413 48 0 4090 0
[pid=3649] vsize: 16552
Current children cumulated CPU time (s) 204.28
Current children cumulated vsize (Kb) 18680

[startup+240.019 s]
Raw data (loadavg): 1.05 0.99 0.99 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2266 0 0 0 19976 1367 0 0 23 0 1 0 1725022526 16953344 2164 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4139 2164 413 48 0 4091 0
[pid=3649] vsize: 16556
Current children cumulated CPU time (s) 213.44
Current children cumulated vsize (Kb) 18684

[startup+250.021 s]
Raw data (loadavg): 1.04 0.99 0.99 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2273 0 0 0 20805 1428 0 0 21 0 1 0 1725022526 16953344 2171 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4139 2171 413 48 0 4091 0
[pid=3649] vsize: 16556
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (Kb) 18684

[startup+260.022 s]
Raw data (loadavg): 1.03 0.99 0.99 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2284 0 0 0 21660 1477 0 0 21 0 1 0 1725022526 17121280 2182 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4180 2182 413 48 0 4132 0
[pid=3649] vsize: 16720
Current children cumulated CPU time (s) 231.38
Current children cumulated vsize (Kb) 18848

[startup+270.022 s]
Raw data (loadavg): 1.03 0.99 0.99 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2293 0 0 0 22510 1527 0 0 25 0 1 0 1725022526 17129472 2191 4294967295 134512640 134702520 3221223952 3221179888 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4182 2191 413 48 0 4134 0
[pid=3649] vsize: 16728
Current children cumulated CPU time (s) 240.38
Current children cumulated vsize (Kb) 18856

[startup+280.023 s]
Raw data (loadavg): 1.02 0.99 0.99 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2301 0 0 0 23351 1577 0 0 17 0 1 0 1725022526 17129472 2199 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3649/statm): 4182 2199 413 48 0 4134 0
[pid=3649] vsize: 16728
Current children cumulated CPU time (s) 249.29
Current children cumulated vsize (Kb) 18856

[startup+290.024 s]
Raw data (loadavg): 1.02 0.99 0.99 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2307 0 0 0 24175 1635 0 0 20 0 1 0 1725022526 17129472 2205 4294967295 134512640 134702520 3221223952 3221223232 134552768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3649/statm): 4182 2205 413 48 0 4134 0
[pid=3649] vsize: 16728
Current children cumulated CPU time (s) 258.11
Current children cumulated vsize (Kb) 18856

[startup+300.024 s]
Raw data (loadavg): 1.02 0.99 0.99 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2313 0 0 0 25004 1694 0 0 25 0 1 0 1725022526 17129472 2211 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4182 2211 413 48 0 4134 0
[pid=3649] vsize: 16728
Current children cumulated CPU time (s) 266.99
Current children cumulated vsize (Kb) 18856

[startup+310.025 s]
Raw data (loadavg): 1.01 0.99 0.99 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2377 0 0 0 25891 1731 0 0 19 0 1 0 1725022526 17465344 2275 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4264 2275 413 48 0 4216 0
[pid=3649] vsize: 17056
Current children cumulated CPU time (s) 276.23
Current children cumulated vsize (Kb) 19184

[startup+320.026 s]
Raw data (loadavg): 1.01 0.99 0.99 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2381 0 0 0 26716 1791 0 0 22 0 1 0 1725022526 17465344 2279 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4264 2279 413 48 0 4216 0
[pid=3649] vsize: 17056
Current children cumulated CPU time (s) 285.08
Current children cumulated vsize (Kb) 19184

[startup+330.026 s]
Raw data (loadavg): 1.08 1.00 0.99 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2388 0 0 0 27543 1847 0 0 19 0 1 0 1725022526 17465344 2286 4294967295 134512640 134702520 3221223952 3221212048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3649/statm): 4264 2286 413 48 0 4216 0
[pid=3649] vsize: 17056
Current children cumulated CPU time (s) 293.91
Current children cumulated vsize (Kb) 19184

[startup+340.027 s]
Raw data (loadavg): 1.07 1.00 0.99 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2394 0 0 0 28417 1887 0 0 21 0 1 0 1725022526 17473536 2292 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3649/statm): 4266 2292 413 48 0 4218 0
[pid=3649] vsize: 17064
Current children cumulated CPU time (s) 303.05
Current children cumulated vsize (Kb) 19192

[startup+350.028 s]
Raw data (loadavg): 1.06 1.00 0.99 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2398 0 0 0 29250 1946 0 0 25 0 1 0 1725022526 17473536 2296 4294967295 134512640 134702520 3221223952 3221175568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3649/statm): 4266 2296 413 48 0 4218 0
[pid=3649] vsize: 17064
Current children cumulated CPU time (s) 311.97
Current children cumulated vsize (Kb) 19192

[startup+360.029 s]
Raw data (loadavg): 1.05 1.00 0.99 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2436 0 0 0 30114 1989 0 0 22 0 1 0 1725022526 17612800 2334 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3649/statm): 4300 2334 413 48 0 4252 0
[pid=3649] vsize: 17200
Current children cumulated CPU time (s) 321.04
Current children cumulated vsize (Kb) 19328

[startup+370.029 s]
Raw data (loadavg): 1.04 1.00 0.99 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2436 0 0 0 30956 2043 0 0 25 0 1 0 1725022526 17612800 2334 4294967295 134512640 134702520 3221223952 3221100048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4300 2334 413 48 0 4252 0
[pid=3649] vsize: 17200
Current children cumulated CPU time (s) 330
Current children cumulated vsize (Kb) 19328

[startup+380.03 s]
Raw data (loadavg): 1.03 1.00 0.99 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2436 0 0 0 31800 2095 0 0 19 0 1 0 1725022526 17612800 2334 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4300 2334 413 48 0 4252 0
[pid=3649] vsize: 17200
Current children cumulated CPU time (s) 338.96
Current children cumulated vsize (Kb) 19328

[startup+390.031 s]
Raw data (loadavg): 1.03 1.00 0.99 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2436 0 0 0 32653 2145 0 0 25 0 1 0 1725022526 17612800 2334 4294967295 134512640 134702520 3221223952 3221077648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4300 2334 413 48 0 4252 0
[pid=3649] vsize: 17200
Current children cumulated CPU time (s) 347.99
Current children cumulated vsize (Kb) 19328

[startup+400.031 s]
Raw data (loadavg): 1.02 1.00 0.99 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2437 0 0 0 33486 2202 0 0 22 0 1 0 1725022526 17719296 2335 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4326 2335 413 48 0 4278 0
[pid=3649] vsize: 17304
Current children cumulated CPU time (s) 356.89
Current children cumulated vsize (Kb) 19432

[startup+410.032 s]
Raw data (loadavg): 1.02 1.00 0.99 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2438 0 0 0 34301 2264 0 0 23 0 1 0 1725022526 17719296 2336 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3649/statm): 4326 2336 413 48 0 4278 0
[pid=3649] vsize: 17304
Current children cumulated CPU time (s) 365.66
Current children cumulated vsize (Kb) 19432

[startup+420.033 s]
Raw data (loadavg): 1.02 1.00 0.99 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2442 0 0 0 35178 2302 0 0 21 0 1 0 1725022526 17723392 2340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4327 2340 413 48 0 4279 0
[pid=3649] vsize: 17308
Current children cumulated CPU time (s) 374.81
Current children cumulated vsize (Kb) 19436

[startup+430.034 s]
Raw data (loadavg): 1.01 1.00 0.99 1/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2445 0 0 0 36002 2362 0 0 19 0 1 0 1725022526 17723392 2343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4327 2343 413 48 0 4279 0
[pid=3649] vsize: 17308
Current children cumulated CPU time (s) 383.65
Current children cumulated vsize (Kb) 19436

[startup+440.035 s]
Raw data (loadavg): 1.01 1.00 0.99 2/58 3649
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 242 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2448 0 0 0 36931 2386 0 0 25 0 1 0 1725022526 17723392 2346 4294967295 134512640 134702520 3221223952 3221125948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3649/statm): 4327 2346 413 48 0 4279 0
[pid=3649] vsize: 17308
Current children cumulated CPU time (s) 393.18
Current children cumulated vsize (Kb) 19436
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=3649) exited with status: 2
New process pid=3650
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=3650) exited with status: 0
New process pid=3651
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+450.036 s]
Raw data (loadavg): 1.01 1.00 0.99 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 147 0 0 0 50 3 0 0 24 0 1 0 1725067472 1859584 118 4294967295 134512640 134702520 3221223712 3221223392 134634159 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3651/statm): 454 118 413 48 0 406 0
[pid=3651] vsize: 1816
Current children cumulated CPU time (s) 402.84
Current children cumulated vsize (Kb) 3944

[startup+460.036 s]
Raw data (loadavg): 1.01 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1596 0 0 0 1000 23 0 0 25 0 1 0 1725067472 9322496 1566 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 2276 1566 413 48 0 2228 0
[pid=3651] vsize: 9104
Current children cumulated CPU time (s) 412.54
Current children cumulated vsize (Kb) 11232

[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1647 0 0 0 1908 57 0 0 20 0 1 0 1725067472 18432000 1617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4500 1617 413 48 0 4452 0
[pid=3651] vsize: 18000
Current children cumulated CPU time (s) 421.96
Current children cumulated vsize (Kb) 20128

[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1704 0 0 0 2702 125 0 0 20 0 1 0 1725067472 18571264 1674 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4534 1674 413 48 0 4486 0
[pid=3651] vsize: 18136
Current children cumulated CPU time (s) 430.58
Current children cumulated vsize (Kb) 20264

[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1731 0 0 0 3487 192 0 0 22 0 1 0 1725067472 18571264 1701 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4534 1701 413 48 0 4486 0
[pid=3651] vsize: 18136
Current children cumulated CPU time (s) 439.1
Current children cumulated vsize (Kb) 20264

[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1762 0 0 0 4269 268 0 0 18 0 1 0 1725067472 18571264 1732 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4534 1732 413 48 0 4486 0
[pid=3651] vsize: 18136
Current children cumulated CPU time (s) 447.68
Current children cumulated vsize (Kb) 20264

[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1784 0 0 0 5038 347 0 0 22 0 1 0 1725067472 18706432 1754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4567 1754 413 48 0 4519 0
[pid=3651] vsize: 18268
Current children cumulated CPU time (s) 456.16
Current children cumulated vsize (Kb) 20396

[startup+520.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1817 0 0 0 5839 414 0 0 19 0 1 0 1725067472 18706432 1787 4294967295 134512640 134702520 3221223712 3221213228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4567 1787 413 48 0 4519 0
[pid=3651] vsize: 18268
Current children cumulated CPU time (s) 464.84
Current children cumulated vsize (Kb) 20396

[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1824 0 0 0 6704 459 0 0 22 0 1 0 1725067472 18710528 1794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4568 1794 413 48 0 4520 0
[pid=3651] vsize: 18272
Current children cumulated CPU time (s) 473.94
Current children cumulated vsize (Kb) 20400

[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1834 0 0 0 7488 532 0 0 23 0 1 0 1725067472 18845696 1804 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4601 1804 413 48 0 4553 0
[pid=3651] vsize: 18404
Current children cumulated CPU time (s) 482.51
Current children cumulated vsize (Kb) 20532

[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1837 0 0 0 8357 578 0 0 22 0 1 0 1725067472 18845696 1807 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4601 1807 413 48 0 4553 0
[pid=3651] vsize: 18404
Current children cumulated CPU time (s) 491.66
Current children cumulated vsize (Kb) 20532

[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1867 0 0 0 9136 654 0 0 17 0 1 0 1725067472 18845696 1837 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4601 1837 413 48 0 4553 0
[pid=3651] vsize: 18404
Current children cumulated CPU time (s) 500.21
Current children cumulated vsize (Kb) 20532

[startup+570.046 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1872 0 0 0 9907 731 0 0 22 0 1 0 1725067472 18845696 1842 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4601 1842 413 48 0 4553 0
[pid=3651] vsize: 18404
Current children cumulated CPU time (s) 508.69
Current children cumulated vsize (Kb) 20532

[startup+580.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1878 0 0 0 10765 780 0 0 17 0 1 0 1725067472 18845696 1848 4294967295 134512640 134702520 3221223712 3221222992 134553095 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4601 1848 413 48 0 4553 0
[pid=3651] vsize: 18404
Current children cumulated CPU time (s) 517.76
Current children cumulated vsize (Kb) 20532

[startup+590.047 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1893 0 0 0 11531 855 0 0 17 0 1 0 1725067472 18845696 1863 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3651/statm): 4601 1863 413 48 0 4553 0
[pid=3651] vsize: 18404
Current children cumulated CPU time (s) 526.17
Current children cumulated vsize (Kb) 20532

[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1898 0 0 0 12313 929 0 0 16 0 1 0 1725067472 18980864 1868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3651/statm): 4634 1868 413 48 0 4586 0
[pid=3651] vsize: 18536
Current children cumulated CPU time (s) 534.73
Current children cumulated vsize (Kb) 20664

[startup+610.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1905 0 0 0 13169 978 0 0 16 0 1 0 1725067472 18984960 1875 4294967295 134512640 134702520 3221223712 3221223104 134604463 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3651/statm): 4635 1875 413 48 0 4587 0
[pid=3651] vsize: 18540
Current children cumulated CPU time (s) 543.78
Current children cumulated vsize (Kb) 20668

[startup+620.05 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1909 0 0 0 13936 1060 0 0 16 0 1 0 1725067472 18984960 1879 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4635 1879 413 48 0 4587 0
[pid=3651] vsize: 18540
Current children cumulated CPU time (s) 552.27
Current children cumulated vsize (Kb) 20668

[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1962 0 0 0 14714 1130 0 0 16 0 1 0 1725067472 18984960 1932 4294967295 134512640 134702520 3221223712 3221222992 134552748 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4635 1932 413 48 0 4587 0
[pid=3651] vsize: 18540
Current children cumulated CPU time (s) 560.75
Current children cumulated vsize (Kb) 20668

[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 0.99 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1965 0 0 0 15491 1203 0 0 16 0 1 0 1725067472 18984960 1935 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3651/statm): 4635 1935 413 48 0 4587 0
[pid=3651] vsize: 18540
Current children cumulated CPU time (s) 569.25
Current children cumulated vsize (Kb) 20668

[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1969 0 0 0 16343 1254 0 0 16 0 1 0 1725067472 18984960 1939 4294967295 134512640 134702520 3221223712 3221222992 134553458 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4635 1939 413 48 0 4587 0
[pid=3651] vsize: 18540
Current children cumulated CPU time (s) 578.28
Current children cumulated vsize (Kb) 20668

[startup+660.054 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1975 0 0 0 17112 1334 0 0 16 0 1 0 1725067472 18984960 1945 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4635 1945 413 48 0 4587 0
[pid=3651] vsize: 18540
Current children cumulated CPU time (s) 586.77
Current children cumulated vsize (Kb) 20668

[startup+670.055 s]
Raw data (loadavg): 1.06 1.02 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1979 0 0 0 17878 1414 0 0 16 0 1 0 1725067472 19120128 1949 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4668 1949 413 48 0 4620 0
[pid=3651] vsize: 18672
Current children cumulated CPU time (s) 595.23
Current children cumulated vsize (Kb) 20800

[startup+680.055 s]
Raw data (loadavg): 1.05 1.01 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1983 0 0 0 18692 1478 0 0 19 0 1 0 1725067472 19120128 1953 4294967295 134512640 134702520 3221223712 3221076908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4668 1953 413 48 0 4620 0
[pid=3651] vsize: 18672
Current children cumulated CPU time (s) 604.01
Current children cumulated vsize (Kb) 20800

[startup+690.056 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1988 0 0 0 19639 1497 0 0 19 0 1 0 1725067472 19120128 1958 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4668 1958 413 48 0 4620 0
[pid=3651] vsize: 18672
Current children cumulated CPU time (s) 613.67
Current children cumulated vsize (Kb) 20800

[startup+700.058 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1991 0 0 0 20470 1555 0 0 16 0 1 0 1725067472 19120128 1961 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4668 1961 413 48 0 4620 0
[pid=3651] vsize: 18672
Current children cumulated CPU time (s) 622.56
Current children cumulated vsize (Kb) 20800

[startup+710.058 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1993 0 0 0 21236 1631 0 0 16 0 1 0 1725067472 19120128 1963 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4668 1963 413 48 0 4620 0
[pid=3651] vsize: 18672
Current children cumulated CPU time (s) 630.98
Current children cumulated vsize (Kb) 20800

[startup+720.059 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1996 0 0 0 22084 1682 0 0 22 0 1 0 1725067472 19120128 1966 4294967295 134512640 134702520 3221223712 3220972288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3651/statm): 4668 1966 413 48 0 4620 0
[pid=3651] vsize: 18672
Current children cumulated CPU time (s) 639.97
Current children cumulated vsize (Kb) 20800

[startup+730.06 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2000 0 0 0 22880 1752 0 0 16 0 1 0 1725067472 19120128 1970 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4668 1970 413 48 0 4620 0
[pid=3651] vsize: 18672
Current children cumulated CPU time (s) 648.63
Current children cumulated vsize (Kb) 20800

[startup+740.061 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2003 0 0 0 23646 1828 0 0 16 0 1 0 1725067472 19120128 1973 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4668 1973 413 48 0 4620 0
[pid=3651] vsize: 18672
Current children cumulated CPU time (s) 657.05
Current children cumulated vsize (Kb) 20800

[startup+750.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2008 0 0 0 24439 1896 0 0 18 0 1 0 1725067472 19120128 1978 4294967295 134512640 134702520 3221223712 3221147948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3651/statm): 4668 1978 413 48 0 4620 0
[pid=3651] vsize: 18672
Current children cumulated CPU time (s) 665.66
Current children cumulated vsize (Kb) 20800

[startup+760.062 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2013 0 0 0 25264 1951 0 0 16 0 1 0 1725067472 19243008 1983 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3651/statm): 4698 1983 413 48 0 4650 0
[pid=3651] vsize: 18792
Current children cumulated CPU time (s) 674.46
Current children cumulated vsize (Kb) 20920

[startup+770.063 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2019 0 0 0 26044 2027 0 0 16 0 1 0 1725067472 19243008 1989 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4698 1989 413 48 0 4650 0
[pid=3651] vsize: 18792
Current children cumulated CPU time (s) 683.02
Current children cumulated vsize (Kb) 20920

[startup+780.063 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2029 0 0 0 26923 2068 0 0 16 0 1 0 1725067472 19243008 1999 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 4698 1999 413 48 0 4650 0
[pid=3651] vsize: 18792
Current children cumulated CPU time (s) 692.22
Current children cumulated vsize (Kb) 20920

[startup+790.064 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2088 0 0 0 27682 2153 0 0 16 0 1 0 1725067472 20504576 2058 4294967295 134512640 134702520 3221223712 3221222992 134554398 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3651/statm): 5006 2058 413 48 0 4958 0
[pid=3651] vsize: 20024
Current children cumulated CPU time (s) 700.66
Current children cumulated vsize (Kb) 22152

[startup+800.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2158 0 0 0 28444 2239 0 0 16 0 1 0 1725067472 20770816 2128 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5071 2128 413 48 0 5023 0
[pid=3651] vsize: 20284
Current children cumulated CPU time (s) 709.14
Current children cumulated vsize (Kb) 22412

[startup+810.065 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2161 0 0 0 29231 2312 0 0 16 0 1 0 1725067472 20770816 2131 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5071 2131 413 48 0 5023 0
[pid=3651] vsize: 20284
Current children cumulated CPU time (s) 717.74
Current children cumulated vsize (Kb) 22412

[startup+820.065 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2162 0 0 0 30100 2356 0 0 16 0 1 0 1725067472 20774912 2132 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5072 2132 413 48 0 5024 0
[pid=3651] vsize: 20288
Current children cumulated CPU time (s) 726.87
Current children cumulated vsize (Kb) 22416

[startup+830.066 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2162 0 0 0 30879 2429 0 0 16 0 1 0 1725067472 20774912 2132 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5072 2132 413 48 0 5024 0
[pid=3651] vsize: 20288
Current children cumulated CPU time (s) 735.39
Current children cumulated vsize (Kb) 22416

[startup+840.066 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2162 0 0 0 31748 2473 0 0 16 0 1 0 1725067472 20774912 2132 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5072 2132 413 48 0 5024 0
[pid=3651] vsize: 20288
Current children cumulated CPU time (s) 744.52
Current children cumulated vsize (Kb) 22416

[startup+850.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2162 0 0 0 32514 2553 0 0 16 0 1 0 1725067472 20774912 2132 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3651/statm): 5072 2132 413 48 0 5024 0
[pid=3651] vsize: 20288
Current children cumulated CPU time (s) 752.98
Current children cumulated vsize (Kb) 22416

[startup+860.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2163 0 0 0 33377 2599 0 0 18 0 1 0 1725067472 20881408 2133 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5098 2133 413 48 0 5050 0
[pid=3651] vsize: 20392
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (Kb) 22520

[startup+870.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2163 0 0 0 34165 2672 0 0 16 0 1 0 1725067472 20881408 2133 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5098 2133 413 48 0 5050 0
[pid=3651] vsize: 20392
Current children cumulated CPU time (s) 770.68
Current children cumulated vsize (Kb) 22520

[startup+880.069 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2164 0 0 0 34934 2747 0 0 16 0 1 0 1725067472 20881408 2134 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5098 2134 413 48 0 5050 0
[pid=3651] vsize: 20392
Current children cumulated CPU time (s) 779.12
Current children cumulated vsize (Kb) 22520

[startup+890.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2167 0 0 0 35800 2792 0 0 16 0 1 0 1725067472 20881408 2137 4294967295 134512640 134702520 3221223712 3221223104 134603665 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5098 2137 413 48 0 5050 0
[pid=3651] vsize: 20392
Current children cumulated CPU time (s) 788.23
Current children cumulated vsize (Kb) 22520

[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2171 0 0 0 36571 2869 0 0 16 0 1 0 1725067472 20881408 2141 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5098 2141 413 48 0 5050 0
[pid=3651] vsize: 20392
Current children cumulated CPU time (s) 796.71
Current children cumulated vsize (Kb) 22520

[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2172 0 0 0 37399 2923 0 0 19 0 1 0 1725067472 20881408 2142 4294967295 134512640 134702520 3221223712 3221087328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5098 2142 413 48 0 5050 0
[pid=3651] vsize: 20392
Current children cumulated CPU time (s) 805.53
Current children cumulated vsize (Kb) 22520

[startup+920.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2176 0 0 0 38211 2986 0 0 16 0 1 0 1725067472 20881408 2146 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3651/statm): 5098 2146 413 48 0 5050 0
[pid=3651] vsize: 20392
Current children cumulated CPU time (s) 814.28
Current children cumulated vsize (Kb) 22520

[startup+930.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2180 0 0 0 38976 3064 0 0 16 0 1 0 1725067472 20881408 2150 4294967295 134512640 134702520 3221223712 3221222992 134553444 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5098 2150 413 48 0 5050 0
[pid=3651] vsize: 20392
Current children cumulated CPU time (s) 822.71
Current children cumulated vsize (Kb) 22520

[startup+940.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2183 0 0 0 39869 3100 0 0 25 0 1 0 1725067472 20881408 2153 4294967295 134512640 134702520 3221223712 3221222736 134550721 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3651/statm): 5098 2153 413 48 0 5050 0
[pid=3651] vsize: 20392
Current children cumulated CPU time (s) 832
Current children cumulated vsize (Kb) 22520

[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3651
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2186 0 0 0 40810 3120 0 0 25 0 1 0 1725067472 21028864 2156 4294967295 134512640 134702520 3221223712 3221222608 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3651/statm): 5134 2156 413 48 0 5086 0
[pid=3651] vsize: 20536
Current children cumulated CPU time (s) 841.61
Current children cumulated vsize (Kb) 22664
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=3651) exited with status: 2
New process pid=3652
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=3652) exited with status: 0
New process pid=3653
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+960.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1617 0 0 0 765 21 0 0 21 0 1 0 1725117723 8646656 1587 4294967295 134512640 134702520 3221223712 3221222976 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3653/statm): 2111 1587 413 48 0 2063 0
[pid=3653] vsize: 8444
Current children cumulated CPU time (s) 851.23
Current children cumulated vsize (Kb) 10572

[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1641 0 0 0 1717 38 0 0 23 0 1 0 1725117723 15003648 1611 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3663 1611 413 48 0 3615 0
[pid=3653] vsize: 14652
Current children cumulated CPU time (s) 860.92
Current children cumulated vsize (Kb) 16780

[startup+980.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1737 0 0 0 2484 119 0 0 17 0 1 0 1725117723 15003648 1707 4294967295 134512640 134702520 3221223712 3221222832 134588577 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3653/statm): 3663 1707 413 48 0 3615 0
[pid=3653] vsize: 14652
Current children cumulated CPU time (s) 869.4
Current children cumulated vsize (Kb) 16780

[startup+990.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1763 0 0 0 3255 197 0 0 18 0 1 0 1725117723 15138816 1733 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3653/statm): 3696 1733 413 48 0 3648 0
[pid=3653] vsize: 14784
Current children cumulated CPU time (s) 877.89
Current children cumulated vsize (Kb) 16912

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1771 0 0 0 4132 238 0 0 18 0 1 0 1725117723 15142912 1741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3697 1741 413 48 0 3649 0
[pid=3653] vsize: 14788
Current children cumulated CPU time (s) 887.07
Current children cumulated vsize (Kb) 16916

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1807 0 0 0 4926 303 0 0 21 0 1 0 1725117723 15142912 1777 4294967295 134512640 134702520 3221223712 3221222992 134553248 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3697 1777 413 48 0 3649 0
[pid=3653] vsize: 14788
Current children cumulated CPU time (s) 895.66
Current children cumulated vsize (Kb) 16916

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1816 0 0 0 5776 353 0 0 25 0 1 0 1725117723 15278080 1786 4294967295 134512640 134702520 3221223712 3220982028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3730 1786 413 48 0 3682 0
[pid=3653] vsize: 14920
Current children cumulated CPU time (s) 904.66
Current children cumulated vsize (Kb) 17048

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1822 0 0 0 6555 426 0 0 19 0 1 0 1725117723 15278080 1792 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3730 1792 413 48 0 3682 0
[pid=3653] vsize: 14920
Current children cumulated CPU time (s) 913.18
Current children cumulated vsize (Kb) 17048

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1828 0 0 0 7400 476 0 0 25 0 1 0 1725117723 15278080 1798 4294967295 134512640 134702520 3221223712 3221049568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3730 1798 413 48 0 3682 0
[pid=3653] vsize: 14920
Current children cumulated CPU time (s) 922.13
Current children cumulated vsize (Kb) 17048

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1834 0 0 0 8190 544 0 0 20 0 1 0 1725117723 15278080 1804 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3730 1804 413 48 0 3682 0
[pid=3653] vsize: 14920
Current children cumulated CPU time (s) 930.71
Current children cumulated vsize (Kb) 17048

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1870 0 0 0 8969 618 0 0 21 0 1 0 1725117723 15278080 1840 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3730 1840 413 48 0 3682 0
[pid=3653] vsize: 14920
Current children cumulated CPU time (s) 939.24
Current children cumulated vsize (Kb) 17048

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1880 0 0 0 9799 673 0 0 25 0 1 0 1725117723 15413248 1850 4294967295 134512640 134702520 3221223712 3221095968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3763 1850 413 48 0 3715 0
[pid=3653] vsize: 15052
Current children cumulated CPU time (s) 948.09
Current children cumulated vsize (Kb) 17180

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1887 0 0 0 10621 735 0 0 19 0 1 0 1725117723 15413248 1857 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3653/statm): 3763 1857 413 48 0 3715 0
[pid=3653] vsize: 15052
Current children cumulated CPU time (s) 956.93
Current children cumulated vsize (Kb) 17180

[startup+1090.08 s]
Raw data (loadavg): 1.08 1.02 1.01 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1889 0 0 0 11389 810 0 0 18 0 1 0 1725117723 15413248 1859 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3763 1859 413 48 0 3715 0
[pid=3653] vsize: 15052
Current children cumulated CPU time (s) 965.36
Current children cumulated vsize (Kb) 17180

[startup+1100.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1894 0 0 0 12262 852 0 0 19 0 1 0 1725117723 15413248 1864 4294967295 134512640 134702520 3221223712 3221223196 1074752304 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3653/statm): 3763 1864 413 48 0 3715 0
[pid=3653] vsize: 15052
Current children cumulated CPU time (s) 974.51
Current children cumulated vsize (Kb) 17180

[startup+1110.08 s]
Raw data (loadavg): 1.06 1.01 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1901 0 0 0 13044 926 0 0 19 0 1 0 1725117723 15413248 1871 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3763 1871 413 48 0 3715 0
[pid=3653] vsize: 15052
Current children cumulated CPU time (s) 983.07
Current children cumulated vsize (Kb) 17180

[startup+1120.08 s]
Raw data (loadavg): 1.05 1.01 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1915 0 0 0 13822 998 0 0 22 0 1 0 1725117723 15413248 1885 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3763 1885 413 48 0 3715 0
[pid=3653] vsize: 15052
Current children cumulated CPU time (s) 991.57
Current children cumulated vsize (Kb) 17180

[startup+1130.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1968 0 0 0 14647 1056 0 0 25 0 1 0 1725117723 15548416 1938 4294967295 134512640 134702520 3221223712 3221100128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3796 1938 413 48 0 3748 0
[pid=3653] vsize: 15184
Current children cumulated CPU time (s) 1000.4
Current children cumulated vsize (Kb) 17312

[startup+1140.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1972 0 0 0 15603 1070 0 0 25 0 1 0 1725117723 15548416 1942 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3796 1942 413 48 0 3748 0
[pid=3653] vsize: 15184
Current children cumulated CPU time (s) 1010.1
Current children cumulated vsize (Kb) 17312

[startup+1150.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1973 0 0 0 16440 1127 0 0 17 0 1 0 1725117723 15548416 1943 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3653/statm): 3796 1943 413 48 0 3748 0
[pid=3653] vsize: 15184
Current children cumulated CPU time (s) 1019.04
Current children cumulated vsize (Kb) 17312

[startup+1160.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1978 0 0 0 17211 1200 0 0 19 0 1 0 1725117723 15548416 1948 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3796 1948 413 48 0 3748 0
[pid=3653] vsize: 15184
Current children cumulated CPU time (s) 1027.48
Current children cumulated vsize (Kb) 17312

[startup+1170.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1982 0 0 0 18063 1250 0 0 25 0 1 0 1725117723 15548416 1952 4294967295 134512640 134702520 3221223712 3220957728 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3796 1952 413 48 0 3748 0
[pid=3653] vsize: 15184
Current children cumulated CPU time (s) 1036.5
Current children cumulated vsize (Kb) 17312

[startup+1180.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1986 0 0 0 18851 1322 0 0 17 0 1 0 1725117723 15548416 1956 4294967295 134512640 134702520 3221223712 3221222992 134552363 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3653/statm): 3796 1956 413 48 0 3748 0
[pid=3653] vsize: 15184
Current children cumulated CPU time (s) 1045.1
Current children cumulated vsize (Kb) 17312

[startup+1190.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1989 0 0 0 19609 1403 0 0 20 0 1 0 1725117723 15548416 1959 4294967295 134512640 134702520 3221223712 3221219808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 3796 1959 413 48 0 3748 0
[pid=3653] vsize: 15184
Current children cumulated CPU time (s) 1053.49
Current children cumulated vsize (Kb) 17312

[startup+1200.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1992 0 0 0 20476 1448 0 0 17 0 1 0 1725117723 15548416 1962 4294967295 134512640 134702520 3221223712 3221222992 134550747 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3653/statm): 3796 1962 413 48 0 3748 0
[pid=3653] vsize: 15184
Current children cumulated CPU time (s) 1062.61
Current children cumulated vsize (Kb) 17312

[startup+1210.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1997 0 0 0 21232 1532 0 0 18 0 1 0 1725117723 15548416 1967 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3653/statm): 3796 1967 413 48 0 3748 0
[pid=3653] vsize: 15184
Current children cumulated CPU time (s) 1071.01
Current children cumulated vsize (Kb) 17312

[startup+1220.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2038 0 0 0 22104 1575 0 0 17 0 1 0 1725117723 16519168 2008 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4033 2008 413 48 0 3985 0
[pid=3653] vsize: 16132
Current children cumulated CPU time (s) 1080.16
Current children cumulated vsize (Kb) 18260

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2164 0 0 0 22892 1648 0 0 20 0 1 0 1725117723 16519168 2134 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4033 2134 413 48 0 3985 0
[pid=3653] vsize: 16132
Current children cumulated CPU time (s) 1088.77
Current children cumulated vsize (Kb) 18260

[startup+1240.09 s]
Raw data (loadavg): 1.08 1.02 1.01 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2233 0 0 0 23773 1687 0 0 19 0 1 0 1725117723 16519168 2203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4033 2203 413 48 0 3985 0
[pid=3653] vsize: 16132
Current children cumulated CPU time (s) 1097.97
Current children cumulated vsize (Kb) 18260

[startup+1250.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2408 0 0 0 24586 1754 0 0 25 0 1 0 1725117723 17510400 2378 4294967295 134512640 134702520 3221223712 3221187948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4275 2378 413 48 0 4227 0
[pid=3653] vsize: 17100
Current children cumulated CPU time (s) 1106.77
Current children cumulated vsize (Kb) 19228

[startup+1260.09 s]
Raw data (loadavg): 1.06 1.02 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2462 0 0 0 25466 1795 0 0 23 0 1 0 1725117723 17514496 2432 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4276 2432 413 48 0 4228 0
[pid=3653] vsize: 17104
Current children cumulated CPU time (s) 1115.98
Current children cumulated vsize (Kb) 19232

[startup+1270.09 s]
Raw data (loadavg): 1.05 1.02 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2528 0 0 0 26369 1830 0 0 25 0 1 0 1725117723 18370560 2498 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4485 2498 413 48 0 4437 0
[pid=3653] vsize: 17940
Current children cumulated CPU time (s) 1125.36
Current children cumulated vsize (Kb) 20068

[startup+1280.09 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2531 0 0 0 27308 1851 0 0 21 0 1 0 1725117723 18370560 2501 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3653/statm): 4485 2501 413 48 0 4437 0
[pid=3653] vsize: 17940
Current children cumulated CPU time (s) 1134.96
Current children cumulated vsize (Kb) 20068

[startup+1290.09 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2535 0 0 0 28102 1915 0 0 24 0 1 0 1725117723 18370560 2505 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4485 2505 413 48 0 4437 0
[pid=3653] vsize: 17940
Current children cumulated CPU time (s) 1143.54
Current children cumulated vsize (Kb) 20068

[startup+1300.09 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2539 0 0 0 28987 1955 0 0 24 0 1 0 1725117723 18477056 2509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4511 2509 413 48 0 4463 0
[pid=3653] vsize: 18044
Current children cumulated CPU time (s) 1152.79
Current children cumulated vsize (Kb) 20172

[startup+1310.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2544 0 0 0 29846 2005 0 0 25 0 1 0 1725117723 18477056 2514 4294967295 134512640 134702520 3221223712 3220984608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4511 2514 413 48 0 4463 0
[pid=3653] vsize: 18044
Current children cumulated CPU time (s) 1161.88
Current children cumulated vsize (Kb) 20172

[startup+1320.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2553 0 0 0 30659 2066 0 0 21 0 1 0 1725117723 18477056 2523 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4511 2523 413 48 0 4463 0
[pid=3653] vsize: 18044
Current children cumulated CPU time (s) 1170.62
Current children cumulated vsize (Kb) 20172

[startup+1330.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2559 0 0 0 31563 2099 0 0 17 0 1 0 1725117723 18477056 2529 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3653/statm): 4511 2529 413 48 0 4463 0
[pid=3653] vsize: 18044
Current children cumulated CPU time (s) 1179.99
Current children cumulated vsize (Kb) 20172

[startup+1340.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2591 0 0 0 32384 2159 0 0 25 0 1 0 1725117723 18477056 2561 4294967295 134512640 134702520 3221223712 3221175308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4511 2561 413 48 0 4463 0
[pid=3653] vsize: 18044
Current children cumulated CPU time (s) 1188.8
Current children cumulated vsize (Kb) 20172

[startup+1350.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2600 0 0 0 33260 2199 0 0 18 0 1 0 1725117723 18608128 2570 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4543 2570 413 48 0 4495 0
[pid=3653] vsize: 18172
Current children cumulated CPU time (s) 1197.96
Current children cumulated vsize (Kb) 20300

[startup+1360.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2631 0 0 0 34133 2241 0 0 25 0 1 0 1725117723 18608128 2601 4294967295 134512640 134702520 3221223712 3221020768 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4543 2601 413 48 0 4495 0
[pid=3653] vsize: 18172
Current children cumulated CPU time (s) 1207.11
Current children cumulated vsize (Kb) 20300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1360.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 3653
Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3646/statm): 532 248 485 147 0 385 0
[pid=3646] vsize: 2128
Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2631 0 0 0 34133 2241 0 0 25 0 1 0 1725117723 18608128 2601 4294967295 134512640 134702520 3221223712 3221020588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3653/statm): 4543 2601 413 48 0 4495 0
[pid=3653] vsize: 18172
Current children cumulated CPU time (s) 1207.11
Current children cumulated vsize (Kb) 20300

Sending SIGTERM to -3646
Sleeping 2 seconds
New process pid=3655
New process pid=3656
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/9854/stat
open syscall for file /proc/9854/status
open syscall for file /proc/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/23373/stat
open syscall for file /proc/23373/status
open syscall for file /proc/23373/cmdline
open syscall for file /proc/23373/environ
open syscall for file /proc/23400/stat
open syscall for file /proc/23400/status
open syscall for file /proc/23400/cmdline
open syscall for file /proc/23400/environ
open syscall for file /proc/23424/stat
open syscall for file /proc/23424/status
open syscall for file /proc/23424/cmdline
open syscall for file /proc/23424/environ
open syscall for file /proc/6632/stat
open syscall for file /proc/6632/status
open syscall for file /proc/6632/cmdline
open syscall for file /proc/6632/environ
open syscall for file /proc/7718/stat
open syscall for file /proc/7718/status
open syscall for file /proc/7718/cmdline
open syscall for file /proc/7718/environ
open syscall for file /proc/20012/stat
open syscall for file /proc/20012/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/20012/cmdline
open syscall for file /proc/20012/environ
open syscall for file /proc/20048/stat
open syscall for file /proc/20048/status
open syscall for file /proc/20048/cmdline
open syscall for file /proc/20048/environ
open syscall for file /proc/20602/stat
open syscall for file /proc/20602/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/20602/cmdline
open syscall for file /proc/20602/environ
open syscall for file /proc/20603/stat
open syscall for file /proc/20603/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/20603/cmdline
open syscall for file /proc/20603/environ
open syscall for file /proc/20612/stat
open syscall for file /proc/20612/status
open syscall for file /proc/20612/cmdline
open syscall for file /proc/20612/environ
open syscall for file /proc/3609/stat
open syscall for file /proc/3609/status
open syscall for file /proc/3609/cmdline
open syscall for file /proc/3609/environ
open syscall for file /proc/3645/stat
open syscall for file /proc/3645/status
open syscall for file /proc/3645/cmdline
open syscall for file /proc/3645/environ
open syscall for file /proc/3646/stat
open syscall for file /proc/3646/status
open syscall for file /proc/3646/cmdline
open syscall for file /proc/3646/environ
open syscall for file /proc/3653/stat
open syscall for file /proc/3653/status
open syscall for file /proc/3653/cmdline
open syscall for file /proc/3653/environ
open syscall for file /proc/3655/stat
open syscall for file /proc/3655/status
open syscall for file /proc/3655/cmdline
open syscall for file /proc/3655/environ
open syscall for file /proc/3656/stat
open syscall for file /proc/3656/status
open syscall for file /proc/3656/cmdline
open syscall for file /proc/3656/environ
One traced child (pid=3656) exited with status: 0
One traced child (pid=3655) exited with status: 0
New process pid=3657
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=3657) exited with status: 0
New process pid=3658
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=3658) exited with status: 0
One traced child (pid=3646) ended because it received signal 15 (SIGTERM)
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=3653) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1361.39
CPU time (s): 365.041
CPU user time (s): 342.619
CPU system time (s): 22.4216
CPU usage (%): 26.8137
Max. virtual memory (cumulated for all children) (Kb): 22664

Verifier Data

ERROR: no interpretation found !