Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb
MD5SUMc1c7537cd9b3e10215a81ec1ca3be5cb
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3046400
Optimality of the best value was proved NO
Number of terms in the objective function 504
Biggest coefficient in the objective function 148373504
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 3393589600
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 148373504
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 3393589600
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1223.09
Number of variables504
Total number of constraints34
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints34
Minimum length of a constraint21
Maximum length of a constraint120

Trace number 9410

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.193
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:        947008 kB
Buffers:         10396 kB
Cached:          60392 kB
SwapCached:          0 kB
Active:          43664 kB
Inactive:        30008 kB
HighTotal:      131008 kB
HighFree:        66668 kB
LowTotal:       903652 kB
LowFree:        880340 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8492 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:42:11 (client local time) WITH STATUS 0 IN 1201.58 SECONDS
stats: 8122 7 1201.58 0

Solver Data

1:
seed: 0
Nr of vars set: 213  (#equs: 0)
Nr of vars set: 213  (#equs: 0)
#decisions: 1186;  #end-nodes: 263;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 21 / 80 (80)
#axs: 45, #non-axs: 6
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:  3387700836 (5888763:>=*);
#decisions: 168;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 45, #non-axs: 6
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:  3387700868 (5888731:>=*);
#decisions: 176;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 45, #non-axs: 6
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:  3387703776 (5885823:>=*);
#decisions: 176;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 45, #non-axs: 6
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:  3387704066 (5885533:>=*);
#decisions: 157;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 45, #non-axs: 6
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:  3387704230 (5885369:>=*);
#decisions: 184;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 45, #non-axs: 6
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:  3387704241 (5885358:>=*);
#decisions: 222;  #end-nodes: 60;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 60 / 80 (80)
#axs: 45, #non-axs: 6
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:  3387704251 (5885348:>=*);
#decisions: 726;  #end-nodes: 186;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 25 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388029297 (5560302:>=*);
#decisions: 154;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388029609 (5559990:>=*);
#decisions: 166;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388032361 (5557238:>=*);
#decisions: 486;  #end-nodes: 131;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 51 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388037903 (5551696:>=*);
#decisions: 193;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388037915 (5551684:>=*);
#decisions: 172;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388037927 (5551672:>=*);
#decisions: 173;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388037939 (5551660:>=*);
#decisions: 188;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388038247 (5551352:>=*);
#decisions: 167;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388038259 (5551340:>=*);
#decisions: 1310;  #end-nodes: 327;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 3 / 81 (81)
#axs: 45, #non-axs: 9
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:  3388296535 (5293064:>=*);
#decisions: 157;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388296721 (5292878:>=*);
#decisions: 162;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388300503 (5289096:>=*);
#decisions: 199;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388303687 (5285912:>=*);
#decisions: 171;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388303743 (5285856:>=*);
#decisions: 165;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 45, #non-axs: 9
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:  3388303766 (5285833:>=*);
#decisions: 5711;  #end-nodes: 1602;
#proof improvement attempts: 0;  #restarts: 19
Current batch, end-nodes: 38 / 84 (84)
#axs: 45, #non-axs: 30
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:  3388314887 (5274712:>=*);
#decisions: 79;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 45, #non-axs: 30
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:  3388315612 (5273987:>=*);
#decisions: 126;  #end-nodes: 59;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 59 / 80 (80)
#axs: 45, #non-axs: 30
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:  3388481247 (5108352:>=*);
#decisions: 87;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 45, #non-axs: 30
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:  3388482012 (5107587:>=*);
#decisions: 82;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 45, #non-axs: 30
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:  3388484391 (5105208:>=*);
#decisions: 84;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 45, #non-axs: 30
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:  3388484825 (5104774:>=*);
#decisions: 91;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 45, #non-axs: 30
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:  3388484876 (5104723:>=*);
#decisions: 119;  #end-nodes: 44;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 45, #non-axs: 30
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:  3388484922 (5104677:>=*);
#decisions: 293;  #end-nodes: 84;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 3 / 80 (80)
#axs: 45, #non-axs: 31
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:  3388939535 (4650064:>=*);
#decisions: 130;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 45, #non-axs: 31
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:  3388939703 (4649896:>=*);
#decisions: 132;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 45, #non-axs: 31
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:  3388939745 (4649854:>=*);
#decisions: 142;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 45, #non-axs: 31
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:  3388940207 (4649392:>=*);
#decisions: 167;  #end-nodes: 48;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 48 / 80 (80)
#axs: 45, #non-axs: 31
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:  3388941047 (4648552:>=*);
#decisions: 124;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 45, #non-axs: 31
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:  3388941089 (4648510:>=*);
#decisions: 7862;  #end-nodes: 2459;
#proof improvement attempts: 0;  #restarts: 29
Current batch, end-nodes: 27 / 87 (87)
#axs: 45, #non-axs: 53
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:  3388963091 (4626508:>=*);
#decisions: 74;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 45, #non-axs: 53
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:  3388963128 (4626471:>=*);
#decisions: 76;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 45, #non-axs: 53
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:  3388963165 (4626434:>=*);
#decisions: 161;  #end-nodes: 73;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 73 / 80 (80)
#axs: 45, #non-axs: 53
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:  3388970924 (4618675:>=*);
#decisions: 74;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 45, #non-axs: 53
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:  3388970944 (4618655:>=*);
#decisions: 76;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 45, #non-axs: 53
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:  3388970950 (4618649:>=*);
#decisions: 78;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 45, #non-axs: 53
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:  3388971004 (4618595:>=*);
#decisions: 88;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 45, #non-axs: 53
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:  3388971021 (4618578:>=*);
#decisions: 113;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 45, #non-axs: 53
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:  3388971041 (4618558:>=*);
#decisions: 110;  #end-nodes: 37;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 37 / 80 (80)
#axs: 45, #non-axs: 53
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:  3388971071 (4618528:>=*);
#decisions: 10707;  #end-nodes: 3414;
#proof improvement attempts: 0;  #restarts: 40
Current batch, end-nodes: 4 / 90 (90)
#axs: 45, #non-axs: 89
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:  3389061351 (4528248:>=*);
#decisions: 91;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 45, #non-axs: 89
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:  3389061975 (4527624:>=*);
#decisions: 92;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 45, #non-axs: 89
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:  3389062599 (4527000:>=*);
#decisions: 145;  #end-nodes: 57;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 57 / 80 (80)
#axs: 45, #non-axs: 89
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:  3389062716 (4526883:>=*);
#decisions: 157;  #end-nodes: 68;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 68 / 80 (80)
#axs: 45, #non-axs: 89
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:  3389062728 (4526871:>=*);
#decisions: 3328;  #end-nodes: 1151;
#proof improvement attempts: 0;  #restarts: 14
Current batch, end-nodes: 4 / 83 (83)
#axs: 45, #non-axs: 113
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:  3389088618 (4500981:>=*);
#decisions: 63;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 45, #non-axs: 113
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:  3389088639 (4500960:>=*);
#decisions: 340;  #end-nodes: 131;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 51 / 80 (80)
#axs: 45, #non-axs: 114
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:  3389136466 (4453133:>=*);
#decisions: 64;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 45, #non-axs: 114
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:  3389136468 (4453131:>=*);
#decisions: 68;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 45, #non-axs: 114
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:  3389136472 (4453127:>=*);
#decisions: 70;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 45, #non-axs: 114
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:  3389136696 (4452903:>=*);
#decisions: 105;  #end-nodes: 43;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 43 / 80 (80)
#axs: 45, #non-axs: 114
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:  3389136748 (4452851:>=*);
#decisions: 3963;  #end-nodes: 1490;
#proof improvement attempts: 0;  #restarts: 18
Current batch, end-nodes: 9 / 84 (84)
#axs: 45, #non-axs: 118
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:  3389176767 (4412832:>=*);
#decisions: 37;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 45, #non-axs: 118
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:  3389176779 (4412820:>=*);
#decisions: 46;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 45, #non-axs: 118
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:  3389177076 (4412523:>=*);
#decisions: 85;  #end-nodes: 50;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 50 / 80 (80)
#axs: 45, #non-axs: 118
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:  3389177412 (4412187:>=*);
#decisions: 12369;  #end-nodes: 4571;
#proof improvement attempts: 0;  #restarts: 52
Current batch, end-nodes: 63 / 93 (93)
#axs: 45, #non-axs: 144
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389197407 (4392192:>=*);
#decisions: 1059;  #end-nodes: 437;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 32 / 81 (81)
#axs: 45, #non-axs: 151
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389345139 (4244460:>=*);
#decisions: 25;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 45, #non-axs: 151
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389345263 (4244336:>=*);
#decisions: 24;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 45, #non-axs: 151
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389345511 (4244088:>=*);
#decisions: 43;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 45, #non-axs: 151
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389345635 (4243964:>=*);
#decisions: 52;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 45, #non-axs: 151
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389345697 (4243902:>=*);
#decisions: 72;  #end-nodes: 50;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 50 / 80 (80)
#axs: 45, #non-axs: 151
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389510516 (4079083:>=*);
#decisions: 18;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 45, #non-axs: 151
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389511012 (4078587:>=*);
#decisions: 23;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 45, #non-axs: 151
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389512004 (4077595:>=*);
#decisions: 94;  #end-nodes: 77;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 77 / 80 (80)
#axs: 45, #non-axs: 151
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389512035 (4077564:>=*);
#decisions: 5917;  #end-nodes: 2148;
#proof improvement attempts: 0;  #restarts: 25
Current batch, end-nodes: 72 / 86 (86)
#axs: 45, #non-axs: 152
tight: meta-meta: start: 6, end: 9;  meta: start: 10, end (keep): 18
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389531609 (4057990:>=*);
#decisions: 45370;  #end-nodes: 16709;
#proof improvement attempts: 0;  #restarts: 165
Current batch, end-nodes: 83 / 121 (121)
#axs: 45, #non-axs: 50
tight: meta-meta: start: 6, end: 9;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389702729 (3886870:>=*);
#decisions: 144815;  #end-nodes: 52357;
#proof improvement attempts: 0;  #restarts: 401
Current batch, end-nodes: 168 / 180 (180)
#axs: 45, #non-axs: 20
tight: meta-meta: start: 6, end: 9;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389782847 (3806752:>=*);
#decisions: 137079;  #end-nodes: 48124;
#proof improvement attempts: 0;  #restarts: 378
Current batch, end-nodes: 35 / 174 (174)
#axs: 45, #non-axs: 57
tight: meta-meta: start: 6, end: 9;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389876815 (3712784:>=*);
#decisions: 41;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 45, #non-axs: 57
tight: meta-meta: start: 6, end: 9;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389877059 (3712540:>=*);
#decisions: 57;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 45, #non-axs: 57
tight: meta-meta: start: 6, end: 9;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389877181 (3712418:>=*);
#decisions: 45;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 45, #non-axs: 57
tight: meta-meta: start: 6, end: 9;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389877669 (3711930:>=*);
#decisions: 86;  #end-nodes: 54;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 54 / 80 (80)
#axs: 45, #non-axs: 58
tight: meta-meta: start: 6, end: 9;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389877730 (3711869:>=*);
#decisions: 161;  #end-nodes: 76;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 76 / 80 (80)
#axs: 45, #non-axs: 59
tight: meta-meta: start: 6, end: 9;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389881291 (3708308:>=*);
#decisions: 78;  #end-nodes: 47;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 47 / 80 (80)
#axs: 45, #non-axs: 59
tight: meta-meta: start: 6, end: 9;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3389881426 (3708173:>=*);
#decisions: 130271;  #end-nodes: 49147;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 45, #non-axs: 22
tight: meta-meta: start: 6, end: 9;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 3389881426 (3708173:>=*)

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

2:
seed: 0
Nr of vars set: 213  (#equs: 0)
Nr of vars set: 213  (#equs: 0)
#decisions: 95921;  #end-nodes: 42574;
#proof improvement attempts: 0;  #restarts: 275
Current batch, end-nodes: 107 / 215 (188)
#axs: 45, #non-axs: 140
tight: meta-meta: start: 6, end: 9;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  8197599 (3661696:>=*);
#decisions: 14287;  #end-nodes: 6706;
#proof improvement attempts: 0;  #restarts: 52
Current batch, end-nodes: 95 / 133 (133)
#axs: 45, #non-axs: 131
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:  8198367 (3660928:>=*);
#decisions: 1736;  #end-nodes: 733;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 9 / 139 (121)
#axs: 45, #non-axs: 141
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:  8261587 (3597708:>=*);
#decisions: 42700;  #end-nodes: 16955;
#proof improvement attempts: 0;  #restarts: 124
Current batch, end-nodes: 147 / 151 (151)
#axs: 45, #non-axs: 58
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:  8302175 (3557120:>=*);
#decisions: 189925;  #end-nodes: 85647;
#proof improvement attempts: 0;  #restarts: 476
Current batch, end-nodes: 216 / 239 (239)
#axs: 45, #non-axs: 103
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:  8380303 (3478992:>=*);
#decisions: 38;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 120 (120)
#axs: 45, #non-axs: 103
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:  8380879 (3478416:>=*);
#decisions: 420938;  #end-nodes: 195042;
#proof improvement attempts: 0;  #restarts: 858
Current batch, end-nodes: 45 / 334 (334)
#axs: 45, #non-axs: 119
tight: meta-meta: start: 5, end: 7;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8388991 (3470304:>=*);
#decisions: 53695;  #end-nodes: 23213;
#proof improvement attempts: 0;  #restarts: 165
Current batch, end-nodes: 29 / 161 (161)
#axs: 45, #non-axs: 68
tight: meta-meta: start: 5, end: 7;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8410975 (3448320:>=*);
#decisions: 76276;  #end-nodes: 31904;
#proof improvement attempts: 0;  #restarts: 216
Current batch, end-nodes: 126 / 174 (174)
#axs: 45, #non-axs: 49
tight: meta-meta: start: 5, end: 7;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8491999 (3367296:>=*);
#decisions: 266792;  #end-nodes: 119505;
#proof improvement attempts: 0;  #restarts: 609
Current batch, end-nodes: 78 / 272 (272)
#axs: 45, #non-axs: 84
tight: meta-meta: start: 5, end: 7;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8492807 (3366488:>=*);
#decisions: 160;  #end-nodes: 94;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 94 / 120 (120)
#axs: 45, #non-axs: 84
tight: meta-meta: start: 5, end: 7;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8492867 (3366428:>=*);
#decisions: 103;  #end-nodes: 54;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 54 / 120 (120)
#axs: 45, #non-axs: 84
tight: meta-meta: start: 5, end: 7;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8493347 (3365948:>=*);
#decisions: 211981;  #end-nodes: 97339;
#proof improvement attempts: 0;  #restarts: 524
Current batch, end-nodes: 110 / 251 (251)
#axs: 45, #non-axs: 102
tight: meta-meta: start: 5, end: 7;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8554463 (3304832:>=*);
#decisions: 319978;  #end-nodes: 151998;
#proof improvement attempts: 0;  #restarts: 722
Current batch, end-nodes: 260 / 300 (300)
#axs: 45, #non-axs: 72
tight: meta-meta: start: 4, end: 5;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8554860 (3304435:>=*);
#decisions: 63529;  #end-nodes: 28566;
#proof improvement attempts: 0;  #restarts: 197
Current batch, end-nodes: 111 / 169 (169)
#axs: 45, #non-axs: 25
tight: meta-meta: start: 4, end: 5;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8574215 (3285080:>=*);
#decisions: 231;  #end-nodes: 102;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 102 / 120 (120)
#axs: 45, #non-axs: 25
tight: meta-meta: start: 4, end: 5;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8576935 (3282360:>=*);
#decisions: 335234;  #end-nodes: 156213;
#proof improvement attempts: 0;  #restarts: 736
Current batch, end-nodes: 175 / 304 (304)
#axs: 45, #non-axs: 81
tight: meta-meta: start: 4, end: 5;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8617311 (3241984:>=*);
#decisions: 573305;  #end-nodes: 291318;
#proof improvement attempts: 0;  #restarts: 1120
Current batch, end-nodes: 94 / 400 (400)
#axs: 45, #non-axs: 88
tight: meta-meta: start: 4, end: 5;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8624095 (3235200:>=*);
#decisions: 238639;  #end-nodes: 102077;
#proof improvement attempts: 0;  #restarts: 543
Current batch, end-nodes: 78 / 259 (255)
#axs: 45, #non-axs: 89
tight: meta-meta: start: 4, end: 5;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  8702047 (3157248:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 8702047 (3157248:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 213  (#equs: 0)
Time taken: 14 min, 39 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/5587/stat): 5587 (vallstSAT2005PB) R 5586 5587 4061 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20464746 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5587/statm): 174 3 169 147 0 27 0
[pid=5587] 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=5588
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=5588) exited with status: 0
New process pid=5589
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=5589) exited with status: 0
New process pid=5590
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/wulflinc10/normalized-mps-v2-13-7-gr4x6.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0034 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 326 0 0 0 495 161 0 0 16 0 1 0 20464753 2412544 296 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 589 296 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (Kb) 4484

[startup+20.004 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 332 0 0 0 1186 262 0 0 16 0 1 0 20464753 2412544 302 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5590/statm): 589 302 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 14.49
Current children cumulated vsize (Kb) 4484

[startup+30.0046 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 336 0 0 0 1875 367 0 0 15 0 1 0 20464753 2412544 306 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 589 306 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 22.43
Current children cumulated vsize (Kb) 4484

[startup+40.0059 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 338 0 0 0 2573 467 0 0 15 0 1 0 20464753 2412544 308 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5590/statm): 589 308 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 30.41
Current children cumulated vsize (Kb) 4484

[startup+50.0067 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 339 0 0 0 3275 567 0 0 15 0 1 0 20464753 2412544 309 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 589 309 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 38.43
Current children cumulated vsize (Kb) 4484

[startup+60.0073 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 339 0 0 0 3974 670 0 0 15 0 1 0 20464753 2412544 309 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5590/statm): 589 309 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 46.45
Current children cumulated vsize (Kb) 4484

[startup+70.0078 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 341 0 0 0 4660 773 0 0 16 0 1 0 20464753 2412544 311 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 589 311 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 54.34
Current children cumulated vsize (Kb) 4484

[startup+80.0084 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) R 5587 5587 4061 0 -1 0 342 0 0 0 5353 873 0 0 15 0 1 0 20464753 2412544 312 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5590/statm): 589 312 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 62.27
Current children cumulated vsize (Kb) 4484

[startup+90.009 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 342 0 0 0 6036 975 0 0 15 0 1 0 20464753 2412544 312 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 589 312 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 70.12
Current children cumulated vsize (Kb) 4484

[startup+100.01 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 342 0 0 0 6745 1076 0 0 16 0 1 0 20464753 2412544 312 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5590/statm): 589 312 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 78.22
Current children cumulated vsize (Kb) 4484

[startup+110.01 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 343 0 0 0 7434 1178 0 0 15 0 1 0 20464753 2412544 313 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 589 313 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 86.13
Current children cumulated vsize (Kb) 4484

[startup+120.011 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 344 0 0 0 8122 1287 0 0 15 0 1 0 20464753 2412544 314 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 589 314 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 94.1
Current children cumulated vsize (Kb) 4484

[startup+130.011 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 344 0 0 0 8826 1385 0 0 16 0 1 0 20464753 2412544 314 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 589 314 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (Kb) 4484

[startup+140.012 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 345 0 0 0 9510 1490 0 0 16 0 1 0 20464753 2412544 315 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 589 315 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 4484

[startup+150.012 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 346 0 0 0 10197 1595 0 0 15 0 1 0 20464753 2412544 316 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 589 316 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 117.93
Current children cumulated vsize (Kb) 4484

[startup+160.013 s]
Raw data (loadavg): 1.15 1.06 1.01 2/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) R 5587 5587 4061 0 -1 0 347 0 0 0 10897 1699 0 0 16 0 1 0 20464753 2412544 317 4294967295 134512640 134702520 3221223952 3221222788 134550217 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5590/statm): 589 317 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 125.97
Current children cumulated vsize (Kb) 4484

[startup+170.013 s]
Raw data (loadavg): 1.13 1.06 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 348 0 0 0 11587 1799 0 0 16 0 1 0 20464753 2412544 318 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 589 318 413 48 0 541 0
[pid=5590] vsize: 2356
Current children cumulated CPU time (s) 133.87
Current children cumulated vsize (Kb) 4484

[startup+180.014 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 349 0 0 0 12274 1901 0 0 16 0 1 0 20464753 2543616 319 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 319 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 141.76
Current children cumulated vsize (Kb) 4612

[startup+190.015 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 349 0 0 0 12977 2001 0 0 16 0 1 0 20464753 2543616 319 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 319 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 149.79
Current children cumulated vsize (Kb) 4612

[startup+200.015 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 350 0 0 0 13661 2103 0 0 15 0 1 0 20464753 2543616 320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 320 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 157.65
Current children cumulated vsize (Kb) 4612

[startup+210.016 s]
Raw data (loadavg): 1.13 1.06 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 350 0 0 0 14344 2212 0 0 16 0 1 0 20464753 2543616 320 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 320 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 165.57
Current children cumulated vsize (Kb) 4612

[startup+220.016 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 350 0 0 0 15046 2311 0 0 15 0 1 0 20464753 2543616 320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5590/statm): 621 320 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 173.58
Current children cumulated vsize (Kb) 4612

[startup+230.016 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 350 0 0 0 15732 2415 0 0 16 0 1 0 20464753 2543616 320 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5590/statm): 621 320 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 181.48
Current children cumulated vsize (Kb) 4612

[startup+240.016 s]
Raw data (loadavg): 1.16 1.07 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 350 0 0 0 16419 2521 0 0 15 0 1 0 20464753 2543616 320 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 320 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 189.41
Current children cumulated vsize (Kb) 4612

[startup+250.017 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 351 0 0 0 17117 2624 0 0 16 0 1 0 20464753 2543616 321 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 321 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 197.42
Current children cumulated vsize (Kb) 4612

[startup+260.018 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 352 0 0 0 17801 2727 0 0 15 0 1 0 20464753 2543616 322 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 322 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 205.29
Current children cumulated vsize (Kb) 4612

[startup+270.018 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 352 0 0 0 18493 2827 0 0 16 0 1 0 20464753 2543616 322 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 322 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 213.21
Current children cumulated vsize (Kb) 4612

[startup+280.019 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 353 0 0 0 19200 2923 0 0 15 0 1 0 20464753 2543616 323 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 323 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 221.24
Current children cumulated vsize (Kb) 4612

[startup+290.019 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 353 0 0 0 19891 3021 0 0 15 0 1 0 20464753 2543616 323 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5590/statm): 621 323 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 229.13
Current children cumulated vsize (Kb) 4612

[startup+300.02 s]
Raw data (loadavg): 1.14 1.07 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 20582 3126 0 0 15 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 324 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 237.09
Current children cumulated vsize (Kb) 4612

[startup+310.021 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 21267 3233 0 0 16 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 324 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 245.01
Current children cumulated vsize (Kb) 4612

[startup+320.022 s]
Raw data (loadavg): 1.10 1.07 1.01 2/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 21972 3331 0 0 16 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 324 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 253.04
Current children cumulated vsize (Kb) 4612

[startup+330.022 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 22664 3433 0 0 15 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5590/statm): 621 324 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 260.98
Current children cumulated vsize (Kb) 4612

[startup+340.022 s]
Raw data (loadavg): 1.15 1.08 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 23347 3539 0 0 15 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 324 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 268.87
Current children cumulated vsize (Kb) 4612

[startup+350.023 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 24045 3638 0 0 16 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 324 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 276.84
Current children cumulated vsize (Kb) 4612

[startup+360.023 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 24740 3740 0 0 16 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 324 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 284.81
Current children cumulated vsize (Kb) 4612

[startup+370.024 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 25430 3841 0 0 15 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 324 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 292.72
Current children cumulated vsize (Kb) 4612

[startup+380.024 s]
Raw data (loadavg): 1.07 1.07 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 355 0 0 0 26127 3945 0 0 16 0 1 0 20464753 2543616 325 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 325 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 300.73
Current children cumulated vsize (Kb) 4612

[startup+390.025 s]
Raw data (loadavg): 1.14 1.08 1.01 2/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) R 5587 5587 4061 0 -1 0 355 0 0 0 26823 4051 0 0 16 0 1 0 20464753 2543616 325 4294967295 134512640 134702520 3221223952 3221214768 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 325 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 308.75
Current children cumulated vsize (Kb) 4612

[startup+400.024 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5590
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 242 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 27513 4150 0 0 16 0 1 0 20464753 2543616 326 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5590/statm): 621 326 413 48 0 573 0
[pid=5590] vsize: 2484
Current children cumulated CPU time (s) 316.64
Current children cumulated vsize (Kb) 4612
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=5590) exited with status: 2
New process pid=5591
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=5591) exited with status: 0
New process pid=5592
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+410.025 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 208 0 0 0 150 54 0 0 17 0 1 0 20505427 2023424 178 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 494 178 413 48 0 446 0
[pid=5592] vsize: 1976
Current children cumulated CPU time (s) 324.15
Current children cumulated vsize (Kb) 4104

[startup+420.026 s]
Raw data (loadavg): 1.08 1.07 1.01 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 261 0 0 0 667 205 0 0 18 0 1 0 20505427 2375680 231 4294967295 134512640 134702520 3221223712 3221222992 134552319 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 580 231 413 48 0 532 0
[pid=5592] vsize: 2320
Current children cumulated CPU time (s) 330.83
Current children cumulated vsize (Kb) 4448

[startup+430.026 s]
Raw data (loadavg): 1.07 1.07 1.01 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 274 0 0 0 1161 368 0 0 15 0 1 0 20505427 2375680 244 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 580 244 413 48 0 532 0
[pid=5592] vsize: 2320
Current children cumulated CPU time (s) 337.4
Current children cumulated vsize (Kb) 4448

[startup+440.027 s]
Raw data (loadavg): 1.06 1.07 1.01 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 281 0 0 0 1709 516 0 0 15 0 1 0 20505427 2375680 251 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 580 251 413 48 0 532 0
[pid=5592] vsize: 2320
Current children cumulated CPU time (s) 344.36
Current children cumulated vsize (Kb) 4448

[startup+450.027 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 284 0 0 0 2201 687 0 0 15 0 1 0 20505427 2375680 254 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 580 254 413 48 0 532 0
[pid=5592] vsize: 2320
Current children cumulated CPU time (s) 350.99
Current children cumulated vsize (Kb) 4448

[startup+460.028 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 333 0 0 0 2773 830 0 0 16 0 1 0 20505427 2379776 303 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 581 303 413 48 0 533 0
[pid=5592] vsize: 2324
Current children cumulated CPU time (s) 358.14
Current children cumulated vsize (Kb) 4452

[startup+470.028 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 334 0 0 0 3339 969 0 0 15 0 1 0 20505427 2379776 304 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 581 304 413 48 0 533 0
[pid=5592] vsize: 2324
Current children cumulated CPU time (s) 365.19
Current children cumulated vsize (Kb) 4452

[startup+480.029 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 334 0 0 0 3846 1132 0 0 15 0 1 0 20505427 2379776 304 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 581 304 413 48 0 533 0
[pid=5592] vsize: 2324
Current children cumulated CPU time (s) 371.89
Current children cumulated vsize (Kb) 4452

[startup+490.03 s]
Raw data (loadavg): 1.15 1.08 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 334 0 0 0 4371 1292 0 0 15 0 1 0 20505427 2379776 304 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 581 304 413 48 0 533 0
[pid=5592] vsize: 2324
Current children cumulated CPU time (s) 378.74
Current children cumulated vsize (Kb) 4452

[startup+500.03 s]
Raw data (loadavg): 1.20 1.10 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 335 0 0 0 4889 1453 0 0 15 0 1 0 20505427 2379776 305 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 581 305 413 48 0 533 0
[pid=5592] vsize: 2324
Current children cumulated CPU time (s) 385.53
Current children cumulated vsize (Kb) 4452

[startup+510.031 s]
Raw data (loadavg): 1.17 1.09 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 335 0 0 0 5429 1599 0 0 16 0 1 0 20505427 2379776 305 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 581 305 413 48 0 533 0
[pid=5592] vsize: 2324
Current children cumulated CPU time (s) 392.39
Current children cumulated vsize (Kb) 4452

[startup+520.031 s]
Raw data (loadavg): 1.14 1.09 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 336 0 0 0 5928 1763 0 0 16 0 1 0 20505427 2379776 306 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 581 306 413 48 0 533 0
[pid=5592] vsize: 2324
Current children cumulated CPU time (s) 399.02
Current children cumulated vsize (Kb) 4452

[startup+530.031 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 337 0 0 0 6481 1900 0 0 15 0 1 0 20505427 2379776 307 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 581 307 413 48 0 533 0
[pid=5592] vsize: 2324
Current children cumulated CPU time (s) 405.92
Current children cumulated vsize (Kb) 4452

[startup+540.031 s]
Raw data (loadavg): 1.10 1.08 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 338 0 0 0 6985 2061 0 0 15 0 1 0 20505427 2379776 308 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 581 308 413 48 0 533 0
[pid=5592] vsize: 2324
Current children cumulated CPU time (s) 412.57
Current children cumulated vsize (Kb) 4452

[startup+550.032 s]
Raw data (loadavg): 1.09 1.08 1.01 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 339 0 0 0 7558 2202 0 0 15 0 1 0 20505427 2379776 309 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 581 309 413 48 0 533 0
[pid=5592] vsize: 2324
Current children cumulated CPU time (s) 419.71
Current children cumulated vsize (Kb) 4452

[startup+560.033 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 340 0 0 0 8052 2378 0 0 15 0 1 0 20505427 2510848 310 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 310 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 426.41
Current children cumulated vsize (Kb) 4580

[startup+570.033 s]
Raw data (loadavg): 1.20 1.11 1.02 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 342 0 0 0 8647 2508 0 0 16 0 1 0 20505427 2510848 312 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 312 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 433.66
Current children cumulated vsize (Kb) 4580

[startup+580.034 s]
Raw data (loadavg): 1.17 1.10 1.02 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 342 0 0 0 9204 2658 0 0 16 0 1 0 20505427 2510848 312 4294967295 134512640 134702520 3221223712 3221222912 134617794 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 312 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 440.73
Current children cumulated vsize (Kb) 4580

[startup+590.034 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 343 0 0 0 9697 2825 0 0 15 0 1 0 20505427 2510848 313 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 313 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 447.33
Current children cumulated vsize (Kb) 4580

[startup+600.035 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 343 0 0 0 10228 2977 0 0 15 0 1 0 20505427 2510848 313 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 313 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 454.16
Current children cumulated vsize (Kb) 4580

[startup+610.036 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 343 0 0 0 10755 3135 0 0 15 0 1 0 20505427 2510848 313 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 313 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 461.01
Current children cumulated vsize (Kb) 4580

[startup+620.037 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 343 0 0 0 11271 3290 0 0 15 0 1 0 20505427 2510848 313 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 313 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 467.72
Current children cumulated vsize (Kb) 4580

[startup+630.036 s]
Raw data (loadavg): 1.14 1.10 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 344 0 0 0 11793 3445 0 0 16 0 1 0 20505427 2510848 314 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 314 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 474.49
Current children cumulated vsize (Kb) 4580

[startup+640.037 s]
Raw data (loadavg): 1.12 1.10 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 345 0 0 0 12309 3605 0 0 15 0 1 0 20505427 2510848 315 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 315 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 481.25
Current children cumulated vsize (Kb) 4580

[startup+650.038 s]
Raw data (loadavg): 1.10 1.09 1.02 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 346 0 0 0 12845 3759 0 0 16 0 1 0 20505427 2510848 316 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 316 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 488.15
Current children cumulated vsize (Kb) 4580

[startup+660.038 s]
Raw data (loadavg): 1.08 1.09 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 346 0 0 0 13363 3918 0 0 15 0 1 0 20505427 2510848 316 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 316 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 494.92
Current children cumulated vsize (Kb) 4580

[startup+670.04 s]
Raw data (loadavg): 1.07 1.08 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 347 0 0 0 13913 4073 0 0 15 0 1 0 20505427 2510848 317 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 317 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 501.97
Current children cumulated vsize (Kb) 4580

[startup+680.039 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 348 0 0 0 14436 4232 0 0 15 0 1 0 20505427 2510848 318 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 318 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 508.79
Current children cumulated vsize (Kb) 4580

[startup+690.04 s]
Raw data (loadavg): 1.05 1.08 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 348 0 0 0 14998 4382 0 0 16 0 1 0 20505427 2510848 318 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 318 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 515.91
Current children cumulated vsize (Kb) 4580

[startup+700.04 s]
Raw data (loadavg): 1.04 1.08 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 351 0 0 0 15523 4538 0 0 16 0 1 0 20505427 2510848 321 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 321 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 522.72
Current children cumulated vsize (Kb) 4580

[startup+710.041 s]
Raw data (loadavg): 1.04 1.07 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 352 0 0 0 16087 4682 0 0 15 0 1 0 20505427 2510848 322 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 322 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 529.8
Current children cumulated vsize (Kb) 4580

[startup+720.042 s]
Raw data (loadavg): 1.03 1.07 1.01 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 353 0 0 0 16659 4826 0 0 16 0 1 0 20505427 2510848 323 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 323 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 536.96
Current children cumulated vsize (Kb) 4580

[startup+730.042 s]
Raw data (loadavg): 1.10 1.08 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 17205 4973 0 0 15 0 1 0 20505427 2510848 324 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 324 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 543.89
Current children cumulated vsize (Kb) 4580

[startup+740.043 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 355 0 0 0 17803 5110 0 0 15 0 1 0 20505427 2510848 325 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 325 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 551.24
Current children cumulated vsize (Kb) 4580

[startup+750.043 s]
Raw data (loadavg): 1.22 1.11 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 355 0 0 0 18336 5259 0 0 16 0 1 0 20505427 2510848 325 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 325 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 558.06
Current children cumulated vsize (Kb) 4580

[startup+760.045 s]
Raw data (loadavg): 1.19 1.11 1.03 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 356 0 0 0 18836 5426 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 326 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 564.73
Current children cumulated vsize (Kb) 4580

[startup+770.045 s]
Raw data (loadavg): 1.16 1.10 1.03 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 356 0 0 0 19375 5575 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 326 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 571.61
Current children cumulated vsize (Kb) 4580

[startup+780.045 s]
Raw data (loadavg): 1.21 1.12 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 19875 5733 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 326 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 578.19
Current children cumulated vsize (Kb) 4580

[startup+790.046 s]
Raw data (loadavg): 1.17 1.11 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 20416 5884 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 326 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 585.11
Current children cumulated vsize (Kb) 4580

[startup+800.047 s]
Raw data (loadavg): 1.15 1.11 1.03 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 356 0 0 0 20904 6055 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 326 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 591.7
Current children cumulated vsize (Kb) 4580

[startup+810.048 s]
Raw data (loadavg): 1.12 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 21446 6205 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 326 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 598.62
Current children cumulated vsize (Kb) 4580

[startup+820.048 s]
Raw data (loadavg): 1.10 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 21922 6377 0 0 15 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 326 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 605.1
Current children cumulated vsize (Kb) 4580

[startup+830.049 s]
Raw data (loadavg): 1.09 1.10 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 22445 6536 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 326 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 611.92
Current children cumulated vsize (Kb) 4580

[startup+840.049 s]
Raw data (loadavg): 1.07 1.09 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 22943 6698 0 0 15 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 326 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 618.52
Current children cumulated vsize (Kb) 4580

[startup+850.05 s]
Raw data (loadavg): 1.06 1.09 1.02 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 23458 6853 0 0 15 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 326 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 625.22
Current children cumulated vsize (Kb) 4580

[startup+860.051 s]
Raw data (loadavg): 1.13 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 357 0 0 0 23991 7002 0 0 15 0 1 0 20505427 2510848 327 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 327 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 632.04
Current children cumulated vsize (Kb) 4580

[startup+870.052 s]
Raw data (loadavg): 1.11 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 357 0 0 0 24498 7166 0 0 15 0 1 0 20505427 2510848 327 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 327 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 638.75
Current children cumulated vsize (Kb) 4580

[startup+880.052 s]
Raw data (loadavg): 1.17 1.11 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 357 0 0 0 25052 7308 0 0 16 0 1 0 20505427 2510848 327 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 327 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 645.71
Current children cumulated vsize (Kb) 4580

[startup+890.052 s]
Raw data (loadavg): 1.15 1.11 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 357 0 0 0 25570 7468 0 0 15 0 1 0 20505427 2510848 327 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 327 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 652.49
Current children cumulated vsize (Kb) 4580

[startup+900.053 s]
Raw data (loadavg): 1.12 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 357 0 0 0 26138 7608 0 0 16 0 1 0 20505427 2510848 327 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 327 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 659.57
Current children cumulated vsize (Kb) 4580

[startup+910.054 s]
Raw data (loadavg): 1.10 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 26656 7774 0 0 15 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 328 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 666.41
Current children cumulated vsize (Kb) 4580

[startup+920.055 s]
Raw data (loadavg): 1.09 1.09 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 27210 7923 0 0 15 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 328 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 673.44
Current children cumulated vsize (Kb) 4580

[startup+930.055 s]
Raw data (loadavg): 1.07 1.09 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 27733 8081 0 0 16 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 328 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 680.25
Current children cumulated vsize (Kb) 4580

[startup+940.056 s]
Raw data (loadavg): 1.13 1.10 1.03 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 358 0 0 0 28250 8244 0 0 16 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 328 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 687.05
Current children cumulated vsize (Kb) 4580

[startup+950.057 s]
Raw data (loadavg): 1.11 1.10 1.03 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 358 0 0 0 28749 8407 0 0 15 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 328 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 693.67
Current children cumulated vsize (Kb) 4580

[startup+960.057 s]
Raw data (loadavg): 1.10 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 29307 8551 0 0 16 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 328 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 700.69
Current children cumulated vsize (Kb) 4580

[startup+970.058 s]
Raw data (loadavg): 1.08 1.09 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 29806 8710 0 0 15 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 328 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 707.27
Current children cumulated vsize (Kb) 4580

[startup+980.057 s]
Raw data (loadavg): 1.07 1.09 1.03 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 358 0 0 0 30373 8856 0 0 16 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 328 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 714.4
Current children cumulated vsize (Kb) 4580

[startup+990.058 s]
Raw data (loadavg): 1.14 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 30861 9022 0 0 16 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 328 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 720.94
Current children cumulated vsize (Kb) 4580

[startup+1000.06 s]
Raw data (loadavg): 1.11 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 31441 9164 0 0 15 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 328 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 728.16
Current children cumulated vsize (Kb) 4580

[startup+1010.06 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 31943 9331 0 0 15 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 329 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 734.85
Current children cumulated vsize (Kb) 4580

[startup+1020.06 s]
Raw data (loadavg): 1.08 1.09 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 32509 9474 0 0 16 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 329 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 741.94
Current children cumulated vsize (Kb) 4580

[startup+1030.06 s]
Raw data (loadavg): 1.07 1.09 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 33022 9628 0 0 15 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 329 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 748.61
Current children cumulated vsize (Kb) 4580

[startup+1040.06 s]
Raw data (loadavg): 1.06 1.08 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 33580 9773 0 0 15 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 329 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 755.64
Current children cumulated vsize (Kb) 4580

[startup+1050.06 s]
Raw data (loadavg): 1.12 1.10 1.03 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 359 0 0 0 34073 9950 0 0 15 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 329 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (Kb) 4580

[startup+1060.06 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 34598 10105 0 0 16 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 329 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 769.14
Current children cumulated vsize (Kb) 4580

[startup+1070.06 s]
Raw data (loadavg): 1.09 1.09 1.03 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 359 0 0 0 35115 10262 0 0 16 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 329 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 775.88
Current children cumulated vsize (Kb) 4580

[startup+1080.06 s]
Raw data (loadavg): 1.15 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 35655 10409 0 0 16 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 329 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 782.75
Current children cumulated vsize (Kb) 4580

[startup+1090.06 s]
Raw data (loadavg): 1.12 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 36180 10566 0 0 15 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 329 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 789.57
Current children cumulated vsize (Kb) 4580

[startup+1100.06 s]
Raw data (loadavg): 1.10 1.09 1.03 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 359 0 0 0 36701 10723 0 0 16 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 329 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 796.35
Current children cumulated vsize (Kb) 4580

[startup+1110.06 s]
Raw data (loadavg): 1.17 1.11 1.04 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 359 0 0 0 37221 10875 0 0 16 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 329 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 803.07
Current children cumulated vsize (Kb) 4580

[startup+1120.06 s]
Raw data (loadavg): 1.14 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 360 0 0 0 37763 11023 0 0 16 0 1 0 20505427 2510848 330 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 330 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 809.97
Current children cumulated vsize (Kb) 4580

[startup+1130.06 s]
Raw data (loadavg): 1.12 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 361 0 0 0 38305 11175 0 0 15 0 1 0 20505427 2510848 331 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 331 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 816.91
Current children cumulated vsize (Kb) 4580

[startup+1140.07 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 361 0 0 0 38860 11326 0 0 15 0 1 0 20505427 2510848 331 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 331 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 823.97
Current children cumulated vsize (Kb) 4580

[startup+1150.07 s]
Raw data (loadavg): 1.08 1.09 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 361 0 0 0 39402 11475 0 0 16 0 1 0 20505427 2510848 331 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 331 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 830.88
Current children cumulated vsize (Kb) 4580

[startup+1160.07 s]
Raw data (loadavg): 1.14 1.10 1.04 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 361 0 0 0 39954 11621 0 0 16 0 1 0 20505427 2510848 331 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 331 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 837.86
Current children cumulated vsize (Kb) 4580

[startup+1170.07 s]
Raw data (loadavg): 1.12 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 40433 11796 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 844.4
Current children cumulated vsize (Kb) 4580

[startup+1180.07 s]
Raw data (loadavg): 1.10 1.10 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 40955 11950 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 851.16
Current children cumulated vsize (Kb) 4580

[startup+1190.07 s]
Raw data (loadavg): 1.09 1.09 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 41447 12115 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 857.73
Current children cumulated vsize (Kb) 4580

[startup+1200.07 s]
Raw data (loadavg): 1.07 1.09 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 41950 12279 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 864.4
Current children cumulated vsize (Kb) 4580

[startup+1210.07 s]
Raw data (loadavg): 1.06 1.08 1.03 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 362 0 0 0 42481 12431 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 871.23
Current children cumulated vsize (Kb) 4580

[startup+1220.07 s]
Raw data (loadavg): 1.05 1.08 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 42987 12599 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 877.97
Current children cumulated vsize (Kb) 4580

[startup+1230.07 s]
Raw data (loadavg): 1.04 1.08 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 43535 12745 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 884.91
Current children cumulated vsize (Kb) 4580

[startup+1240.07 s]
Raw data (loadavg): 1.12 1.09 1.03 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 362 0 0 0 44020 12914 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222992 134553375 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 891.45
Current children cumulated vsize (Kb) 4580

[startup+1250.07 s]
Raw data (loadavg): 1.10 1.09 1.03 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 44587 13058 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 898.56
Current children cumulated vsize (Kb) 4580

[startup+1260.07 s]
Raw data (loadavg): 1.24 1.12 1.04 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 45095 13227 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 905.33
Current children cumulated vsize (Kb) 4580

[startup+1270.07 s]
Raw data (loadavg): 1.20 1.11 1.04 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 45647 13378 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 912.36
Current children cumulated vsize (Kb) 4580

[startup+1280.07 s]
Raw data (loadavg): 1.24 1.13 1.05 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 46151 13542 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 919.04
Current children cumulated vsize (Kb) 4580

[startup+1290.07 s]
Raw data (loadavg): 1.20 1.12 1.04 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 46723 13686 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 926.2
Current children cumulated vsize (Kb) 4580

[startup+1300.07 s]
Raw data (loadavg): 1.25 1.13 1.05 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 47239 13842 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 932.92
Current children cumulated vsize (Kb) 4580

[startup+1310.07 s]
Raw data (loadavg): 1.21 1.13 1.05 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 47826 13982 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 332 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 940.19
Current children cumulated vsize (Kb) 4580

[startup+1320.07 s]
Raw data (loadavg): 1.18 1.12 1.05 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 48363 14132 0 0 16 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 333 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 947.06
Current children cumulated vsize (Kb) 4580

[startup+1330.07 s]
Raw data (loadavg): 1.23 1.13 1.05 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 48923 14276 0 0 15 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 333 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 954.1
Current children cumulated vsize (Kb) 4580

[startup+1340.08 s]
Raw data (loadavg): 1.20 1.13 1.05 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 49436 14433 0 0 15 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 333 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 960.8
Current children cumulated vsize (Kb) 4580

[startup+1350.08 s]
Raw data (loadavg): 1.16 1.12 1.05 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 49948 14602 0 0 15 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 333 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 967.61
Current children cumulated vsize (Kb) 4580

[startup+1360.08 s]
Raw data (loadavg): 1.21 1.14 1.05 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 50431 14765 0 0 16 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 333 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 974.07
Current children cumulated vsize (Kb) 4580

[startup+1370.08 s]
Raw data (loadavg): 1.26 1.15 1.06 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 363 0 0 0 50976 14917 0 0 16 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221222608 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 333 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 981.04
Current children cumulated vsize (Kb) 4580

[startup+1380.08 s]
Raw data (loadavg): 1.22 1.14 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 51475 15080 0 0 15 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 333 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 987.66
Current children cumulated vsize (Kb) 4580

[startup+1390.08 s]
Raw data (loadavg): 1.18 1.14 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 52035 15227 0 0 15 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 333 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 994.73
Current children cumulated vsize (Kb) 4580

[startup+1400.08 s]
Raw data (loadavg): 1.23 1.15 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 52526 15393 0 0 16 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 333 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1001.3
Current children cumulated vsize (Kb) 4580

[startup+1410.08 s]
Raw data (loadavg): 1.19 1.14 1.06 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 363 0 0 0 53098 15540 0 0 16 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 333 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1008.49
Current children cumulated vsize (Kb) 4580

[startup+1420.08 s]
Raw data (loadavg): 1.16 1.14 1.06 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 364 0 0 0 53600 15705 0 0 16 0 1 0 20505427 2510848 334 4294967295 134512640 134702520 3221223712 3221222832 134578964 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 334 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1015.16
Current children cumulated vsize (Kb) 4580

[startup+1430.08 s]
Raw data (loadavg): 1.14 1.13 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 364 0 0 0 54169 15848 0 0 16 0 1 0 20505427 2510848 334 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 334 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1022.28
Current children cumulated vsize (Kb) 4580

[startup+1440.08 s]
Raw data (loadavg): 1.12 1.13 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 364 0 0 0 54683 16005 0 0 15 0 1 0 20505427 2510848 334 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 334 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1028.99
Current children cumulated vsize (Kb) 4580

[startup+1450.08 s]
Raw data (loadavg): 1.10 1.12 1.06 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 364 0 0 0 55271 16144 0 0 16 0 1 0 20505427 2510848 334 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 334 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1036.26
Current children cumulated vsize (Kb) 4580

[startup+1460.08 s]
Raw data (loadavg): 1.16 1.14 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 364 0 0 0 55773 16313 0 0 15 0 1 0 20505427 2510848 334 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 334 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1042.97
Current children cumulated vsize (Kb) 4580

[startup+1470.08 s]
Raw data (loadavg): 1.22 1.15 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 364 0 0 0 56367 16447 0 0 16 0 1 0 20505427 2510848 334 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 334 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1050.25
Current children cumulated vsize (Kb) 4580

[startup+1480.08 s]
Raw data (loadavg): 1.26 1.16 1.07 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 365 0 0 0 56860 16615 0 0 16 0 1 0 20505427 2510848 335 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 335 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1056.86
Current children cumulated vsize (Kb) 4580

[startup+1490.08 s]
Raw data (loadavg): 1.22 1.15 1.07 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 365 0 0 0 57434 16752 0 0 16 0 1 0 20505427 2510848 335 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 335 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1063.97
Current children cumulated vsize (Kb) 4580

[startup+1500.08 s]
Raw data (loadavg): 1.18 1.15 1.07 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 366 0 0 0 57963 16902 0 0 16 0 1 0 20505427 2510848 336 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 336 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1070.76
Current children cumulated vsize (Kb) 4580

[startup+1510.08 s]
Raw data (loadavg): 1.16 1.14 1.07 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 366 0 0 0 58570 17039 0 0 16 0 1 0 20505427 2510848 336 4294967295 134512640 134702520 3221223712 3221223284 134561459 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 336 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1078.2
Current children cumulated vsize (Kb) 4580

[startup+1520.08 s]
Raw data (loadavg): 1.13 1.14 1.06 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 367 0 0 0 59088 17193 0 0 16 0 1 0 20505427 2510848 337 4294967295 134512640 134702520 3221223712 3221222352 134554417 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 337 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1084.92
Current children cumulated vsize (Kb) 4580

[startup+1530.08 s]
Raw data (loadavg): 1.11 1.13 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 369 0 0 0 59700 17318 0 0 16 0 1 0 20505427 2510848 339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 339 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1092.29
Current children cumulated vsize (Kb) 4580

[startup+1540.08 s]
Raw data (loadavg): 1.09 1.13 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 369 0 0 0 60269 17462 0 0 16 0 1 0 20505427 2510848 339 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 339 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1099.42
Current children cumulated vsize (Kb) 4580

[startup+1550.09 s]
Raw data (loadavg): 1.08 1.12 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 370 0 0 0 60840 17604 0 0 15 0 1 0 20505427 2510848 340 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 340 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1106.55
Current children cumulated vsize (Kb) 4580

[startup+1560.09 s]
Raw data (loadavg): 1.14 1.13 1.07 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 370 0 0 0 61408 17741 0 0 16 0 1 0 20505427 2510848 340 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 340 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1113.6
Current children cumulated vsize (Kb) 4580

[startup+1570.09 s]
Raw data (loadavg): 1.12 1.13 1.07 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 370 0 0 0 61919 17898 0 0 15 0 1 0 20505427 2510848 340 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 340 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1120.28
Current children cumulated vsize (Kb) 4580

[startup+1580.09 s]
Raw data (loadavg): 1.10 1.12 1.06 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 371 0 0 0 62441 18052 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1127.04
Current children cumulated vsize (Kb) 4580

[startup+1590.09 s]
Raw data (loadavg): 1.08 1.12 1.06 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 371 0 0 0 62930 18221 0 0 16 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1133.62
Current children cumulated vsize (Kb) 4580

[startup+1600.09 s]
Raw data (loadavg): 1.07 1.12 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 63465 18377 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1140.53
Current children cumulated vsize (Kb) 4580

[startup+1610.09 s]
Raw data (loadavg): 1.06 1.11 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 63958 18542 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1147.11
Current children cumulated vsize (Kb) 4580

[startup+1620.09 s]
Raw data (loadavg): 1.05 1.11 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 64497 18695 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1154.03
Current children cumulated vsize (Kb) 4580

[startup+1630.09 s]
Raw data (loadavg): 1.04 1.10 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 65004 18857 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1160.72
Current children cumulated vsize (Kb) 4580

[startup+1640.09 s]
Raw data (loadavg): 1.11 1.12 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 65541 19013 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1167.65
Current children cumulated vsize (Kb) 4580

[startup+1650.09 s]
Raw data (loadavg): 1.09 1.11 1.06 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 66059 19167 0 0 16 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1174.37
Current children cumulated vsize (Kb) 4580

[startup+1660.09 s]
Raw data (loadavg): 1.08 1.11 1.06 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 66614 19316 0 0 16 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1181.41
Current children cumulated vsize (Kb) 4580

[startup+1670.09 s]
Raw data (loadavg): 1.14 1.12 1.07 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 67110 19479 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1188
Current children cumulated vsize (Kb) 4580

[startup+1680.09 s]
Raw data (loadavg): 1.12 1.12 1.07 1/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 67641 19635 0 0 16 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1194.87
Current children cumulated vsize (Kb) 4580

[startup+1690.09 s]
Raw data (loadavg): 1.10 1.11 1.06 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 371 0 0 0 68128 19805 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1201.44
Current children cumulated vsize (Kb) 4580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1690.1 s]
Raw data (loadavg): 1.10 1.11 1.06 2/56 5592
Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5587/statm): 532 248 485 147 0 385 0
[pid=5587] vsize: 2128
Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 68128 19805 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5592/statm): 613 341 413 48 0 565 0
[pid=5592] vsize: 2452
Current children cumulated CPU time (s) 1201.44
Current children cumulated vsize (Kb) 4580

Sending SIGTERM to -5587
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5594
New process pid=5595
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
execve syscall for /bin/ps executable
One traced child (pid=5592) exited with status: 3
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4044/stat
open syscall for file /proc/4044/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/4044/cmdline
open syscall for file /proc/4044/environ
open syscall for file /proc/4069/stat
open syscall for file /proc/4069/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/4069/cmdline
open syscall for file /proc/4069/environ
open syscall for file /proc/5548/stat
open syscall for file /proc/5548/status
open syscall for file /proc/5548/cmdline
open syscall for file /proc/5548/environ
open syscall for file /proc/5586/stat
open syscall for file /proc/5586/status
open syscall for file /proc/5586/cmdline
open syscall for file /proc/5586/environ
open syscall for file /proc/5587/stat
open syscall for file /proc/5587/status
open syscall for file /proc/5587/cmdline
open syscall for file /proc/5587/environ
open syscall for file /proc/5594/stat
open syscall for file /proc/5594/status
open syscall for file /proc/5594/cmdline
open syscall for file /proc/5594/environ
open syscall for file /proc/5595/stat
open syscall for file /proc/5595/status
open syscall for file /proc/5595/cmdline
open syscall for file /proc/5595/environ
One traced child (pid=5594) exited with status: 0
One traced child (pid=5595) exited with status: 0
New process pid=5596
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=5596) exited with status: 0
New process pid=5597
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=5597) exited with status: 0
One traced child (pid=5587) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1690.57
CPU time (s): 1201.58
CPU user time (s): 961.219
CPU system time (s): 240.357
CPU usage (%): 71.0751
Max. virtual memory (cumulated for all children) (Kb): 4612

Verifier Data

ERROR: no interpretation found !