Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb
MD5SUMf1382105ee9fb79777762a53cf6a73c1
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21166
Optimality of the best value was proved YES
Number of terms in the objective function 304
Biggest coefficient in the objective function 62376
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 3092598
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 62376
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 3092598
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark29.0836
Number of variables556
Total number of constraints217
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints191
Minimum length of a constraint1
Maximum length of a constraint48

Trace number 9337

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        940604 kB
Buffers:         13752 kB
Cached:          61456 kB
SwapCached:          0 kB
Active:          42748 kB
Inactive:        35412 kB
HighTotal:      131008 kB
HighFree:        65128 kB
LowTotal:       903652 kB
LowFree:        875476 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              76 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10172 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:00:37 (client local time) WITH STATUS 0 IN 1202.27 SECONDS
stats: 8050 7 1202.27 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 11  (#equs: 1)
#decisions: 305;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  2973019 (119578:>=*);
#decisions: 246;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2983759 (108838:>=*);
#decisions: 90;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2984749 (107848:>=*);
#decisions: 124;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2987849 (104748:>=*);
#decisions: 131;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2988501 (104096:>=*);
#decisions: 76;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2990949 (101648:>=*);
#decisions: 78;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2991939 (100658:>=*);
#decisions: 70;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2992099 (100498:>=*);
#decisions: 108;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2995039 (97558:>=*);
#decisions: 49;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2995454 (97143:>=*);
#decisions: 77;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2998139 (94458:>=*);
#decisions: 155;  #end-nodes: 80;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2998304 (94293:>=*);
#decisions: 27;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2998699 (93898:>=*);
#decisions: 38;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2999956 (92641:>=*);
#decisions: 40;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3000694 (91903:>=*);
#decisions: 39;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3000857 (91740:>=*);
#decisions: 31;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3001653 (90944:>=*);
#decisions: 41;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3002048 (90549:>=*);
#decisions: 100;  #end-nodes: 67;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 67 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3002146 (90451:>=*);
#decisions: 49;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3002227 (90370:>=*);
#decisions: 139;  #end-nodes: 84;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 3 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3003379 (89218:>=*);
#decisions: 171;  #end-nodes: 81;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3003491 (89106:>=*);
#decisions: 68;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3005939 (86658:>=*);
#decisions: 55;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3006334 (86263:>=*);
#decisions: 31;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3007591 (85006:>=*);
#decisions: 29;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3008478 (84119:>=*);
#decisions: 55;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3009268 (83329:>=*);
#decisions: 64;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3010130 (82467:>=*);
#decisions: 34;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3010525 (82072:>=*);
#decisions: 206;  #end-nodes: 80;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3010705 (81892:>=*);
#decisions: 94;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3011428 (81169:>=*);
#decisions: 57;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3012685 (79912:>=*);
#decisions: 66;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3014064 (78533:>=*);
#decisions: 49;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3014640 (77957:>=*);
#decisions: 36;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3015897 (76700:>=*);
#decisions: 35;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3016456 (76141:>=*);
#decisions: 35;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3017713 (74884:>=*);
#decisions: 24;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3018284 (74313:>=*);
#decisions: 36;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3018463 (74134:>=*);
#decisions: 25;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3019639 (72958:>=*);
#decisions: 25;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3020169 (72428:>=*);
#decisions: 62;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3020316 (72281:>=*);
#decisions: 30;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3020892 (71705:>=*);
#decisions: 1077;  #end-nodes: 734;
#proof improvement attempts: 0;  #restarts: 9
Current batch, end-nodes: 0 / 82 (82)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3022501 (70096:>=*);
#decisions: 281;  #end-nodes: 162;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3024071 (68526:>=*);
#decisions: 27;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3024647 (67950:>=*);
#decisions: 258;  #end-nodes: 174;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 13 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3025766 (66831:>=*);
#decisions: 74;  #end-nodes: 44;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3026174 (66423:>=*);
#decisions: 779;  #end-nodes: 527;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 42 / 81 (81)
#axs: 182, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3027197 (65400:>=*);
#decisions: 2322;  #end-nodes: 1578;
#proof improvement attempts: 0;  #restarts: 19
Current batch, end-nodes: 4 / 84 (84)
#axs: 182, #non-axs: 5
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:  3027740 (64857:>=*);
#decisions: 22;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 5
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:  3028997 (63600:>=*);
#decisions: 28;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 182, #non-axs: 5
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:  3029492 (63105:>=*);
#decisions: 53;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 182, #non-axs: 5
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:  3029652 (62945:>=*);
#decisions: 75;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 5
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:  3029683 (62914:>=*);
#decisions: 43;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 5
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:  3030078 (62519:>=*);
#decisions: 31;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 5
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:  3031335 (61262:>=*);
#decisions: 41;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 5
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:  3032592 (60005:>=*);
#decisions: 30;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 182, #non-axs: 5
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:  3033292 (59305:>=*);
#decisions: 34;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 5
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:  3033687 (58910:>=*);
#decisions: 21;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 5
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:  3034944 (57653:>=*);
#decisions: 3321;  #end-nodes: 2285;
#proof improvement attempts: 0;  #restarts: 26
Current batch, end-nodes: 68 / 86 (86)
#axs: 182, #non-axs: 36
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:  3036177 (56420:>=*);
#decisions: 34;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 36
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:  3036829 (55768:>=*);
#decisions: 56;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 182, #non-axs: 36
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:  3037294 (55303:>=*);
#decisions: 22;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 36
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:  3037351 (55246:>=*);
#decisions: 23;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 36
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:  3037461 (55136:>=*);
#decisions: 21;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 36
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:  3038020 (54577:>=*);
#decisions: 77;  #end-nodes: 43;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 43 / 80 (80)
#axs: 182, #non-axs: 36
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:  3038101 (54496:>=*);
#decisions: 5005;  #end-nodes: 3520;
#proof improvement attempts: 0;  #restarts: 34
Current batch, end-nodes: 68 / 88 (88)
#axs: 182, #non-axs: 68
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:  3038908 (53689:>=*);
#decisions: 25373;  #end-nodes: 18369;
#proof improvement attempts: 0;  #restarts: 147
Current batch, end-nodes: 17 / 116 (116)
#axs: 182, #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:  3039115 (53482:>=*);
#decisions: 14411;  #end-nodes: 10097;
#proof improvement attempts: 0;  #restarts: 102
Current batch, end-nodes: 2 / 108 (105)
#axs: 182, #non-axs: 115
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:  3041551 (51046:>=*);
#decisions: 3332;  #end-nodes: 2285;
#proof improvement attempts: 0;  #restarts: 26
Current batch, end-nodes: 14 / 86 (86)
#axs: 182, #non-axs: 193
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:  3041711 (50886:>=*);
#decisions: 66;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 182, #non-axs: 193
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:  3042507 (50090:>=*);
#decisions: 31308;  #end-nodes: 22272;
#proof improvement attempts: 0;  #restarts: 191
Current batch, end-nodes: 12 / 135 (127)
#axs: 182, #non-axs: 301
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:  3042665 (49932:>=*);
#decisions: 4313;  #end-nodes: 3013;
#proof improvement attempts: 0;  #restarts: 34
Current batch, end-nodes: 30 / 88 (88)
#axs: 182, #non-axs: 317
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:  3043416 (49181:>=*);
#decisions: 12872;  #end-nodes: 8889;
#proof improvement attempts: 0;  #restarts: 91
Current batch, end-nodes: 5 / 102 (102)
#axs: 182, #non-axs: 447
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:  3043896 (48701:>=*);
#decisions: 30044;  #end-nodes: 21380;
#proof improvement attempts: 0;  #restarts: 186
Current batch, end-nodes: 53 / 130 (126)
#axs: 182, #non-axs: 429
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3043989 (48608:>=*);
#decisions: 85196;  #end-nodes: 62585;
#proof improvement attempts: 0;  #restarts: 406
Current batch, end-nodes: 0 / 181 (181)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3044059 (48538:>=*);
#decisions: 33;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3044855 (47742:>=*);
#decisions: 24;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3045250 (47347:>=*);
#decisions: 24;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3046507 (46090:>=*);
#decisions: 68;  #end-nodes: 47;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 47 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3046999 (45598:>=*);
#decisions: 89;  #end-nodes: 57;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 57 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3047014 (45583:>=*);
#decisions: 81;  #end-nodes: 46;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 46 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3047095 (45502:>=*);
#decisions: 22;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3047795 (44802:>=*);
#decisions: 67194;  #end-nodes: 49931;
#proof improvement attempts: 0;  #restarts: 323
Current batch, end-nodes: 168 / 178 (160)
#axs: 182, #non-axs: 266
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3048247 (44350:>=*);
#decisions: 44224;  #end-nodes: 32653;
#proof improvement attempts: 0;  #restarts: 210
Current batch, end-nodes: 116 / 146 (132)
#axs: 182, #non-axs: 206
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3048373 (44224:>=*);
#decisions: 28;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 182, #non-axs: 206
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3049180 (43417:>=*);
#decisions: 9077;  #end-nodes: 6439;
#proof improvement attempts: 0;  #restarts: 69
Current batch, end-nodes: 40 / 102 (97)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3049634 (42963:>=*);
#decisions: 107;  #end-nodes: 62;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 62 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3049691 (42906:>=*);
#decisions: 46;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3050262 (42335:>=*);
#decisions: 47;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3050441 (42156:>=*);
#decisions: 27;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3051617 (40980:>=*);
#decisions: 28;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3052269 (40328:>=*);
#decisions: 23;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3053362 (39235:>=*);
#decisions: 27;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3054717 (37880:>=*);
#decisions: 124;  #end-nodes: 78;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 78 / 84 (80)
#axs: 182, #non-axs: 391
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3054871 (37726:>=*);
#decisions: 657477;  #end-nodes: 517787;
#proof improvement attempts: 0;  #restarts: 1486
Current batch, end-nodes: 120 / 451 (451)
#axs: 182, #non-axs: 145
tight: meta-meta: start: 3, end: 4;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3055168 (37429:>=*);
#decisions: 235489;  #end-nodes: 178853;
#proof improvement attempts: 0;  #restarts: 795
Current batch, end-nodes: 154 / 278 (278)
#axs: 182, #non-axs: 208
tight: meta-meta: start: 3, end: 4;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3055931 (36666:>=*);
#decisions: 116189;  #end-nodes: 86499;
#proof improvement attempts: 0;  #restarts: 480
Current batch, end-nodes: 0 / 199 (199)
#axs: 182, #non-axs: 209
tight: meta-meta: start: 3, end: 4;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 3055931 (36666:>=*)

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: 57  (#equs: 1)
Time taken: 10 min, 5 sec

2:
seed: 0
Nr of vars set: 57  (#equs: 0)
Nr of vars set: 57  (#equs: 0)
#decisions: 1073480;  #end-nodes: 854424;
#proof improvement attempts: 0;  #restarts: 1814
Current batch, end-nodes: 217 / 573 (573)
#axs: 137, #non-axs: 347
tight: meta-meta: start: 3, end: 3;  meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  1552735 (23638:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 1552735 (23638:>=*)

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: 57  (#equs: 0)
Time taken: 9 min, 56 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/5771/stat): 5771 (vallstSAT2005PB) R 5770 5771 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20209493 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5771/statm): 174 3 169 147 0 27 0
[pid=5771] 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=5772
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=5772) exited with status: 0
New process pid=5773
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=5773) exited with status: 0
New process pid=5774
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/wulflinc17/normalized-mps-v2-13-7-gt2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0029 s]
Raw data (loadavg): 0.70 0.91 0.97 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 268 0 0 0 363 193 0 0 16 0 1 0 20209499 2383872 238 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 582 238 413 48 0 534 0
[pid=5774] vsize: 2328
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (Kb) 4456

[startup+20.0035 s]
Raw data (loadavg): 0.74 0.91 0.97 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 333 0 0 0 843 358 0 0 17 0 1 0 20209499 2383872 303 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 582 303 413 48 0 534 0
[pid=5774] vsize: 2328
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (Kb) 4456

[startup+30.0051 s]
Raw data (loadavg): 0.85 0.93 0.97 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 344 0 0 0 1317 531 0 0 18 0 1 0 20209499 2383872 314 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 582 314 413 48 0 534 0
[pid=5774] vsize: 2328
Current children cumulated CPU time (s) 18.5
Current children cumulated vsize (Kb) 4456

[startup+40.0057 s]
Raw data (loadavg): 0.88 0.93 0.97 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 346 0 0 0 1786 708 0 0 17 0 1 0 20209499 2383872 316 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 582 316 413 48 0 534 0
[pid=5774] vsize: 2328
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (Kb) 4456

[startup+50.0063 s]
Raw data (loadavg): 0.89 0.93 0.97 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 348 0 0 0 2247 885 0 0 17 0 1 0 20209499 2519040 318 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 615 318 413 48 0 567 0
[pid=5774] vsize: 2460
Current children cumulated CPU time (s) 31.34
Current children cumulated vsize (Kb) 4588

[startup+60.0069 s]
Raw data (loadavg): 0.91 0.93 0.97 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 348 0 0 0 2746 1048 0 0 17 0 1 0 20209499 2514944 318 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 614 318 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 37.96
Current children cumulated vsize (Kb) 4584

[startup+70.0075 s]
Raw data (loadavg): 1.00 0.95 0.98 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 349 0 0 0 3246 1205 0 0 18 0 1 0 20209499 2514944 319 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 319 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 44.53
Current children cumulated vsize (Kb) 4584

[startup+80.0091 s]
Raw data (loadavg): 1.08 0.97 0.98 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) R 5771 5771 4060 0 -1 0 352 0 0 0 3786 1355 0 0 17 0 1 0 20209499 2514944 322 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 322 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 51.43
Current children cumulated vsize (Kb) 4584

[startup+90.0098 s]
Raw data (loadavg): 1.07 0.97 0.98 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) R 5771 5771 4060 0 -1 0 355 0 0 0 4320 1505 0 0 18 0 1 0 20209499 2514944 325 4294967295 134512640 134702520 3221223952 3221222720 134551090 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 325 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 58.27
Current children cumulated vsize (Kb) 4584

[startup+100.009 s]
Raw data (loadavg): 1.06 0.97 0.98 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 358 0 0 0 4883 1643 0 0 17 0 1 0 20209499 2514944 328 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 328 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 65.28
Current children cumulated vsize (Kb) 4584

[startup+110.01 s]
Raw data (loadavg): 1.05 0.97 0.98 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 359 0 0 0 5378 1808 0 0 17 0 1 0 20209499 2514944 329 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 614 329 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 71.88
Current children cumulated vsize (Kb) 4584

[startup+120.011 s]
Raw data (loadavg): 1.04 0.97 0.98 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 359 0 0 0 5939 1951 0 0 18 0 1 0 20209499 2514944 329 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 329 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 78.92
Current children cumulated vsize (Kb) 4584

[startup+130.012 s]
Raw data (loadavg): 1.03 0.97 0.98 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) R 5771 5771 4060 0 -1 0 361 0 0 0 6472 2103 0 0 17 0 1 0 20209499 2514944 331 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5774/statm): 614 331 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 85.77
Current children cumulated vsize (Kb) 4584

[startup+140.013 s]
Raw data (loadavg): 1.03 0.97 0.98 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 362 0 0 0 6988 2263 0 0 17 0 1 0 20209499 2514944 332 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 332 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 92.53
Current children cumulated vsize (Kb) 4584

[startup+150.013 s]
Raw data (loadavg): 1.02 0.97 0.98 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 364 0 0 0 7525 2411 0 0 17 0 1 0 20209499 2514944 334 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 334 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 99.38
Current children cumulated vsize (Kb) 4584

[startup+160.014 s]
Raw data (loadavg): 1.02 0.97 0.98 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) R 5771 5771 4060 0 -1 0 365 0 0 0 8052 2565 0 0 18 0 1 0 20209499 2514944 335 4294967295 134512640 134702520 3221223952 3221222692 134564366 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 335 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 106.19
Current children cumulated vsize (Kb) 4584

[startup+170.015 s]
Raw data (loadavg): 1.02 0.97 0.98 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 366 0 0 0 8588 2713 0 0 17 0 1 0 20209499 2514944 336 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 336 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 113.03
Current children cumulated vsize (Kb) 4584

[startup+180.016 s]
Raw data (loadavg): 1.09 0.99 0.99 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 367 0 0 0 9122 2868 0 0 18 0 1 0 20209499 2514944 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 337 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 119.92
Current children cumulated vsize (Kb) 4584

[startup+190.017 s]
Raw data (loadavg): 1.07 0.99 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 372 0 0 0 9670 3014 0 0 17 0 1 0 20209499 2514944 342 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 614 342 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 126.86
Current children cumulated vsize (Kb) 4584

[startup+200.016 s]
Raw data (loadavg): 1.06 0.99 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 373 0 0 0 10206 3164 0 0 18 0 1 0 20209499 2514944 343 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 343 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 133.72
Current children cumulated vsize (Kb) 4584

[startup+210.017 s]
Raw data (loadavg): 1.05 0.99 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 374 0 0 0 10765 3306 0 0 17 0 1 0 20209499 2514944 344 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 614 344 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 140.73
Current children cumulated vsize (Kb) 4584

[startup+220.018 s]
Raw data (loadavg): 1.04 0.99 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 374 0 0 0 11298 3460 0 0 18 0 1 0 20209499 2514944 344 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 344 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 147.6
Current children cumulated vsize (Kb) 4584

[startup+230.018 s]
Raw data (loadavg): 1.04 0.99 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 377 0 0 0 11868 3598 0 0 17 0 1 0 20209499 2514944 347 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 614 347 413 48 0 566 0
[pid=5774] vsize: 2456
Current children cumulated CPU time (s) 154.68
Current children cumulated vsize (Kb) 4584

[startup+240.019 s]
Raw data (loadavg): 1.03 0.99 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 378 0 0 0 12367 3763 0 0 18 0 1 0 20209499 2641920 348 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 645 348 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 161.32
Current children cumulated vsize (Kb) 4708

[startup+250.019 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 380 0 0 0 12918 3909 0 0 17 0 1 0 20209499 2641920 350 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 645 350 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 168.29
Current children cumulated vsize (Kb) 4708

[startup+260.02 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) R 5771 5771 4060 0 -1 0 381 0 0 0 13427 4072 0 0 18 0 1 0 20209499 2641920 351 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5774/statm): 645 351 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 175.01
Current children cumulated vsize (Kb) 4708

[startup+270.021 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 381 0 0 0 13994 4217 0 0 18 0 1 0 20209499 2641920 351 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 645 351 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 182.13
Current children cumulated vsize (Kb) 4708

[startup+280.021 s]
Raw data (loadavg): 1.01 0.99 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 382 0 0 0 14470 4389 0 0 18 0 1 0 20209499 2641920 352 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 645 352 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 188.61
Current children cumulated vsize (Kb) 4708

[startup+290.022 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) R 5771 5771 4060 0 -1 0 385 0 0 0 15051 4525 0 0 18 0 1 0 20209499 2641920 355 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5774/statm): 645 355 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 195.78
Current children cumulated vsize (Kb) 4708

[startup+300.022 s]
Raw data (loadavg): 1.08 1.00 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 386 0 0 0 15491 4709 0 0 18 0 1 0 20209499 2641920 356 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 645 356 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 202.02
Current children cumulated vsize (Kb) 4708

[startup+310.023 s]
Raw data (loadavg): 1.07 1.00 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 386 0 0 0 16033 4858 0 0 18 0 1 0 20209499 2641920 356 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 645 356 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 208.93
Current children cumulated vsize (Kb) 4708

[startup+320.024 s]
Raw data (loadavg): 1.06 1.00 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 386 0 0 0 16544 5011 0 0 17 0 1 0 20209499 2641920 356 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 645 356 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 215.57
Current children cumulated vsize (Kb) 4708

[startup+330.024 s]
Raw data (loadavg): 1.05 1.00 0.99 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 387 0 0 0 17060 5168 0 0 18 0 1 0 20209499 2641920 357 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 645 357 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (Kb) 4708

[startup+340.025 s]
Raw data (loadavg): 1.12 1.02 1.00 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 387 0 0 0 17535 5336 0 0 17 0 1 0 20209499 2641920 357 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 645 357 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 228.73
Current children cumulated vsize (Kb) 4708

[startup+350.024 s]
Raw data (loadavg): 1.10 1.02 1.00 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 390 0 0 0 18103 5472 0 0 18 0 1 0 20209499 2641920 360 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 645 360 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 235.77
Current children cumulated vsize (Kb) 4708

[startup+360.025 s]
Raw data (loadavg): 1.09 1.01 1.00 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 397 0 0 0 18609 5634 0 0 17 0 1 0 20209499 2641920 367 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 645 367 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 242.45
Current children cumulated vsize (Kb) 4708

[startup+370.026 s]
Raw data (loadavg): 1.15 1.03 1.01 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) R 5771 5771 4060 0 -1 0 399 0 0 0 19163 5777 0 0 17 0 1 0 20209499 2641920 369 4294967295 134512640 134702520 3221223952 3221222720 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5774/statm): 645 369 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 249.42
Current children cumulated vsize (Kb) 4708

[startup+380.026 s]
Raw data (loadavg): 1.13 1.03 1.00 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 400 0 0 0 19667 5942 0 0 15 0 1 0 20209499 2641920 370 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 645 370 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 256.11
Current children cumulated vsize (Kb) 4708

[startup+390.027 s]
Raw data (loadavg): 1.11 1.03 1.00 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 403 0 0 0 20217 6090 0 0 15 0 1 0 20209499 2641920 373 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 645 373 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 263.09
Current children cumulated vsize (Kb) 4708

[startup+400.026 s]
Raw data (loadavg): 1.17 1.04 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 404 0 0 0 20699 6259 0 0 15 0 1 0 20209499 2641920 374 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 645 374 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 269.6
Current children cumulated vsize (Kb) 4708

[startup+410.027 s]
Raw data (loadavg): 1.14 1.04 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 406 0 0 0 21271 6398 0 0 16 0 1 0 20209499 2641920 376 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 645 376 413 48 0 597 0
[pid=5774] vsize: 2580
Current children cumulated CPU time (s) 276.71
Current children cumulated vsize (Kb) 4708

[startup+420.028 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 407 0 0 0 21777 6560 0 0 16 0 1 0 20209499 2768896 377 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 676 377 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 283.39
Current children cumulated vsize (Kb) 4832

[startup+430.029 s]
Raw data (loadavg): 1.18 1.05 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 408 0 0 0 22315 6720 0 0 15 0 1 0 20209499 2768896 378 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 676 378 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 290.37
Current children cumulated vsize (Kb) 4832

[startup+440.03 s]
Raw data (loadavg): 1.15 1.05 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 409 0 0 0 22811 6882 0 0 15 0 1 0 20209499 2768896 379 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 676 379 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 296.95
Current children cumulated vsize (Kb) 4832

[startup+450.029 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 410 0 0 0 23379 7026 0 0 15 0 1 0 20209499 2768896 380 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 676 380 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 304.07
Current children cumulated vsize (Kb) 4832

[startup+460.031 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 411 0 0 0 23878 7188 0 0 15 0 1 0 20209499 2768896 381 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 676 381 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 310.68
Current children cumulated vsize (Kb) 4832

[startup+470.032 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) R 5771 5771 4060 0 -1 0 412 0 0 0 24461 7327 0 0 16 0 1 0 20209499 2768896 382 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5774/statm): 676 382 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 317.9
Current children cumulated vsize (Kb) 4832

[startup+480.032 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 415 0 0 0 25022 7475 0 0 15 0 1 0 20209499 2768896 385 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 676 385 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 324.99
Current children cumulated vsize (Kb) 4832

[startup+490.033 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 416 0 0 0 25561 7626 0 0 16 0 1 0 20209499 2768896 386 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 676 386 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 331.89
Current children cumulated vsize (Kb) 4832

[startup+500.033 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 416 0 0 0 26155 7759 0 0 16 0 1 0 20209499 2768896 386 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5774/statm): 676 386 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 339.16
Current children cumulated vsize (Kb) 4832

[startup+510.034 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 417 0 0 0 26639 7930 0 0 15 0 1 0 20209499 2768896 387 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 676 387 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 345.71
Current children cumulated vsize (Kb) 4832

[startup+520.035 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 421 0 0 0 27243 8061 0 0 15 0 1 0 20209499 2768896 391 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 676 391 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 353.06
Current children cumulated vsize (Kb) 4832

[startup+530.036 s]
Raw data (loadavg): 1.17 1.07 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 422 0 0 0 27718 8235 0 0 16 0 1 0 20209499 2768896 392 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 676 392 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 359.55
Current children cumulated vsize (Kb) 4832

[startup+540.037 s]
Raw data (loadavg): 1.14 1.06 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 426 0 0 0 28355 8358 0 0 15 0 1 0 20209499 2768896 396 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 676 396 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 367.15
Current children cumulated vsize (Kb) 4832

[startup+550.037 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) R 5771 5771 4060 0 -1 0 428 0 0 0 28908 8505 0 0 15 0 1 0 20209499 2768896 398 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5774/statm): 676 398 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 374.15
Current children cumulated vsize (Kb) 4832

[startup+560.038 s]
Raw data (loadavg): 1.18 1.08 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 429 0 0 0 29483 8648 0 0 15 0 1 0 20209499 2768896 399 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 676 399 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 381.33
Current children cumulated vsize (Kb) 4832

[startup+570.039 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 432 0 0 0 30107 8772 0 0 15 0 1 0 20209499 2768896 402 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 676 402 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 388.81
Current children cumulated vsize (Kb) 4832

[startup+580.039 s]
Raw data (loadavg): 1.21 1.09 1.02 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 433 0 0 0 30588 8948 0 0 16 0 1 0 20209499 2768896 403 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 676 403 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 395.38
Current children cumulated vsize (Kb) 4832

[startup+590.04 s]
Raw data (loadavg): 1.18 1.08 1.02 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 437 0 0 0 31221 9066 0 0 16 0 1 0 20209499 2768896 407 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 676 407 413 48 0 628 0
[pid=5774] vsize: 2704
Current children cumulated CPU time (s) 402.89
Current children cumulated vsize (Kb) 4832

[startup+600.04 s]
Raw data (loadavg): 1.15 1.08 1.02 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 439 0 0 0 31779 9207 0 0 15 0 1 0 20209499 2895872 409 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 409 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 409.88
Current children cumulated vsize (Kb) 4956

[startup+610.041 s]
Raw data (loadavg): 1.13 1.08 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 440 0 0 0 32327 9359 0 0 15 0 1 0 20209499 2895872 410 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 410 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 416.88
Current children cumulated vsize (Kb) 4956

[startup+620.042 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 442 0 0 0 32944 9485 0 0 15 0 1 0 20209499 2895872 412 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 412 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 424.31
Current children cumulated vsize (Kb) 4956

[startup+630.043 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 443 0 0 0 33437 9646 0 0 15 0 1 0 20209499 2895872 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 413 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 430.85
Current children cumulated vsize (Kb) 4956

[startup+640.044 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 444 0 0 0 34052 9772 0 0 15 0 1 0 20209499 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 414 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 438.26
Current children cumulated vsize (Kb) 4956

[startup+650.043 s]
Raw data (loadavg): 1.06 1.07 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 444 0 0 0 34532 9946 0 0 15 0 1 0 20209499 2895872 414 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 414 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 444.8
Current children cumulated vsize (Kb) 4956

[startup+660.044 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 444 0 0 0 35030 10111 0 0 16 0 1 0 20209499 2895872 414 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 414 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 451.43
Current children cumulated vsize (Kb) 4956

[startup+670.045 s]
Raw data (loadavg): 1.04 1.06 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 444 0 0 0 35501 10287 0 0 15 0 1 0 20209499 2895872 414 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 414 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 457.9
Current children cumulated vsize (Kb) 4956

[startup+680.045 s]
Raw data (loadavg): 1.04 1.06 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 444 0 0 0 36025 10445 0 0 16 0 1 0 20209499 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 414 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 464.72
Current children cumulated vsize (Kb) 4956

[startup+690.046 s]
Raw data (loadavg): 1.03 1.06 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 444 0 0 0 36500 10621 0 0 15 0 1 0 20209499 2895872 414 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 414 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 471.23
Current children cumulated vsize (Kb) 4956

[startup+700.047 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 444 0 0 0 37045 10773 0 0 15 0 1 0 20209499 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 414 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 478.2
Current children cumulated vsize (Kb) 4956

[startup+710.047 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 444 0 0 0 37512 10947 0 0 15 0 1 0 20209499 2895872 414 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 414 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 484.61
Current children cumulated vsize (Kb) 4956

[startup+720.048 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 444 0 0 0 38062 11098 0 0 15 0 1 0 20209499 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 414 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 491.62
Current children cumulated vsize (Kb) 4956

[startup+730.049 s]
Raw data (loadavg): 1.14 1.08 1.01 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) R 5771 5771 4060 0 -1 0 445 0 0 0 38569 11260 0 0 16 0 1 0 20209499 2895872 415 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 415 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 498.31
Current children cumulated vsize (Kb) 4956

[startup+740.05 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 445 0 0 0 39159 11403 0 0 15 0 1 0 20209499 2895872 415 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 415 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 505.64
Current children cumulated vsize (Kb) 4956

[startup+750.049 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 446 0 0 0 39653 11566 0 0 15 0 1 0 20209499 2895872 416 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 416 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 512.21
Current children cumulated vsize (Kb) 4956

[startup+760.05 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 446 0 0 0 40226 11705 0 0 15 0 1 0 20209499 2895872 416 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 416 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 519.33
Current children cumulated vsize (Kb) 4956

[startup+770.051 s]
Raw data (loadavg): 1.07 1.07 1.01 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) R 5771 5771 4060 0 -1 0 446 0 0 0 40725 11867 0 0 16 0 1 0 20209499 2895872 416 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 416 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 525.94
Current children cumulated vsize (Kb) 4956

[startup+780.051 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 447 0 0 0 41310 12004 0 0 16 0 1 0 20209499 2895872 417 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 417 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 533.16
Current children cumulated vsize (Kb) 4956

[startup+790.052 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 447 0 0 0 41804 12175 0 0 15 0 1 0 20209499 2895872 417 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 417 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 539.81
Current children cumulated vsize (Kb) 4956

[startup+800.052 s]
Raw data (loadavg): 1.04 1.06 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 447 0 0 0 42354 12321 0 0 15 0 1 0 20209499 2895872 417 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 417 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 546.77
Current children cumulated vsize (Kb) 4956

[startup+810.053 s]
Raw data (loadavg): 1.04 1.06 1.01 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 447 0 0 0 42842 12494 0 0 15 0 1 0 20209499 2895872 417 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 417 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 553.38
Current children cumulated vsize (Kb) 4956

[startup+820.054 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 448 0 0 0 43366 12655 0 0 15 0 1 0 20209499 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 418 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 560.23
Current children cumulated vsize (Kb) 4956

[startup+830.054 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 448 0 0 0 43845 12825 0 0 16 0 1 0 20209499 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 418 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 566.72
Current children cumulated vsize (Kb) 4956

[startup+840.055 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 448 0 0 0 44398 12976 0 0 16 0 1 0 20209499 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 418 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 573.76
Current children cumulated vsize (Kb) 4956

[startup+850.056 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 448 0 0 0 44893 13142 0 0 15 0 1 0 20209499 2895872 418 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 418 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 580.37
Current children cumulated vsize (Kb) 4956

[startup+860.056 s]
Raw data (loadavg): 1.01 1.05 1.00 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 448 0 0 0 45427 13302 0 0 16 0 1 0 20209499 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 418 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 587.31
Current children cumulated vsize (Kb) 4956

[startup+870.057 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) T 5771 5771 4060 0 -1 0 448 0 0 0 45941 13460 0 0 15 0 1 0 20209499 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5774/statm): 707 418 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 594.03
Current children cumulated vsize (Kb) 4956

[startup+880.057 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 5774
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 20209493 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5771/statm): 532 242 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5774/stat): 5774 (vallst) R 5771 5771 4060 0 -1 0 448 0 0 0 46485 13610 0 0 16 0 1 0 20209499 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5774/statm): 707 418 413 48 0 659 0
[pid=5774] vsize: 2828
Current children cumulated CPU time (s) 600.97
Current children cumulated vsize (Kb) 4956
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=5774) exited with status: 2
New process pid=5775
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=5775) exited with status: 0
New process pid=5776
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+890.058 s]
Raw data (loadavg): 1.07 1.06 1.00 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 207 0 0 0 101 47 0 0 16 0 1 0 20298252 2011136 177 4294967295 134512640 134702520 3221223712 3221222848 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5776/statm): 491 177 413 48 0 443 0
[pid=5776] vsize: 1964
Current children cumulated CPU time (s) 607.36
Current children cumulated vsize (Kb) 4092

[startup+900.058 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 335 0 0 0 599 210 0 0 17 0 1 0 20298252 2379776 305 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 581 305 413 48 0 533 0
[pid=5776] vsize: 2324
Current children cumulated CPU time (s) 613.97
Current children cumulated vsize (Kb) 4452

[startup+910.059 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 344 0 0 0 1074 383 0 0 17 0 1 0 20298252 2510848 314 4294967295 134512640 134702520 3221223712 3221222480 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5776/statm): 613 314 413 48 0 565 0
[pid=5776] vsize: 2452
Current children cumulated CPU time (s) 620.45
Current children cumulated vsize (Kb) 4580

[startup+920.06 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 349 0 0 0 1591 537 0 0 17 0 1 0 20298252 2510848 319 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 613 319 413 48 0 565 0
[pid=5776] vsize: 2452
Current children cumulated CPU time (s) 627.16
Current children cumulated vsize (Kb) 4580

[startup+930.059 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 354 0 0 0 2055 720 0 0 17 0 1 0 20298252 2510848 324 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 613 324 413 48 0 565 0
[pid=5776] vsize: 2452
Current children cumulated CPU time (s) 633.63
Current children cumulated vsize (Kb) 4580

[startup+940.06 s]
Raw data (loadavg): 1.09 1.06 1.00 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 361 0 0 0 2602 866 0 0 18 0 1 0 20298252 2510848 331 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5776/statm): 613 331 413 48 0 565 0
[pid=5776] vsize: 2452
Current children cumulated CPU time (s) 640.56
Current children cumulated vsize (Kb) 4580

[startup+950.061 s]
Raw data (loadavg): 1.16 1.08 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 362 0 0 0 3049 1044 0 0 17 0 1 0 20298252 2510848 332 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5776/statm): 613 332 413 48 0 565 0
[pid=5776] vsize: 2452
Current children cumulated CPU time (s) 646.81
Current children cumulated vsize (Kb) 4580

[startup+960.061 s]
Raw data (loadavg): 1.21 1.09 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 369 0 0 0 3602 1190 0 0 17 0 1 0 20298252 2510848 339 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 613 339 413 48 0 565 0
[pid=5776] vsize: 2452
Current children cumulated CPU time (s) 653.8
Current children cumulated vsize (Kb) 4580

[startup+970.062 s]
Raw data (loadavg): 1.18 1.09 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 372 0 0 0 4081 1360 0 0 20 0 1 0 20298252 2646016 342 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5776/statm): 646 342 413 48 0 598 0
[pid=5776] vsize: 2584
Current children cumulated CPU time (s) 660.29
Current children cumulated vsize (Kb) 4712

[startup+980.062 s]
Raw data (loadavg): 1.15 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 379 0 0 0 4646 1501 0 0 17 0 1 0 20298252 2646016 349 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 646 349 413 48 0 598 0
[pid=5776] vsize: 2584
Current children cumulated CPU time (s) 667.35
Current children cumulated vsize (Kb) 4712

[startup+990.063 s]
Raw data (loadavg): 1.13 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 380 0 0 0 5124 1672 0 0 18 0 1 0 20298252 2646016 350 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 646 350 413 48 0 598 0
[pid=5776] vsize: 2584
Current children cumulated CPU time (s) 673.84
Current children cumulated vsize (Kb) 4712

[startup+1000.06 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 383 0 0 0 5721 1803 0 0 20 0 1 0 20298252 2646016 353 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 646 353 413 48 0 598 0
[pid=5776] vsize: 2584
Current children cumulated CPU time (s) 681.12
Current children cumulated vsize (Kb) 4712

[startup+1010.07 s]
Raw data (loadavg): 1.09 1.07 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 385 0 0 0 6169 1982 0 0 17 0 1 0 20298252 2646016 355 4294967295 134512640 134702520 3221223712 3221222544 1074952474 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5776/statm): 646 355 413 48 0 598 0
[pid=5776] vsize: 2584
Current children cumulated CPU time (s) 687.39
Current children cumulated vsize (Kb) 4712

[startup+1020.07 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 389 0 0 0 6741 2121 0 0 18 0 1 0 20298252 2646016 359 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 646 359 413 48 0 598 0
[pid=5776] vsize: 2584
Current children cumulated CPU time (s) 694.5
Current children cumulated vsize (Kb) 4712

[startup+1030.07 s]
Raw data (loadavg): 1.06 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 391 0 0 0 7247 2281 0 0 17 0 1 0 20298252 2646016 361 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 646 361 413 48 0 598 0
[pid=5776] vsize: 2584
Current children cumulated CPU time (s) 701.16
Current children cumulated vsize (Kb) 4712

[startup+1040.07 s]
Raw data (loadavg): 1.05 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 395 0 0 0 7820 2425 0 0 20 0 1 0 20298252 2646016 365 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 646 365 413 48 0 598 0
[pid=5776] vsize: 2584
Current children cumulated CPU time (s) 708.33
Current children cumulated vsize (Kb) 4712

[startup+1050.07 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 397 0 0 0 8329 2587 0 0 17 0 1 0 20298252 2646016 367 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 646 367 413 48 0 598 0
[pid=5776] vsize: 2584
Current children cumulated CPU time (s) 715.04
Current children cumulated vsize (Kb) 4712

[startup+1060.07 s]
Raw data (loadavg): 1.04 1.06 1.00 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 400 0 0 0 8881 2738 0 0 19 0 1 0 20298252 2646016 370 4294967295 134512640 134702520 3221223712 3221222992 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5776/statm): 646 370 413 48 0 598 0
[pid=5776] vsize: 2584
Current children cumulated CPU time (s) 722.07
Current children cumulated vsize (Kb) 4712

[startup+1070.07 s]
Raw data (loadavg): 1.03 1.06 1.00 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 406 0 0 0 9463 2875 0 0 16 0 1 0 20298252 2777088 376 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 678 376 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 729.26
Current children cumulated vsize (Kb) 4840

[startup+1080.07 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 408 0 0 0 9948 3041 0 0 18 0 1 0 20298252 2777088 378 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 678 378 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 735.77
Current children cumulated vsize (Kb) 4840

[startup+1090.07 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 411 0 0 0 10555 3168 0 0 17 0 1 0 20298252 2777088 381 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 678 381 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 743.11
Current children cumulated vsize (Kb) 4840

[startup+1100.07 s]
Raw data (loadavg): 1.14 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 413 0 0 0 11027 3345 0 0 17 0 1 0 20298252 2777088 383 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 678 383 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 749.6
Current children cumulated vsize (Kb) 4840

[startup+1110.07 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 416 0 0 0 11647 3475 0 0 17 0 1 0 20298252 2777088 386 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 678 386 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 757.1
Current children cumulated vsize (Kb) 4840

[startup+1120.07 s]
Raw data (loadavg): 1.10 1.08 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 418 0 0 0 12211 3617 0 0 16 0 1 0 20298252 2777088 388 4294967295 134512640 134702520 3221223712 3221222480 134553375 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5776/statm): 678 388 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 764.16
Current children cumulated vsize (Kb) 4840

[startup+1130.07 s]
Raw data (loadavg): 1.16 1.09 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 419 0 0 0 12740 3774 0 0 17 0 1 0 20298252 2777088 389 4294967295 134512640 134702520 3221223712 3221222736 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5776/statm): 678 389 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 771.02
Current children cumulated vsize (Kb) 4840

[startup+1140.07 s]
Raw data (loadavg): 1.13 1.09 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 422 0 0 0 13370 3895 0 0 20 0 1 0 20298252 2777088 392 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 678 392 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 778.53
Current children cumulated vsize (Kb) 4840

[startup+1150.07 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 423 0 0 0 13844 4069 0 0 18 0 1 0 20298252 2777088 393 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 678 393 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 785.01
Current children cumulated vsize (Kb) 4840

[startup+1160.07 s]
Raw data (loadavg): 1.10 1.08 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 429 0 0 0 14486 4190 0 0 20 0 1 0 20298252 2777088 399 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 678 399 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 792.64
Current children cumulated vsize (Kb) 4840

[startup+1170.07 s]
Raw data (loadavg): 1.15 1.09 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 431 0 0 0 15051 4329 0 0 17 0 1 0 20298252 2777088 401 4294967295 134512640 134702520 3221223712 3221222676 1074952449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5776/statm): 678 401 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 799.68
Current children cumulated vsize (Kb) 4840

[startup+1180.07 s]
Raw data (loadavg): 1.21 1.11 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 432 0 0 0 15601 4474 0 0 20 0 1 0 20298252 2777088 402 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 678 402 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 806.63
Current children cumulated vsize (Kb) 4840

[startup+1190.08 s]
Raw data (loadavg): 1.18 1.10 1.02 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 434 0 0 0 16208 4605 0 0 17 0 1 0 20298252 2777088 404 4294967295 134512640 134702520 3221223712 3221222480 134550421 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5776/statm): 678 404 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 814.01
Current children cumulated vsize (Kb) 4840

[startup+1200.07 s]
Raw data (loadavg): 1.15 1.10 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 435 0 0 0 16703 4767 0 0 17 0 1 0 20298252 2777088 405 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 678 405 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 820.58
Current children cumulated vsize (Kb) 4840

[startup+1210.08 s]
Raw data (loadavg): 1.13 1.09 1.02 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 436 0 0 0 17309 4899 0 0 19 0 1 0 20298252 2777088 406 4294967295 134512640 134702520 3221223712 3221222832 134573701 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5776/statm): 678 406 413 48 0 630 0
[pid=5776] vsize: 2712
Current children cumulated CPU time (s) 827.96
Current children cumulated vsize (Kb) 4840

[startup+1220.08 s]
Raw data (loadavg): 1.11 1.09 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 438 0 0 0 17894 5037 0 0 17 0 1 0 20298252 2908160 408 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 710 408 413 48 0 662 0
[pid=5776] vsize: 2840
Current children cumulated CPU time (s) 835.19
Current children cumulated vsize (Kb) 4968

[startup+1230.08 s]
Raw data (loadavg): 1.09 1.09 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 439 0 0 0 18444 5189 0 0 17 0 1 0 20298252 2908160 409 4294967295 134512640 134702520 3221223712 3221222840 1074140576 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5776/statm): 710 409 413 48 0 662 0
[pid=5776] vsize: 2840
Current children cumulated CPU time (s) 842.21
Current children cumulated vsize (Kb) 4968

[startup+1240.08 s]
Raw data (loadavg): 1.08 1.08 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 441 0 0 0 19056 5316 0 0 18 0 1 0 20298252 2908160 411 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5776/statm): 710 411 413 48 0 662 0
[pid=5776] vsize: 2840
Current children cumulated CPU time (s) 849.6
Current children cumulated vsize (Kb) 4968

[startup+1250.08 s]
Raw data (loadavg): 1.06 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 443 0 0 0 19623 5455 0 0 17 0 1 0 20298252 2908160 413 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 710 413 413 48 0 662 0
[pid=5776] vsize: 2840
Current children cumulated CPU time (s) 856.66
Current children cumulated vsize (Kb) 4968

[startup+1260.08 s]
Raw data (loadavg): 1.13 1.09 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 443 0 0 0 20188 5595 0 0 19 0 1 0 20298252 2908160 413 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 710 413 413 48 0 662 0
[pid=5776] vsize: 2840
Current children cumulated CPU time (s) 863.71
Current children cumulated vsize (Kb) 4968

[startup+1270.08 s]
Raw data (loadavg): 1.11 1.09 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 444 0 0 0 20841 5710 0 0 17 0 1 0 20298252 2908160 414 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 710 414 413 48 0 662 0
[pid=5776] vsize: 2840
Current children cumulated CPU time (s) 871.39
Current children cumulated vsize (Kb) 4968

[startup+1280.08 s]
Raw data (loadavg): 1.09 1.09 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 447 0 0 0 21381 5866 0 0 17 0 1 0 20298252 2908160 417 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 710 417 413 48 0 662 0
[pid=5776] vsize: 2840
Current children cumulated CPU time (s) 878.35
Current children cumulated vsize (Kb) 4968

[startup+1290.08 s]
Raw data (loadavg): 1.08 1.08 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 447 0 0 0 21967 6002 0 0 20 0 1 0 20298252 2908160 417 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5776/statm): 710 417 413 48 0 662 0
[pid=5776] vsize: 2840
Current children cumulated CPU time (s) 885.57
Current children cumulated vsize (Kb) 4968

[startup+1300.08 s]
Raw data (loadavg): 1.07 1.08 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 450 0 0 0 22605 6119 0 0 19 0 1 0 20298252 2908160 420 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5776/statm): 710 420 413 48 0 662 0
[pid=5776] vsize: 2840
Current children cumulated CPU time (s) 893.12
Current children cumulated vsize (Kb) 4968

[startup+1310.08 s]
Raw data (loadavg): 1.06 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 451 0 0 0 23096 6286 0 0 18 0 1 0 20298252 2908160 421 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 710 421 413 48 0 662 0
[pid=5776] vsize: 2840
Current children cumulated CPU time (s) 899.7
Current children cumulated vsize (Kb) 4968

[startup+1320.08 s]
Raw data (loadavg): 1.05 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 451 0 0 0 23761 6395 0 0 18 0 1 0 20298252 2908160 421 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 710 421 413 48 0 662 0
[pid=5776] vsize: 2840
Current children cumulated CPU time (s) 907.44
Current children cumulated vsize (Kb) 4968

[startup+1330.08 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 455 0 0 0 24390 6515 0 0 16 0 1 0 20298252 2912256 425 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 425 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 914.93
Current children cumulated vsize (Kb) 4972

[startup+1340.08 s]
Raw data (loadavg): 1.03 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 456 0 0 0 24897 6678 0 0 15 0 1 0 20298252 2912256 426 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 426 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 921.63
Current children cumulated vsize (Kb) 4972

[startup+1350.08 s]
Raw data (loadavg): 1.03 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 456 0 0 0 25363 6852 0 0 15 0 1 0 20298252 2912256 426 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 426 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 928.03
Current children cumulated vsize (Kb) 4972

[startup+1360.09 s]
Raw data (loadavg): 1.02 1.06 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 456 0 0 0 25857 7020 0 0 16 0 1 0 20298252 2912256 426 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 426 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 934.65
Current children cumulated vsize (Kb) 4972

[startup+1370.09 s]
Raw data (loadavg): 1.02 1.06 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 456 0 0 0 26371 7181 0 0 15 0 1 0 20298252 2912256 426 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 426 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 941.4
Current children cumulated vsize (Kb) 4972

[startup+1380.09 s]
Raw data (loadavg): 1.02 1.06 1.00 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 456 0 0 0 26876 7345 0 0 15 0 1 0 20298252 2912256 426 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 426 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 948.09
Current children cumulated vsize (Kb) 4972

[startup+1390.09 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 457 0 0 0 27387 7504 0 0 15 0 1 0 20298252 2912256 427 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 427 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 954.79
Current children cumulated vsize (Kb) 4972

[startup+1400.09 s]
Raw data (loadavg): 1.07 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 457 0 0 0 27892 7672 0 0 15 0 1 0 20298252 2912256 427 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 427 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 961.52
Current children cumulated vsize (Kb) 4972

[startup+1410.09 s]
Raw data (loadavg): 1.06 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 457 0 0 0 28431 7821 0 0 15 0 1 0 20298252 2912256 427 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 427 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 968.4
Current children cumulated vsize (Kb) 4972

[startup+1420.09 s]
Raw data (loadavg): 1.13 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 457 0 0 0 28933 7992 0 0 15 0 1 0 20298252 2912256 427 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 427 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 975.13
Current children cumulated vsize (Kb) 4972

[startup+1430.09 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 458 0 0 0 29465 8148 0 0 15 0 1 0 20298252 2912256 428 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 428 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 982.01
Current children cumulated vsize (Kb) 4972

[startup+1440.09 s]
Raw data (loadavg): 1.17 1.09 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 458 0 0 0 30018 8300 0 0 16 0 1 0 20298252 2912256 428 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 428 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 989.06
Current children cumulated vsize (Kb) 4972

[startup+1450.09 s]
Raw data (loadavg): 1.14 1.09 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 459 0 0 0 30511 8464 0 0 15 0 1 0 20298252 2912256 429 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 429 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 995.63
Current children cumulated vsize (Kb) 4972

[startup+1460.09 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 459 0 0 0 31078 8612 0 0 15 0 1 0 20298252 2912256 429 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 429 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1002.78
Current children cumulated vsize (Kb) 4972

[startup+1470.09 s]
Raw data (loadavg): 1.18 1.10 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 459 0 0 0 31568 8779 0 0 15 0 1 0 20298252 2912256 429 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 429 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1009.35
Current children cumulated vsize (Kb) 4972

[startup+1480.09 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 459 0 0 0 32172 8915 0 0 15 0 1 0 20298252 2912256 429 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 429 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1016.75
Current children cumulated vsize (Kb) 4972

[startup+1490.09 s]
Raw data (loadavg): 1.13 1.09 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 459 0 0 0 32658 9082 0 0 15 0 1 0 20298252 2912256 429 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 429 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1023.28
Current children cumulated vsize (Kb) 4972

[startup+1500.09 s]
Raw data (loadavg): 1.11 1.09 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 459 0 0 0 33268 9216 0 0 15 0 1 0 20298252 2912256 429 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 429 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1030.72
Current children cumulated vsize (Kb) 4972

[startup+1510.09 s]
Raw data (loadavg): 1.09 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 460 0 0 0 33801 9366 0 0 15 0 1 0 20298252 2912256 430 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 430 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1037.55
Current children cumulated vsize (Kb) 4972

[startup+1520.1 s]
Raw data (loadavg): 1.08 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 461 0 0 0 34347 9513 0 0 15 0 1 0 20298252 2912256 431 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 431 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1044.48
Current children cumulated vsize (Kb) 4972

[startup+1530.09 s]
Raw data (loadavg): 1.14 1.09 1.02 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 464 0 0 0 34977 9636 0 0 16 0 1 0 20298252 2912256 434 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 434 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1052.01
Current children cumulated vsize (Kb) 4972

[startup+1540.1 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 464 0 0 0 35451 9806 0 0 15 0 1 0 20298252 2912256 434 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 434 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1058.45
Current children cumulated vsize (Kb) 4972

[startup+1550.1 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 464 0 0 0 36061 9933 0 0 15 0 1 0 20298252 2912256 434 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 434 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1065.82
Current children cumulated vsize (Kb) 4972

[startup+1560.1 s]
Raw data (loadavg): 1.09 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 465 0 0 0 36599 10085 0 0 16 0 1 0 20298252 2912256 435 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 435 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1072.72
Current children cumulated vsize (Kb) 4972

[startup+1570.1 s]
Raw data (loadavg): 1.07 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 465 0 0 0 37156 10231 0 0 15 0 1 0 20298252 2912256 435 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 435 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1079.75
Current children cumulated vsize (Kb) 4972

[startup+1580.1 s]
Raw data (loadavg): 1.06 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 468 0 0 0 37767 10360 0 0 15 0 1 0 20298252 2912256 438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 438 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1087.15
Current children cumulated vsize (Kb) 4972

[startup+1590.1 s]
Raw data (loadavg): 1.05 1.07 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 468 0 0 0 38249 10533 0 0 16 0 1 0 20298252 2912256 438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 438 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1093.7
Current children cumulated vsize (Kb) 4972

[startup+1600.1 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 468 0 0 0 38880 10657 0 0 15 0 1 0 20298252 2912256 438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 711 438 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1101.25
Current children cumulated vsize (Kb) 4972

[startup+1610.1 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 469 0 0 0 39449 10805 0 0 15 0 1 0 20298252 2912256 439 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 439 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1108.42
Current children cumulated vsize (Kb) 4972

[startup+1620.1 s]
Raw data (loadavg): 1.03 1.07 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 469 0 0 0 39997 10962 0 0 16 0 1 0 20298252 2912256 439 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 439 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1115.47
Current children cumulated vsize (Kb) 4972

[startup+1630.1 s]
Raw data (loadavg): 1.02 1.06 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 469 0 0 0 40609 11088 0 0 15 0 1 0 20298252 2912256 439 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 439 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1122.85
Current children cumulated vsize (Kb) 4972

[startup+1640.1 s]
Raw data (loadavg): 1.02 1.06 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 470 0 0 0 41112 11249 0 0 15 0 1 0 20298252 2912256 440 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 711 440 413 48 0 663 0
[pid=5776] vsize: 2844
Current children cumulated CPU time (s) 1129.49
Current children cumulated vsize (Kb) 4972

[startup+1650.1 s]
Raw data (loadavg): 1.02 1.06 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 471 0 0 0 41720 11378 0 0 15 0 1 0 20298252 3039232 441 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 742 441 413 48 0 694 0
[pid=5776] vsize: 2968
Current children cumulated CPU time (s) 1136.86
Current children cumulated vsize (Kb) 5096

[startup+1660.1 s]
Raw data (loadavg): 1.01 1.06 1.00 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 471 0 0 0 42330 11503 0 0 15 0 1 0 20298252 3039232 441 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 742 441 413 48 0 694 0
[pid=5776] vsize: 2968
Current children cumulated CPU time (s) 1144.21
Current children cumulated vsize (Kb) 5096

[startup+1670.1 s]
Raw data (loadavg): 1.09 1.07 1.01 2/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) R 5771 5771 4060 0 -1 0 472 0 0 0 42823 11666 0 0 16 0 1 0 20298252 3039232 442 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5776/statm): 742 442 413 48 0 694 0
[pid=5776] vsize: 2968
Current children cumulated CPU time (s) 1150.77
Current children cumulated vsize (Kb) 5096

[startup+1680.1 s]
Raw data (loadavg): 1.15 1.08 1.01 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 473 0 0 0 43481 11789 0 0 16 0 1 0 20298252 3039232 443 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 742 443 413 48 0 694 0
[pid=5776] vsize: 2968
Current children cumulated CPU time (s) 1158.58
Current children cumulated vsize (Kb) 5096

[startup+1690.1 s]
Raw data (loadavg): 1.21 1.10 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 475 0 0 0 44103 11916 0 0 15 0 1 0 20298252 3039232 445 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 742 445 413 48 0 694 0
[pid=5776] vsize: 2968
Current children cumulated CPU time (s) 1166.07
Current children cumulated vsize (Kb) 5096

[startup+1700.1 s]
Raw data (loadavg): 1.17 1.09 1.02 1/56 5776
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 476 0 0 0 44604 12078 0 0 15 0 1 0 20298252 3039232 446 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5776/statm): 742 446 413 48 0 694 0
[pid=5776] vsize: 2968
Current children cumulated CPU time (s) 1172.7
Current children cumulated vsize (Kb) 5096

[startup+1710.1 s]
Raw data (loadavg): 1.15 1.09 1.02 1/59 5779
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 477 0 0 0 45247 12202 0 0 15 0 1 0 20298252 3039232 447 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 742 447 413 48 0 694 0
[pid=5776] vsize: 2968
Current children cumulated CPU time (s) 1180.37
Current children cumulated vsize (Kb) 5096

[startup+1720.11 s]
Raw data (loadavg): 1.12 1.09 1.01 1/56 5831
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 477 0 0 0 45832 12338 0 0 15 0 1 0 20298252 3039232 447 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 742 447 413 48 0 694 0
[pid=5776] vsize: 2968
Current children cumulated CPU time (s) 1187.58
Current children cumulated vsize (Kb) 5096

[startup+1730.11 s]
Raw data (loadavg): 1.10 1.08 1.01 1/56 5831
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 477 0 0 0 46375 12494 0 0 15 0 1 0 20298252 3039232 447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 742 447 413 48 0 694 0
[pid=5776] vsize: 2968
Current children cumulated CPU time (s) 1194.57
Current children cumulated vsize (Kb) 5096

[startup+1740.11 s]
Raw data (loadavg): 1.09 1.08 1.01 1/56 5831
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 479 0 0 0 47013 12614 0 0 16 0 1 0 20298252 3039232 449 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 742 449 413 48 0 694 0
[pid=5776] vsize: 2968
Current children cumulated CPU time (s) 1202.15
Current children cumulated vsize (Kb) 5096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1740.11 s]
Raw data (loadavg): 1.09 1.08 1.01 1/56 5831
Raw data (/proc/5771/stat): 5771 (vallstSAT2005PB) S 5770 5771 4060 0 -1 0 378 823 0 0 1 1 46853 13733 17 0 1 0 20209493 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5771/statm): 532 248 485 147 0 385 0
[pid=5771] vsize: 2128
Raw data (/proc/5776/stat): 5776 (vallst) T 5771 5771 4060 0 -1 0 479 0 0 0 47013 12614 0 0 16 0 1 0 20298252 3039232 449 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5776/statm): 742 449 413 48 0 694 0
[pid=5776] vsize: 2968
Current children cumulated CPU time (s) 1202.15
Current children cumulated vsize (Kb) 5096

Sending SIGTERM to -5771
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5833
New process pid=5834
execve syscall for /bin/ps executable
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=5776) exited with status: 3
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/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/1693/stat
open syscall for file /proc/1693/status
open syscall for file /proc/1693/cmdline
open syscall for file /proc/1693/environ
open syscall for file /proc/1695/stat
open syscall for file /proc/1695/status
open syscall for file /proc/1695/cmdline
open syscall for file /proc/1695/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5732/stat
open syscall for file /proc/5732/status
open syscall for file /proc/5732/cmdline
open syscall for file /proc/5732/environ
open syscall for file /proc/5770/stat
open syscall for file /proc/5770/status
open syscall for file /proc/5770/cmdline
open syscall for file /proc/5770/environ
open syscall for file /proc/5771/stat
open syscall for file /proc/5771/status
open syscall for file /proc/5771/cmdline
open syscall for file /proc/5771/environ
open syscall for file /proc/5833/stat
open syscall for file /proc/5833/status
open syscall for file /proc/5833/cmdline
open syscall for file /proc/5833/environ
open syscall for file /proc/5834/stat
open syscall for file /proc/5834/status
open syscall for file /proc/5834/cmdline
open syscall for file /proc/5834/environ
One traced child (pid=5833) exited with status: 0
One traced child (pid=5834) exited with status: 0
New process pid=5835
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=5835) exited with status: 0
New process pid=5836
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=5836) exited with status: 0
One traced child (pid=5771) 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): 1740.58
CPU time (s): 1202.27
CPU user time (s): 938.713
CPU system time (s): 263.559
CPU usage (%): 69.0729
Max. virtual memory (cumulated for all children) (Kb): 5096

Verifier Data

ERROR: no interpretation found !