Name | mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb |
MD5SUM | c1c7537cd9b3e10215a81ec1ca3be5cb |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3046400 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 504 |
Biggest coefficient in the objective function | 148373504 |
Number of bits for the biggest coefficient in the objective function | 28 |
Sum of the numbers in the objective function | 3393589600 |
Number of bits of the sum of numbers in the objective function | 32 |
Biggest number in a constraint | 148373504 |
Number of bits of the biggest number in a constraint | 28 |
Biggest sum of numbers in a constraint | 3393589600 |
Number of bits of the biggest sum of numbers | 32 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1223.09 |
Number of variables | 504 |
Total number of constraints | 34 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 34 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 120 |
LAUNCH ON wulflinc10 THE 2005-09-23 13:14:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8122 boxname=wulflinc10 idbench=1090 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c1c7537cd9b3e10215a81ec1ca3be5cb /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-gr4x6.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-gr4x6.opb 0 IDLAUNCH: 8122 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.193 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.193 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 947008 kB Buffers: 10396 kB Cached: 60392 kB SwapCached: 0 kB Active: 43664 kB Inactive: 30008 kB HighTotal: 131008 kB HighFree: 66668 kB LowTotal: 903652 kB LowFree: 880340 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 64 kB Writeback: 0 kB Mapped: 6972 kB Slab: 8492 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 13:42:11 (client local time) WITH STATUS 0 IN 1201.58 SECONDS stats: 8122 7 1201.58 0
1: seed: 0 Nr of vars set: 213 (#equs: 0) Nr of vars set: 213 (#equs: 0) #decisions: 1186; #end-nodes: 263; #proof improvement attempts: 0; #restarts: 3 Current batch, end-nodes: 21 / 80 (80) #axs: 45, #non-axs: 6 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 result: model found (1) Model found with constant: 3387700836 (5888763:>=*); #decisions: 168; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 45, #non-axs: 6 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3387700868 (5888731:>=*); #decisions: 176; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 45, #non-axs: 6 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3387703776 (5885823:>=*); #decisions: 176; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 45, #non-axs: 6 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3387704066 (5885533:>=*); #decisions: 157; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 45, #non-axs: 6 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3387704230 (5885369:>=*); #decisions: 184; #end-nodes: 31; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 31 / 80 (80) #axs: 45, #non-axs: 6 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3387704241 (5885358:>=*); #decisions: 222; #end-nodes: 60; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 60 / 80 (80) #axs: 45, #non-axs: 6 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3387704251 (5885348:>=*); #decisions: 726; #end-nodes: 186; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 25 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388029297 (5560302:>=*); #decisions: 154; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388029609 (5559990:>=*); #decisions: 166; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388032361 (5557238:>=*); #decisions: 486; #end-nodes: 131; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 51 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388037903 (5551696:>=*); #decisions: 193; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388037915 (5551684:>=*); #decisions: 172; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388037927 (5551672:>=*); #decisions: 173; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388037939 (5551660:>=*); #decisions: 188; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388038247 (5551352:>=*); #decisions: 167; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388038259 (5551340:>=*); #decisions: 1310; #end-nodes: 327; #proof improvement attempts: 0; #restarts: 4 Current batch, end-nodes: 3 / 81 (81) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388296535 (5293064:>=*); #decisions: 157; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388296721 (5292878:>=*); #decisions: 162; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388300503 (5289096:>=*); #decisions: 199; #end-nodes: 19; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 19 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388303687 (5285912:>=*); #decisions: 171; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388303743 (5285856:>=*); #decisions: 165; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 45, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388303766 (5285833:>=*); #decisions: 5711; #end-nodes: 1602; #proof improvement attempts: 0; #restarts: 19 Current batch, end-nodes: 38 / 84 (84) #axs: 45, #non-axs: 30 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388314887 (5274712:>=*); #decisions: 79; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 45, #non-axs: 30 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388315612 (5273987:>=*); #decisions: 126; #end-nodes: 59; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 59 / 80 (80) #axs: 45, #non-axs: 30 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388481247 (5108352:>=*); #decisions: 87; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 45, #non-axs: 30 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388482012 (5107587:>=*); #decisions: 82; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 45, #non-axs: 30 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388484391 (5105208:>=*); #decisions: 84; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 45, #non-axs: 30 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388484825 (5104774:>=*); #decisions: 91; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 80 (80) #axs: 45, #non-axs: 30 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388484876 (5104723:>=*); #decisions: 119; #end-nodes: 44; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 44 / 80 (80) #axs: 45, #non-axs: 30 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388484922 (5104677:>=*); #decisions: 293; #end-nodes: 84; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 3 / 80 (80) #axs: 45, #non-axs: 31 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388939535 (4650064:>=*); #decisions: 130; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 45, #non-axs: 31 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388939703 (4649896:>=*); #decisions: 132; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 45, #non-axs: 31 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388939745 (4649854:>=*); #decisions: 142; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 45, #non-axs: 31 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388940207 (4649392:>=*); #decisions: 167; #end-nodes: 48; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 48 / 80 (80) #axs: 45, #non-axs: 31 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388941047 (4648552:>=*); #decisions: 124; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 45, #non-axs: 31 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388941089 (4648510:>=*); #decisions: 7862; #end-nodes: 2459; #proof improvement attempts: 0; #restarts: 29 Current batch, end-nodes: 27 / 87 (87) #axs: 45, #non-axs: 53 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388963091 (4626508:>=*); #decisions: 74; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 45, #non-axs: 53 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388963128 (4626471:>=*); #decisions: 76; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 45, #non-axs: 53 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388963165 (4626434:>=*); #decisions: 161; #end-nodes: 73; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 73 / 80 (80) #axs: 45, #non-axs: 53 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388970924 (4618675:>=*); #decisions: 74; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 45, #non-axs: 53 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388970944 (4618655:>=*); #decisions: 76; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 45, #non-axs: 53 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388970950 (4618649:>=*); #decisions: 78; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 45, #non-axs: 53 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388971004 (4618595:>=*); #decisions: 88; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 80 (80) #axs: 45, #non-axs: 53 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388971021 (4618578:>=*); #decisions: 113; #end-nodes: 38; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 38 / 80 (80) #axs: 45, #non-axs: 53 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388971041 (4618558:>=*); #decisions: 110; #end-nodes: 37; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 37 / 80 (80) #axs: 45, #non-axs: 53 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3388971071 (4618528:>=*); #decisions: 10707; #end-nodes: 3414; #proof improvement attempts: 0; #restarts: 40 Current batch, end-nodes: 4 / 90 (90) #axs: 45, #non-axs: 89 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389061351 (4528248:>=*); #decisions: 91; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 45, #non-axs: 89 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389061975 (4527624:>=*); #decisions: 92; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 45, #non-axs: 89 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389062599 (4527000:>=*); #decisions: 145; #end-nodes: 57; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 57 / 80 (80) #axs: 45, #non-axs: 89 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389062716 (4526883:>=*); #decisions: 157; #end-nodes: 68; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 68 / 80 (80) #axs: 45, #non-axs: 89 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389062728 (4526871:>=*); #decisions: 3328; #end-nodes: 1151; #proof improvement attempts: 0; #restarts: 14 Current batch, end-nodes: 4 / 83 (83) #axs: 45, #non-axs: 113 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389088618 (4500981:>=*); #decisions: 63; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 45, #non-axs: 113 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389088639 (4500960:>=*); #decisions: 340; #end-nodes: 131; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 51 / 80 (80) #axs: 45, #non-axs: 114 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389136466 (4453133:>=*); #decisions: 64; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 45, #non-axs: 114 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389136468 (4453131:>=*); #decisions: 68; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 45, #non-axs: 114 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389136472 (4453127:>=*); #decisions: 70; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 45, #non-axs: 114 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389136696 (4452903:>=*); #decisions: 105; #end-nodes: 43; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 43 / 80 (80) #axs: 45, #non-axs: 114 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389136748 (4452851:>=*); #decisions: 3963; #end-nodes: 1490; #proof improvement attempts: 0; #restarts: 18 Current batch, end-nodes: 9 / 84 (84) #axs: 45, #non-axs: 118 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389176767 (4412832:>=*); #decisions: 37; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 45, #non-axs: 118 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389176779 (4412820:>=*); #decisions: 46; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 45, #non-axs: 118 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389177076 (4412523:>=*); #decisions: 85; #end-nodes: 50; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 50 / 80 (80) #axs: 45, #non-axs: 118 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389177412 (4412187:>=*); #decisions: 12369; #end-nodes: 4571; #proof improvement attempts: 0; #restarts: 52 Current batch, end-nodes: 63 / 93 (93) #axs: 45, #non-axs: 144 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389197407 (4392192:>=*); #decisions: 1059; #end-nodes: 437; #proof improvement attempts: 0; #restarts: 5 Current batch, end-nodes: 32 / 81 (81) #axs: 45, #non-axs: 151 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389345139 (4244460:>=*); #decisions: 25; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 45, #non-axs: 151 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389345263 (4244336:>=*); #decisions: 24; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 45, #non-axs: 151 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389345511 (4244088:>=*); #decisions: 43; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 45, #non-axs: 151 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389345635 (4243964:>=*); #decisions: 52; #end-nodes: 35; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 35 / 80 (80) #axs: 45, #non-axs: 151 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389345697 (4243902:>=*); #decisions: 72; #end-nodes: 50; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 50 / 80 (80) #axs: 45, #non-axs: 151 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389510516 (4079083:>=*); #decisions: 18; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 45, #non-axs: 151 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389511012 (4078587:>=*); #decisions: 23; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 45, #non-axs: 151 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389512004 (4077595:>=*); #decisions: 94; #end-nodes: 77; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 77 / 80 (80) #axs: 45, #non-axs: 151 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389512035 (4077564:>=*); #decisions: 5917; #end-nodes: 2148; #proof improvement attempts: 0; #restarts: 25 Current batch, end-nodes: 72 / 86 (86) #axs: 45, #non-axs: 152 tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 18 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389531609 (4057990:>=*); #decisions: 45370; #end-nodes: 16709; #proof improvement attempts: 0; #restarts: 165 Current batch, end-nodes: 83 / 121 (121) #axs: 45, #non-axs: 50 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 15 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389702729 (3886870:>=*); #decisions: 144815; #end-nodes: 52357; #proof improvement attempts: 0; #restarts: 401 Current batch, end-nodes: 168 / 180 (180) #axs: 45, #non-axs: 20 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 15 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389782847 (3806752:>=*); #decisions: 137079; #end-nodes: 48124; #proof improvement attempts: 0; #restarts: 378 Current batch, end-nodes: 35 / 174 (174) #axs: 45, #non-axs: 57 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 15 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389876815 (3712784:>=*); #decisions: 41; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 45, #non-axs: 57 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 15 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389877059 (3712540:>=*); #decisions: 57; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 80 (80) #axs: 45, #non-axs: 57 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 15 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389877181 (3712418:>=*); #decisions: 45; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 45, #non-axs: 57 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 15 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389877669 (3711930:>=*); #decisions: 86; #end-nodes: 54; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 54 / 80 (80) #axs: 45, #non-axs: 58 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 15 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389877730 (3711869:>=*); #decisions: 161; #end-nodes: 76; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 76 / 80 (80) #axs: 45, #non-axs: 59 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 15 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389881291 (3708308:>=*); #decisions: 78; #end-nodes: 47; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 47 / 80 (80) #axs: 45, #non-axs: 59 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 15 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 3389881426 (3708173:>=*); #decisions: 130271; #end-nodes: 49147; #proof improvement attempts: 0; #restarts: 384 Current batch, end-nodes: 0 / 175 (175) #axs: 45, #non-axs: 22 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 15 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: (pushed:) 3389881426 (3708173:>=*) No proof was found though that an increment of the last pushed constraint doesn't have a model. result: the time limit has been exceeded (2) seed: 0 Nr of vars set: 213 (#equs: 0) Time taken: 5 min, 22 sec 2: seed: 0 Nr of vars set: 213 (#equs: 0) Nr of vars set: 213 (#equs: 0) #decisions: 95921; #end-nodes: 42574; #proof improvement attempts: 0; #restarts: 275 Current batch, end-nodes: 107 / 215 (188) #axs: 45, #non-axs: 140 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 15 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 result: model found (1) Model found with constant: 8197599 (3661696:>=*); #decisions: 14287; #end-nodes: 6706; #proof improvement attempts: 0; #restarts: 52 Current batch, end-nodes: 95 / 133 (133) #axs: 45, #non-axs: 131 tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 13 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8198367 (3660928:>=*); #decisions: 1736; #end-nodes: 733; #proof improvement attempts: 0; #restarts: 6 Current batch, end-nodes: 9 / 139 (121) #axs: 45, #non-axs: 141 tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 13 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8261587 (3597708:>=*); #decisions: 42700; #end-nodes: 16955; #proof improvement attempts: 0; #restarts: 124 Current batch, end-nodes: 147 / 151 (151) #axs: 45, #non-axs: 58 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8302175 (3557120:>=*); #decisions: 189925; #end-nodes: 85647; #proof improvement attempts: 0; #restarts: 476 Current batch, end-nodes: 216 / 239 (239) #axs: 45, #non-axs: 103 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8380303 (3478992:>=*); #decisions: 38; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 120 (120) #axs: 45, #non-axs: 103 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8380879 (3478416:>=*); #decisions: 420938; #end-nodes: 195042; #proof improvement attempts: 0; #restarts: 858 Current batch, end-nodes: 45 / 334 (334) #axs: 45, #non-axs: 119 tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8388991 (3470304:>=*); #decisions: 53695; #end-nodes: 23213; #proof improvement attempts: 0; #restarts: 165 Current batch, end-nodes: 29 / 161 (161) #axs: 45, #non-axs: 68 tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8410975 (3448320:>=*); #decisions: 76276; #end-nodes: 31904; #proof improvement attempts: 0; #restarts: 216 Current batch, end-nodes: 126 / 174 (174) #axs: 45, #non-axs: 49 tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8491999 (3367296:>=*); #decisions: 266792; #end-nodes: 119505; #proof improvement attempts: 0; #restarts: 609 Current batch, end-nodes: 78 / 272 (272) #axs: 45, #non-axs: 84 tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8492807 (3366488:>=*); #decisions: 160; #end-nodes: 94; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 94 / 120 (120) #axs: 45, #non-axs: 84 tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8492867 (3366428:>=*); #decisions: 103; #end-nodes: 54; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 54 / 120 (120) #axs: 45, #non-axs: 84 tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8493347 (3365948:>=*); #decisions: 211981; #end-nodes: 97339; #proof improvement attempts: 0; #restarts: 524 Current batch, end-nodes: 110 / 251 (251) #axs: 45, #non-axs: 102 tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8554463 (3304832:>=*); #decisions: 319978; #end-nodes: 151998; #proof improvement attempts: 0; #restarts: 722 Current batch, end-nodes: 260 / 300 (300) #axs: 45, #non-axs: 72 tight: meta-meta: start: 4, end: 5; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8554860 (3304435:>=*); #decisions: 63529; #end-nodes: 28566; #proof improvement attempts: 0; #restarts: 197 Current batch, end-nodes: 111 / 169 (169) #axs: 45, #non-axs: 25 tight: meta-meta: start: 4, end: 5; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8574215 (3285080:>=*); #decisions: 231; #end-nodes: 102; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 102 / 120 (120) #axs: 45, #non-axs: 25 tight: meta-meta: start: 4, end: 5; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8576935 (3282360:>=*); #decisions: 335234; #end-nodes: 156213; #proof improvement attempts: 0; #restarts: 736 Current batch, end-nodes: 175 / 304 (304) #axs: 45, #non-axs: 81 tight: meta-meta: start: 4, end: 5; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8617311 (3241984:>=*); #decisions: 573305; #end-nodes: 291318; #proof improvement attempts: 0; #restarts: 1120 Current batch, end-nodes: 94 / 400 (400) #axs: 45, #non-axs: 88 tight: meta-meta: start: 4, end: 5; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8624095 (3235200:>=*); #decisions: 238639; #end-nodes: 102077; #proof improvement attempts: 0; #restarts: 543 Current batch, end-nodes: 78 / 259 (255) #axs: 45, #non-axs: 89 tight: meta-meta: start: 4, end: 5; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 8702047 (3157248:>=*); Interupt request received. Model found with constant: (pushed:) 8702047 (3157248:>=*) No proof was found though that an increment of the last pushed constraint doesn't have a model. result: an interupt signal has been received (3) seed: 0 Nr of vars set: 213 (#equs: 0) Time taken: 14 min, 39 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) R 5586 5587 4061 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20464746 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/5587/statm): 174 3 169 147 0 27 0 [pid=5587] vsize: 696 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libtermcap.so.2 open syscall for file tls/i686/libtermcap.so.2 open syscall for file tls/mmx/libtermcap.so.2 open syscall for file tls/libtermcap.so.2 open syscall for file i686/mmx/libtermcap.so.2 open syscall for file i686/libtermcap.so.2 open syscall for file mmx/libtermcap.so.2 open syscall for file libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/i686/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/tls/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/i686/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/i686/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/mmx/libtermcap.so.2 open syscall for file /oldhome/oroussel/lib/libtermcap.so.2 open syscall for file /etc/ld.so.cache open syscall for file /lib/libtermcap.so.2 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /dev/tty open syscall for file /etc/mtab open syscall for file /proc/meminfo open syscall for file /oldhome/oroussel/solvers/vallstSAT2005PB.sh New process pid=5588 execve syscall for /bin/mkdir executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 One traced child (pid=5588) exited with status: 0 New process pid=5589 execve syscall for /bin/mkdir executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 One traced child (pid=5589) exited with status: 0 New process pid=5590 execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model open syscall for file /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-gr4x6.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0034 s] Raw data (loadavg): 1.05 1.04 1.00 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 326 0 0 0 495 161 0 0 16 0 1 0 20464753 2412544 296 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 589 296 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 6.57 Current children cumulated vsize (Kb) 4484 [startup+20.004 s] Raw data (loadavg): 1.12 1.05 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 332 0 0 0 1186 262 0 0 16 0 1 0 20464753 2412544 302 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5590/statm): 589 302 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 14.49 Current children cumulated vsize (Kb) 4484 [startup+30.0046 s] Raw data (loadavg): 1.10 1.05 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 336 0 0 0 1875 367 0 0 15 0 1 0 20464753 2412544 306 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 589 306 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 22.43 Current children cumulated vsize (Kb) 4484 [startup+40.0059 s] Raw data (loadavg): 1.08 1.05 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 338 0 0 0 2573 467 0 0 15 0 1 0 20464753 2412544 308 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5590/statm): 589 308 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 30.41 Current children cumulated vsize (Kb) 4484 [startup+50.0067 s] Raw data (loadavg): 1.07 1.05 1.00 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 339 0 0 0 3275 567 0 0 15 0 1 0 20464753 2412544 309 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 589 309 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 38.43 Current children cumulated vsize (Kb) 4484 [startup+60.0073 s] Raw data (loadavg): 1.06 1.05 1.00 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 339 0 0 0 3974 670 0 0 15 0 1 0 20464753 2412544 309 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5590/statm): 589 309 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 46.45 Current children cumulated vsize (Kb) 4484 [startup+70.0078 s] Raw data (loadavg): 1.05 1.04 1.00 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 341 0 0 0 4660 773 0 0 16 0 1 0 20464753 2412544 311 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 589 311 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 54.34 Current children cumulated vsize (Kb) 4484 [startup+80.0084 s] Raw data (loadavg): 1.04 1.04 1.00 2/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) R 5587 5587 4061 0 -1 0 342 0 0 0 5353 873 0 0 15 0 1 0 20464753 2412544 312 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5590/statm): 589 312 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 62.27 Current children cumulated vsize (Kb) 4484 [startup+90.009 s] Raw data (loadavg): 1.03 1.04 1.00 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 342 0 0 0 6036 975 0 0 15 0 1 0 20464753 2412544 312 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 589 312 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 70.12 Current children cumulated vsize (Kb) 4484 [startup+100.01 s] Raw data (loadavg): 1.03 1.04 1.00 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 342 0 0 0 6745 1076 0 0 16 0 1 0 20464753 2412544 312 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5590/statm): 589 312 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 78.22 Current children cumulated vsize (Kb) 4484 [startup+110.01 s] Raw data (loadavg): 1.02 1.04 1.00 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 343 0 0 0 7434 1178 0 0 15 0 1 0 20464753 2412544 313 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 589 313 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 86.13 Current children cumulated vsize (Kb) 4484 [startup+120.011 s] Raw data (loadavg): 1.02 1.03 1.00 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 344 0 0 0 8122 1287 0 0 15 0 1 0 20464753 2412544 314 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 589 314 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 94.1 Current children cumulated vsize (Kb) 4484 [startup+130.011 s] Raw data (loadavg): 1.02 1.03 1.00 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 344 0 0 0 8826 1385 0 0 16 0 1 0 20464753 2412544 314 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 589 314 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 102.12 Current children cumulated vsize (Kb) 4484 [startup+140.012 s] Raw data (loadavg): 1.01 1.03 1.00 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 345 0 0 0 9510 1490 0 0 16 0 1 0 20464753 2412544 315 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 589 315 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 4484 [startup+150.012 s] Raw data (loadavg): 1.09 1.05 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 346 0 0 0 10197 1595 0 0 15 0 1 0 20464753 2412544 316 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 589 316 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 117.93 Current children cumulated vsize (Kb) 4484 [startup+160.013 s] Raw data (loadavg): 1.15 1.06 1.01 2/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) R 5587 5587 4061 0 -1 0 347 0 0 0 10897 1699 0 0 16 0 1 0 20464753 2412544 317 4294967295 134512640 134702520 3221223952 3221222788 134550217 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5590/statm): 589 317 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 125.97 Current children cumulated vsize (Kb) 4484 [startup+170.013 s] Raw data (loadavg): 1.13 1.06 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 348 0 0 0 11587 1799 0 0 16 0 1 0 20464753 2412544 318 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 589 318 413 48 0 541 0 [pid=5590] vsize: 2356 Current children cumulated CPU time (s) 133.87 Current children cumulated vsize (Kb) 4484 [startup+180.014 s] Raw data (loadavg): 1.11 1.06 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 349 0 0 0 12274 1901 0 0 16 0 1 0 20464753 2543616 319 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 319 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 141.76 Current children cumulated vsize (Kb) 4612 [startup+190.015 s] Raw data (loadavg): 1.09 1.05 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 349 0 0 0 12977 2001 0 0 16 0 1 0 20464753 2543616 319 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 319 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 149.79 Current children cumulated vsize (Kb) 4612 [startup+200.015 s] Raw data (loadavg): 1.15 1.07 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 350 0 0 0 13661 2103 0 0 15 0 1 0 20464753 2543616 320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 320 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 157.65 Current children cumulated vsize (Kb) 4612 [startup+210.016 s] Raw data (loadavg): 1.13 1.06 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 350 0 0 0 14344 2212 0 0 16 0 1 0 20464753 2543616 320 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 320 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 165.57 Current children cumulated vsize (Kb) 4612 [startup+220.016 s] Raw data (loadavg): 1.11 1.06 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 350 0 0 0 15046 2311 0 0 15 0 1 0 20464753 2543616 320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5590/statm): 621 320 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 173.58 Current children cumulated vsize (Kb) 4612 [startup+230.016 s] Raw data (loadavg): 1.09 1.06 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 350 0 0 0 15732 2415 0 0 16 0 1 0 20464753 2543616 320 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5590/statm): 621 320 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 181.48 Current children cumulated vsize (Kb) 4612 [startup+240.016 s] Raw data (loadavg): 1.16 1.07 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 350 0 0 0 16419 2521 0 0 15 0 1 0 20464753 2543616 320 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 320 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 189.41 Current children cumulated vsize (Kb) 4612 [startup+250.017 s] Raw data (loadavg): 1.13 1.07 1.01 2/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 351 0 0 0 17117 2624 0 0 16 0 1 0 20464753 2543616 321 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 321 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 197.42 Current children cumulated vsize (Kb) 4612 [startup+260.018 s] Raw data (loadavg): 1.11 1.07 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 352 0 0 0 17801 2727 0 0 15 0 1 0 20464753 2543616 322 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 322 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 205.29 Current children cumulated vsize (Kb) 4612 [startup+270.018 s] Raw data (loadavg): 1.09 1.06 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 352 0 0 0 18493 2827 0 0 16 0 1 0 20464753 2543616 322 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 322 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 213.21 Current children cumulated vsize (Kb) 4612 [startup+280.019 s] Raw data (loadavg): 1.08 1.06 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 353 0 0 0 19200 2923 0 0 15 0 1 0 20464753 2543616 323 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 323 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 221.24 Current children cumulated vsize (Kb) 4612 [startup+290.019 s] Raw data (loadavg): 1.07 1.06 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 353 0 0 0 19891 3021 0 0 15 0 1 0 20464753 2543616 323 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5590/statm): 621 323 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 229.13 Current children cumulated vsize (Kb) 4612 [startup+300.02 s] Raw data (loadavg): 1.14 1.07 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 20582 3126 0 0 15 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 324 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 237.09 Current children cumulated vsize (Kb) 4612 [startup+310.021 s] Raw data (loadavg): 1.11 1.07 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 21267 3233 0 0 16 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 324 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 245.01 Current children cumulated vsize (Kb) 4612 [startup+320.022 s] Raw data (loadavg): 1.10 1.07 1.01 2/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 21972 3331 0 0 16 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 324 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 253.04 Current children cumulated vsize (Kb) 4612 [startup+330.022 s] Raw data (loadavg): 1.08 1.06 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 22664 3433 0 0 15 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5590/statm): 621 324 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 260.98 Current children cumulated vsize (Kb) 4612 [startup+340.022 s] Raw data (loadavg): 1.15 1.08 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 23347 3539 0 0 15 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 324 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 268.87 Current children cumulated vsize (Kb) 4612 [startup+350.023 s] Raw data (loadavg): 1.12 1.08 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 24045 3638 0 0 16 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 324 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 276.84 Current children cumulated vsize (Kb) 4612 [startup+360.023 s] Raw data (loadavg): 1.10 1.07 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 24740 3740 0 0 16 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 324 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 284.81 Current children cumulated vsize (Kb) 4612 [startup+370.024 s] Raw data (loadavg): 1.09 1.07 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 25430 3841 0 0 15 0 1 0 20464753 2543616 324 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 324 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 292.72 Current children cumulated vsize (Kb) 4612 [startup+380.024 s] Raw data (loadavg): 1.07 1.07 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 355 0 0 0 26127 3945 0 0 16 0 1 0 20464753 2543616 325 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 325 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 300.73 Current children cumulated vsize (Kb) 4612 [startup+390.025 s] Raw data (loadavg): 1.14 1.08 1.01 2/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) R 5587 5587 4061 0 -1 0 355 0 0 0 26823 4051 0 0 16 0 1 0 20464753 2543616 325 4294967295 134512640 134702520 3221223952 3221214768 134612002 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 325 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 308.75 Current children cumulated vsize (Kb) 4612 [startup+400.024 s] Raw data (loadavg): 1.12 1.08 1.01 1/56 5590 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20464746 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 242 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5590/stat): 5590 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 27513 4150 0 0 16 0 1 0 20464753 2543616 326 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5590/statm): 621 326 413 48 0 573 0 [pid=5590] vsize: 2484 Current children cumulated CPU time (s) 316.64 Current children cumulated vsize (Kb) 4612 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=5590) exited with status: 2 New process pid=5591 execve syscall for /usr/bin/head executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=5591) exited with status: 0 New process pid=5592 execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf [startup+410.025 s] Raw data (loadavg): 1.10 1.07 1.01 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 208 0 0 0 150 54 0 0 17 0 1 0 20505427 2023424 178 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 494 178 413 48 0 446 0 [pid=5592] vsize: 1976 Current children cumulated CPU time (s) 324.15 Current children cumulated vsize (Kb) 4104 [startup+420.026 s] Raw data (loadavg): 1.08 1.07 1.01 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 261 0 0 0 667 205 0 0 18 0 1 0 20505427 2375680 231 4294967295 134512640 134702520 3221223712 3221222992 134552319 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 580 231 413 48 0 532 0 [pid=5592] vsize: 2320 Current children cumulated CPU time (s) 330.83 Current children cumulated vsize (Kb) 4448 [startup+430.026 s] Raw data (loadavg): 1.07 1.07 1.01 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 274 0 0 0 1161 368 0 0 15 0 1 0 20505427 2375680 244 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 580 244 413 48 0 532 0 [pid=5592] vsize: 2320 Current children cumulated CPU time (s) 337.4 Current children cumulated vsize (Kb) 4448 [startup+440.027 s] Raw data (loadavg): 1.06 1.07 1.01 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 281 0 0 0 1709 516 0 0 15 0 1 0 20505427 2375680 251 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 580 251 413 48 0 532 0 [pid=5592] vsize: 2320 Current children cumulated CPU time (s) 344.36 Current children cumulated vsize (Kb) 4448 [startup+450.027 s] Raw data (loadavg): 1.05 1.06 1.01 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 284 0 0 0 2201 687 0 0 15 0 1 0 20505427 2375680 254 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 580 254 413 48 0 532 0 [pid=5592] vsize: 2320 Current children cumulated CPU time (s) 350.99 Current children cumulated vsize (Kb) 4448 [startup+460.028 s] Raw data (loadavg): 1.12 1.08 1.01 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 333 0 0 0 2773 830 0 0 16 0 1 0 20505427 2379776 303 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 581 303 413 48 0 533 0 [pid=5592] vsize: 2324 Current children cumulated CPU time (s) 358.14 Current children cumulated vsize (Kb) 4452 [startup+470.028 s] Raw data (loadavg): 1.10 1.07 1.01 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 334 0 0 0 3339 969 0 0 15 0 1 0 20505427 2379776 304 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 581 304 413 48 0 533 0 [pid=5592] vsize: 2324 Current children cumulated CPU time (s) 365.19 Current children cumulated vsize (Kb) 4452 [startup+480.029 s] Raw data (loadavg): 1.09 1.07 1.01 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 334 0 0 0 3846 1132 0 0 15 0 1 0 20505427 2379776 304 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 581 304 413 48 0 533 0 [pid=5592] vsize: 2324 Current children cumulated CPU time (s) 371.89 Current children cumulated vsize (Kb) 4452 [startup+490.03 s] Raw data (loadavg): 1.15 1.08 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 334 0 0 0 4371 1292 0 0 15 0 1 0 20505427 2379776 304 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 581 304 413 48 0 533 0 [pid=5592] vsize: 2324 Current children cumulated CPU time (s) 378.74 Current children cumulated vsize (Kb) 4452 [startup+500.03 s] Raw data (loadavg): 1.20 1.10 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 335 0 0 0 4889 1453 0 0 15 0 1 0 20505427 2379776 305 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 581 305 413 48 0 533 0 [pid=5592] vsize: 2324 Current children cumulated CPU time (s) 385.53 Current children cumulated vsize (Kb) 4452 [startup+510.031 s] Raw data (loadavg): 1.17 1.09 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 335 0 0 0 5429 1599 0 0 16 0 1 0 20505427 2379776 305 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 581 305 413 48 0 533 0 [pid=5592] vsize: 2324 Current children cumulated CPU time (s) 392.39 Current children cumulated vsize (Kb) 4452 [startup+520.031 s] Raw data (loadavg): 1.14 1.09 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 336 0 0 0 5928 1763 0 0 16 0 1 0 20505427 2379776 306 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 581 306 413 48 0 533 0 [pid=5592] vsize: 2324 Current children cumulated CPU time (s) 399.02 Current children cumulated vsize (Kb) 4452 [startup+530.031 s] Raw data (loadavg): 1.12 1.09 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 337 0 0 0 6481 1900 0 0 15 0 1 0 20505427 2379776 307 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 581 307 413 48 0 533 0 [pid=5592] vsize: 2324 Current children cumulated CPU time (s) 405.92 Current children cumulated vsize (Kb) 4452 [startup+540.031 s] Raw data (loadavg): 1.10 1.08 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 338 0 0 0 6985 2061 0 0 15 0 1 0 20505427 2379776 308 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 581 308 413 48 0 533 0 [pid=5592] vsize: 2324 Current children cumulated CPU time (s) 412.57 Current children cumulated vsize (Kb) 4452 [startup+550.032 s] Raw data (loadavg): 1.09 1.08 1.01 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 339 0 0 0 7558 2202 0 0 15 0 1 0 20505427 2379776 309 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 581 309 413 48 0 533 0 [pid=5592] vsize: 2324 Current children cumulated CPU time (s) 419.71 Current children cumulated vsize (Kb) 4452 [startup+560.033 s] Raw data (loadavg): 1.15 1.09 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 340 0 0 0 8052 2378 0 0 15 0 1 0 20505427 2510848 310 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 310 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 426.41 Current children cumulated vsize (Kb) 4580 [startup+570.033 s] Raw data (loadavg): 1.20 1.11 1.02 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 342 0 0 0 8647 2508 0 0 16 0 1 0 20505427 2510848 312 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 312 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 433.66 Current children cumulated vsize (Kb) 4580 [startup+580.034 s] Raw data (loadavg): 1.17 1.10 1.02 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 342 0 0 0 9204 2658 0 0 16 0 1 0 20505427 2510848 312 4294967295 134512640 134702520 3221223712 3221222912 134617794 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 312 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 440.73 Current children cumulated vsize (Kb) 4580 [startup+590.034 s] Raw data (loadavg): 1.14 1.10 1.02 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 343 0 0 0 9697 2825 0 0 15 0 1 0 20505427 2510848 313 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 313 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 447.33 Current children cumulated vsize (Kb) 4580 [startup+600.035 s] Raw data (loadavg): 1.12 1.09 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 343 0 0 0 10228 2977 0 0 15 0 1 0 20505427 2510848 313 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 313 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 454.16 Current children cumulated vsize (Kb) 4580 [startup+610.036 s] Raw data (loadavg): 1.10 1.09 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 343 0 0 0 10755 3135 0 0 15 0 1 0 20505427 2510848 313 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 313 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 461.01 Current children cumulated vsize (Kb) 4580 [startup+620.037 s] Raw data (loadavg): 1.17 1.10 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 343 0 0 0 11271 3290 0 0 15 0 1 0 20505427 2510848 313 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 313 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 467.72 Current children cumulated vsize (Kb) 4580 [startup+630.036 s] Raw data (loadavg): 1.14 1.10 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 344 0 0 0 11793 3445 0 0 16 0 1 0 20505427 2510848 314 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 314 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 474.49 Current children cumulated vsize (Kb) 4580 [startup+640.037 s] Raw data (loadavg): 1.12 1.10 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 345 0 0 0 12309 3605 0 0 15 0 1 0 20505427 2510848 315 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 315 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 481.25 Current children cumulated vsize (Kb) 4580 [startup+650.038 s] Raw data (loadavg): 1.10 1.09 1.02 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 346 0 0 0 12845 3759 0 0 16 0 1 0 20505427 2510848 316 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 316 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 488.15 Current children cumulated vsize (Kb) 4580 [startup+660.038 s] Raw data (loadavg): 1.08 1.09 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 346 0 0 0 13363 3918 0 0 15 0 1 0 20505427 2510848 316 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 316 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 494.92 Current children cumulated vsize (Kb) 4580 [startup+670.04 s] Raw data (loadavg): 1.07 1.08 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 347 0 0 0 13913 4073 0 0 15 0 1 0 20505427 2510848 317 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 317 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 501.97 Current children cumulated vsize (Kb) 4580 [startup+680.039 s] Raw data (loadavg): 1.06 1.08 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 348 0 0 0 14436 4232 0 0 15 0 1 0 20505427 2510848 318 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 318 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 508.79 Current children cumulated vsize (Kb) 4580 [startup+690.04 s] Raw data (loadavg): 1.05 1.08 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 348 0 0 0 14998 4382 0 0 16 0 1 0 20505427 2510848 318 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 318 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 515.91 Current children cumulated vsize (Kb) 4580 [startup+700.04 s] Raw data (loadavg): 1.04 1.08 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 351 0 0 0 15523 4538 0 0 16 0 1 0 20505427 2510848 321 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 321 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 522.72 Current children cumulated vsize (Kb) 4580 [startup+710.041 s] Raw data (loadavg): 1.04 1.07 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 352 0 0 0 16087 4682 0 0 15 0 1 0 20505427 2510848 322 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 322 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 529.8 Current children cumulated vsize (Kb) 4580 [startup+720.042 s] Raw data (loadavg): 1.03 1.07 1.01 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 353 0 0 0 16659 4826 0 0 16 0 1 0 20505427 2510848 323 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 323 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 536.96 Current children cumulated vsize (Kb) 4580 [startup+730.042 s] Raw data (loadavg): 1.10 1.08 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 354 0 0 0 17205 4973 0 0 15 0 1 0 20505427 2510848 324 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 324 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 543.89 Current children cumulated vsize (Kb) 4580 [startup+740.043 s] Raw data (loadavg): 1.17 1.10 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 355 0 0 0 17803 5110 0 0 15 0 1 0 20505427 2510848 325 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 325 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 551.24 Current children cumulated vsize (Kb) 4580 [startup+750.043 s] Raw data (loadavg): 1.22 1.11 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 355 0 0 0 18336 5259 0 0 16 0 1 0 20505427 2510848 325 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 325 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 558.06 Current children cumulated vsize (Kb) 4580 [startup+760.045 s] Raw data (loadavg): 1.19 1.11 1.03 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 356 0 0 0 18836 5426 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 326 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 564.73 Current children cumulated vsize (Kb) 4580 [startup+770.045 s] Raw data (loadavg): 1.16 1.10 1.03 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 356 0 0 0 19375 5575 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 326 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 571.61 Current children cumulated vsize (Kb) 4580 [startup+780.045 s] Raw data (loadavg): 1.21 1.12 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 19875 5733 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 326 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 578.19 Current children cumulated vsize (Kb) 4580 [startup+790.046 s] Raw data (loadavg): 1.17 1.11 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 20416 5884 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 326 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 585.11 Current children cumulated vsize (Kb) 4580 [startup+800.047 s] Raw data (loadavg): 1.15 1.11 1.03 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 356 0 0 0 20904 6055 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 326 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 591.7 Current children cumulated vsize (Kb) 4580 [startup+810.048 s] Raw data (loadavg): 1.12 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 21446 6205 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 326 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 598.62 Current children cumulated vsize (Kb) 4580 [startup+820.048 s] Raw data (loadavg): 1.10 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 21922 6377 0 0 15 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 326 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 605.1 Current children cumulated vsize (Kb) 4580 [startup+830.049 s] Raw data (loadavg): 1.09 1.10 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 22445 6536 0 0 16 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 326 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 611.92 Current children cumulated vsize (Kb) 4580 [startup+840.049 s] Raw data (loadavg): 1.07 1.09 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 22943 6698 0 0 15 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 326 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 618.52 Current children cumulated vsize (Kb) 4580 [startup+850.05 s] Raw data (loadavg): 1.06 1.09 1.02 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 356 0 0 0 23458 6853 0 0 15 0 1 0 20505427 2510848 326 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 326 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 625.22 Current children cumulated vsize (Kb) 4580 [startup+860.051 s] Raw data (loadavg): 1.13 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 357 0 0 0 23991 7002 0 0 15 0 1 0 20505427 2510848 327 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 327 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 632.04 Current children cumulated vsize (Kb) 4580 [startup+870.052 s] Raw data (loadavg): 1.11 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 357 0 0 0 24498 7166 0 0 15 0 1 0 20505427 2510848 327 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 327 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 638.75 Current children cumulated vsize (Kb) 4580 [startup+880.052 s] Raw data (loadavg): 1.17 1.11 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 357 0 0 0 25052 7308 0 0 16 0 1 0 20505427 2510848 327 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 327 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 645.71 Current children cumulated vsize (Kb) 4580 [startup+890.052 s] Raw data (loadavg): 1.15 1.11 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 357 0 0 0 25570 7468 0 0 15 0 1 0 20505427 2510848 327 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 327 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 652.49 Current children cumulated vsize (Kb) 4580 [startup+900.053 s] Raw data (loadavg): 1.12 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 357 0 0 0 26138 7608 0 0 16 0 1 0 20505427 2510848 327 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 327 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 659.57 Current children cumulated vsize (Kb) 4580 [startup+910.054 s] Raw data (loadavg): 1.10 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 26656 7774 0 0 15 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 328 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 666.41 Current children cumulated vsize (Kb) 4580 [startup+920.055 s] Raw data (loadavg): 1.09 1.09 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 27210 7923 0 0 15 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 328 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 673.44 Current children cumulated vsize (Kb) 4580 [startup+930.055 s] Raw data (loadavg): 1.07 1.09 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 27733 8081 0 0 16 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 328 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 680.25 Current children cumulated vsize (Kb) 4580 [startup+940.056 s] Raw data (loadavg): 1.13 1.10 1.03 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 358 0 0 0 28250 8244 0 0 16 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 328 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 687.05 Current children cumulated vsize (Kb) 4580 [startup+950.057 s] Raw data (loadavg): 1.11 1.10 1.03 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 358 0 0 0 28749 8407 0 0 15 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 328 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 693.67 Current children cumulated vsize (Kb) 4580 [startup+960.057 s] Raw data (loadavg): 1.10 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 29307 8551 0 0 16 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 328 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 700.69 Current children cumulated vsize (Kb) 4580 [startup+970.058 s] Raw data (loadavg): 1.08 1.09 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 29806 8710 0 0 15 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 328 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 707.27 Current children cumulated vsize (Kb) 4580 [startup+980.057 s] Raw data (loadavg): 1.07 1.09 1.03 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 358 0 0 0 30373 8856 0 0 16 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 328 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 714.4 Current children cumulated vsize (Kb) 4580 [startup+990.058 s] Raw data (loadavg): 1.14 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 30861 9022 0 0 16 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 328 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 720.94 Current children cumulated vsize (Kb) 4580 [startup+1000.06 s] Raw data (loadavg): 1.11 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 358 0 0 0 31441 9164 0 0 15 0 1 0 20505427 2510848 328 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 328 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 728.16 Current children cumulated vsize (Kb) 4580 [startup+1010.06 s] Raw data (loadavg): 1.10 1.09 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 31943 9331 0 0 15 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 329 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 734.85 Current children cumulated vsize (Kb) 4580 [startup+1020.06 s] Raw data (loadavg): 1.08 1.09 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 32509 9474 0 0 16 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 329 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 741.94 Current children cumulated vsize (Kb) 4580 [startup+1030.06 s] Raw data (loadavg): 1.07 1.09 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 33022 9628 0 0 15 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 329 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 748.61 Current children cumulated vsize (Kb) 4580 [startup+1040.06 s] Raw data (loadavg): 1.06 1.08 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 33580 9773 0 0 15 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 329 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 755.64 Current children cumulated vsize (Kb) 4580 [startup+1050.06 s] Raw data (loadavg): 1.12 1.10 1.03 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 359 0 0 0 34073 9950 0 0 15 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 329 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 762.34 Current children cumulated vsize (Kb) 4580 [startup+1060.06 s] Raw data (loadavg): 1.10 1.09 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 34598 10105 0 0 16 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 329 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 769.14 Current children cumulated vsize (Kb) 4580 [startup+1070.06 s] Raw data (loadavg): 1.09 1.09 1.03 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 359 0 0 0 35115 10262 0 0 16 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 329 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 775.88 Current children cumulated vsize (Kb) 4580 [startup+1080.06 s] Raw data (loadavg): 1.15 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 35655 10409 0 0 16 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 329 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 782.75 Current children cumulated vsize (Kb) 4580 [startup+1090.06 s] Raw data (loadavg): 1.12 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 359 0 0 0 36180 10566 0 0 15 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 329 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 789.57 Current children cumulated vsize (Kb) 4580 [startup+1100.06 s] Raw data (loadavg): 1.10 1.09 1.03 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 359 0 0 0 36701 10723 0 0 16 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 329 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 796.35 Current children cumulated vsize (Kb) 4580 [startup+1110.06 s] Raw data (loadavg): 1.17 1.11 1.04 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 359 0 0 0 37221 10875 0 0 16 0 1 0 20505427 2510848 329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 329 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 803.07 Current children cumulated vsize (Kb) 4580 [startup+1120.06 s] Raw data (loadavg): 1.14 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 360 0 0 0 37763 11023 0 0 16 0 1 0 20505427 2510848 330 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 330 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 809.97 Current children cumulated vsize (Kb) 4580 [startup+1130.06 s] Raw data (loadavg): 1.12 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 361 0 0 0 38305 11175 0 0 15 0 1 0 20505427 2510848 331 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 331 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 816.91 Current children cumulated vsize (Kb) 4580 [startup+1140.07 s] Raw data (loadavg): 1.10 1.09 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 361 0 0 0 38860 11326 0 0 15 0 1 0 20505427 2510848 331 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 331 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 823.97 Current children cumulated vsize (Kb) 4580 [startup+1150.07 s] Raw data (loadavg): 1.08 1.09 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 361 0 0 0 39402 11475 0 0 16 0 1 0 20505427 2510848 331 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 331 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 830.88 Current children cumulated vsize (Kb) 4580 [startup+1160.07 s] Raw data (loadavg): 1.14 1.10 1.04 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 361 0 0 0 39954 11621 0 0 16 0 1 0 20505427 2510848 331 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 331 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 837.86 Current children cumulated vsize (Kb) 4580 [startup+1170.07 s] Raw data (loadavg): 1.12 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 40433 11796 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 844.4 Current children cumulated vsize (Kb) 4580 [startup+1180.07 s] Raw data (loadavg): 1.10 1.10 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 40955 11950 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 851.16 Current children cumulated vsize (Kb) 4580 [startup+1190.07 s] Raw data (loadavg): 1.09 1.09 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 41447 12115 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 857.73 Current children cumulated vsize (Kb) 4580 [startup+1200.07 s] Raw data (loadavg): 1.07 1.09 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 41950 12279 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 864.4 Current children cumulated vsize (Kb) 4580 [startup+1210.07 s] Raw data (loadavg): 1.06 1.08 1.03 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 362 0 0 0 42481 12431 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 871.23 Current children cumulated vsize (Kb) 4580 [startup+1220.07 s] Raw data (loadavg): 1.05 1.08 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 42987 12599 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 877.97 Current children cumulated vsize (Kb) 4580 [startup+1230.07 s] Raw data (loadavg): 1.04 1.08 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 43535 12745 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 884.91 Current children cumulated vsize (Kb) 4580 [startup+1240.07 s] Raw data (loadavg): 1.12 1.09 1.03 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 362 0 0 0 44020 12914 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222992 134553375 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 891.45 Current children cumulated vsize (Kb) 4580 [startup+1250.07 s] Raw data (loadavg): 1.10 1.09 1.03 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 44587 13058 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 898.56 Current children cumulated vsize (Kb) 4580 [startup+1260.07 s] Raw data (loadavg): 1.24 1.12 1.04 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 45095 13227 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 905.33 Current children cumulated vsize (Kb) 4580 [startup+1270.07 s] Raw data (loadavg): 1.20 1.11 1.04 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 45647 13378 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 912.36 Current children cumulated vsize (Kb) 4580 [startup+1280.07 s] Raw data (loadavg): 1.24 1.13 1.05 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 46151 13542 0 0 16 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 919.04 Current children cumulated vsize (Kb) 4580 [startup+1290.07 s] Raw data (loadavg): 1.20 1.12 1.04 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 46723 13686 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 926.2 Current children cumulated vsize (Kb) 4580 [startup+1300.07 s] Raw data (loadavg): 1.25 1.13 1.05 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 47239 13842 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 932.92 Current children cumulated vsize (Kb) 4580 [startup+1310.07 s] Raw data (loadavg): 1.21 1.13 1.05 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 362 0 0 0 47826 13982 0 0 15 0 1 0 20505427 2510848 332 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 332 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 940.19 Current children cumulated vsize (Kb) 4580 [startup+1320.07 s] Raw data (loadavg): 1.18 1.12 1.05 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 48363 14132 0 0 16 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 333 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 947.06 Current children cumulated vsize (Kb) 4580 [startup+1330.07 s] Raw data (loadavg): 1.23 1.13 1.05 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 48923 14276 0 0 15 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 333 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 954.1 Current children cumulated vsize (Kb) 4580 [startup+1340.08 s] Raw data (loadavg): 1.20 1.13 1.05 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 49436 14433 0 0 15 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 333 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 960.8 Current children cumulated vsize (Kb) 4580 [startup+1350.08 s] Raw data (loadavg): 1.16 1.12 1.05 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 49948 14602 0 0 15 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 333 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 967.61 Current children cumulated vsize (Kb) 4580 [startup+1360.08 s] Raw data (loadavg): 1.21 1.14 1.05 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 50431 14765 0 0 16 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 333 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 974.07 Current children cumulated vsize (Kb) 4580 [startup+1370.08 s] Raw data (loadavg): 1.26 1.15 1.06 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 363 0 0 0 50976 14917 0 0 16 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221222608 134553287 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 333 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 981.04 Current children cumulated vsize (Kb) 4580 [startup+1380.08 s] Raw data (loadavg): 1.22 1.14 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 51475 15080 0 0 15 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 333 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 987.66 Current children cumulated vsize (Kb) 4580 [startup+1390.08 s] Raw data (loadavg): 1.18 1.14 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 52035 15227 0 0 15 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 333 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 994.73 Current children cumulated vsize (Kb) 4580 [startup+1400.08 s] Raw data (loadavg): 1.23 1.15 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 363 0 0 0 52526 15393 0 0 16 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 333 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1001.3 Current children cumulated vsize (Kb) 4580 [startup+1410.08 s] Raw data (loadavg): 1.19 1.14 1.06 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 363 0 0 0 53098 15540 0 0 16 0 1 0 20505427 2510848 333 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 333 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1008.49 Current children cumulated vsize (Kb) 4580 [startup+1420.08 s] Raw data (loadavg): 1.16 1.14 1.06 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 364 0 0 0 53600 15705 0 0 16 0 1 0 20505427 2510848 334 4294967295 134512640 134702520 3221223712 3221222832 134578964 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 334 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1015.16 Current children cumulated vsize (Kb) 4580 [startup+1430.08 s] Raw data (loadavg): 1.14 1.13 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 364 0 0 0 54169 15848 0 0 16 0 1 0 20505427 2510848 334 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 334 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1022.28 Current children cumulated vsize (Kb) 4580 [startup+1440.08 s] Raw data (loadavg): 1.12 1.13 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 364 0 0 0 54683 16005 0 0 15 0 1 0 20505427 2510848 334 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 334 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1028.99 Current children cumulated vsize (Kb) 4580 [startup+1450.08 s] Raw data (loadavg): 1.10 1.12 1.06 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 364 0 0 0 55271 16144 0 0 16 0 1 0 20505427 2510848 334 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 334 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1036.26 Current children cumulated vsize (Kb) 4580 [startup+1460.08 s] Raw data (loadavg): 1.16 1.14 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 364 0 0 0 55773 16313 0 0 15 0 1 0 20505427 2510848 334 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 334 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1042.97 Current children cumulated vsize (Kb) 4580 [startup+1470.08 s] Raw data (loadavg): 1.22 1.15 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 364 0 0 0 56367 16447 0 0 16 0 1 0 20505427 2510848 334 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 334 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1050.25 Current children cumulated vsize (Kb) 4580 [startup+1480.08 s] Raw data (loadavg): 1.26 1.16 1.07 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 365 0 0 0 56860 16615 0 0 16 0 1 0 20505427 2510848 335 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 335 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1056.86 Current children cumulated vsize (Kb) 4580 [startup+1490.08 s] Raw data (loadavg): 1.22 1.15 1.07 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 365 0 0 0 57434 16752 0 0 16 0 1 0 20505427 2510848 335 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 335 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1063.97 Current children cumulated vsize (Kb) 4580 [startup+1500.08 s] Raw data (loadavg): 1.18 1.15 1.07 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 366 0 0 0 57963 16902 0 0 16 0 1 0 20505427 2510848 336 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 336 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1070.76 Current children cumulated vsize (Kb) 4580 [startup+1510.08 s] Raw data (loadavg): 1.16 1.14 1.07 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 366 0 0 0 58570 17039 0 0 16 0 1 0 20505427 2510848 336 4294967295 134512640 134702520 3221223712 3221223284 134561459 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 336 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1078.2 Current children cumulated vsize (Kb) 4580 [startup+1520.08 s] Raw data (loadavg): 1.13 1.14 1.06 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 367 0 0 0 59088 17193 0 0 16 0 1 0 20505427 2510848 337 4294967295 134512640 134702520 3221223712 3221222352 134554417 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 337 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1084.92 Current children cumulated vsize (Kb) 4580 [startup+1530.08 s] Raw data (loadavg): 1.11 1.13 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 369 0 0 0 59700 17318 0 0 16 0 1 0 20505427 2510848 339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 339 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1092.29 Current children cumulated vsize (Kb) 4580 [startup+1540.08 s] Raw data (loadavg): 1.09 1.13 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 369 0 0 0 60269 17462 0 0 16 0 1 0 20505427 2510848 339 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 339 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1099.42 Current children cumulated vsize (Kb) 4580 [startup+1550.09 s] Raw data (loadavg): 1.08 1.12 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 370 0 0 0 60840 17604 0 0 15 0 1 0 20505427 2510848 340 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 340 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1106.55 Current children cumulated vsize (Kb) 4580 [startup+1560.09 s] Raw data (loadavg): 1.14 1.13 1.07 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 370 0 0 0 61408 17741 0 0 16 0 1 0 20505427 2510848 340 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 340 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1113.6 Current children cumulated vsize (Kb) 4580 [startup+1570.09 s] Raw data (loadavg): 1.12 1.13 1.07 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 370 0 0 0 61919 17898 0 0 15 0 1 0 20505427 2510848 340 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 340 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1120.28 Current children cumulated vsize (Kb) 4580 [startup+1580.09 s] Raw data (loadavg): 1.10 1.12 1.06 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 371 0 0 0 62441 18052 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1127.04 Current children cumulated vsize (Kb) 4580 [startup+1590.09 s] Raw data (loadavg): 1.08 1.12 1.06 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 371 0 0 0 62930 18221 0 0 16 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1133.62 Current children cumulated vsize (Kb) 4580 [startup+1600.09 s] Raw data (loadavg): 1.07 1.12 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 63465 18377 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1140.53 Current children cumulated vsize (Kb) 4580 [startup+1610.09 s] Raw data (loadavg): 1.06 1.11 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 63958 18542 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1147.11 Current children cumulated vsize (Kb) 4580 [startup+1620.09 s] Raw data (loadavg): 1.05 1.11 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 64497 18695 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1154.03 Current children cumulated vsize (Kb) 4580 [startup+1630.09 s] Raw data (loadavg): 1.04 1.10 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 65004 18857 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1160.72 Current children cumulated vsize (Kb) 4580 [startup+1640.09 s] Raw data (loadavg): 1.11 1.12 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 65541 19013 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1167.65 Current children cumulated vsize (Kb) 4580 [startup+1650.09 s] Raw data (loadavg): 1.09 1.11 1.06 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 66059 19167 0 0 16 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1174.37 Current children cumulated vsize (Kb) 4580 [startup+1660.09 s] Raw data (loadavg): 1.08 1.11 1.06 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 66614 19316 0 0 16 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1181.41 Current children cumulated vsize (Kb) 4580 [startup+1670.09 s] Raw data (loadavg): 1.14 1.12 1.07 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 67110 19479 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1188 Current children cumulated vsize (Kb) 4580 [startup+1680.09 s] Raw data (loadavg): 1.12 1.12 1.07 1/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 67641 19635 0 0 16 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1194.87 Current children cumulated vsize (Kb) 4580 [startup+1690.09 s] Raw data (loadavg): 1.10 1.11 1.06 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) R 5587 5587 4061 0 -1 0 371 0 0 0 68128 19805 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1201.44 Current children cumulated vsize (Kb) 4580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1690.1 s] Raw data (loadavg): 1.10 1.11 1.06 2/56 5592 Raw data (/proc/5587/stat): 5587 (vallstSAT2005PB) S 5586 5587 4061 0 -1 0 378 732 0 0 1 1 27988 4221 17 0 1 0 20464746 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5587/statm): 532 248 485 147 0 385 0 [pid=5587] vsize: 2128 Raw data (/proc/5592/stat): 5592 (vallst) T 5587 5587 4061 0 -1 0 371 0 0 0 68128 19805 0 0 15 0 1 0 20505427 2510848 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5592/statm): 613 341 413 48 0 565 0 [pid=5592] vsize: 2452 Current children cumulated CPU time (s) 1201.44 Current children cumulated vsize (Kb) 4580 Sending SIGTERM to -5587 Sleeping 2 seconds open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=5594 New process pid=5595 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options execve syscall for /bin/ps executable One traced child (pid=5592) exited with status: 3 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libproc.so.2.0.13 open syscall for file tls/i686/libproc.so.2.0.13 open syscall for file tls/mmx/libproc.so.2.0.13 open syscall for file tls/libproc.so.2.0.13 open syscall for file i686/mmx/libproc.so.2.0.13 open syscall for file i686/libproc.so.2.0.13 open syscall for file mmx/libproc.so.2.0.13 open syscall for file libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13 open syscall for file /etc/ld.so.cache open syscall for file /lib/libproc.so.2.0.13 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /proc/self/stat open syscall for file /proc/self/statm open syscall for file /proc/self/status open syscall for file /proc/uptime open syscall for file /proc/meminfo open syscall for file /proc open syscall for file /proc/1/stat open syscall for file /proc/1/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1/cmdline open syscall for file /proc/1/environ open syscall for file /proc/2/stat open syscall for file /proc/2/status open syscall for file /proc/2/cmdline open syscall for file /proc/2/environ open syscall for file /proc/3/stat open syscall for file /proc/3/status open syscall for file /proc/3/cmdline open syscall for file /proc/3/environ open syscall for file /proc/4/stat open syscall for file /proc/4/status open syscall for file /proc/4/cmdline open syscall for file /proc/4/environ open syscall for file /proc/5/stat open syscall for file /proc/5/status open syscall for file /proc/5/cmdline open syscall for file /proc/5/environ open syscall for file /proc/6/stat open syscall for file /proc/6/status open syscall for file /proc/6/cmdline open syscall for file /proc/6/environ open syscall for file /proc/7/stat open syscall for file /proc/7/status open syscall for file /proc/7/cmdline open syscall for file /proc/7/environ open syscall for file /proc/8/stat open syscall for file /proc/8/status open syscall for file /proc/8/cmdline open syscall for file /proc/8/environ open syscall for file /proc/9/stat open syscall for file /proc/9/status open syscall for file /proc/9/cmdline open syscall for file /proc/9/environ open syscall for file /proc/10/stat open syscall for file /proc/10/status open syscall for file /proc/10/cmdline open syscall for file /proc/10/environ open syscall for file /proc/11/stat open syscall for file /proc/11/status open syscall for file /proc/11/cmdline open syscall for file /proc/11/environ open syscall for file /proc/34/stat open syscall for file /proc/34/status open syscall for file /proc/34/cmdline open syscall for file /proc/34/environ open syscall for file /proc/35/stat open syscall for file /proc/35/status open syscall for file /proc/35/cmdline open syscall for file /proc/35/environ open syscall for file /proc/36/stat open syscall for file /proc/36/status open syscall for file /proc/36/cmdline open syscall for file /proc/36/environ open syscall for file /proc/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/825/stat open syscall for file /proc/825/status open syscall for file /proc/825/cmdline open syscall for file /proc/825/environ open syscall for file /proc/826/stat open syscall for file /proc/826/status open syscall for file /proc/826/cmdline open syscall for file /proc/826/environ open syscall for file /proc/1259/stat open syscall for file /proc/1259/status open syscall for file /proc/1259/cmdline open syscall for file /proc/1259/environ open syscall for file /proc/1263/stat open syscall for file /proc/1263/status open syscall for file /proc/1263/cmdline open syscall for file /proc/1263/environ open syscall for file /proc/1285/stat open syscall for file /proc/1285/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1285/cmdline open syscall for file /proc/1285/environ open syscall for file /proc/1315/stat open syscall for file /proc/1315/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1315/cmdline open syscall for file /proc/1315/environ open syscall for file /proc/1359/stat open syscall for file /proc/1359/status open syscall for file /proc/1359/cmdline open syscall for file /proc/1359/environ open syscall for file /proc/1387/stat open syscall for file /proc/1387/status open syscall for file /proc/1387/cmdline open syscall for file /proc/1387/environ open syscall for file /proc/1452/stat open syscall for file /proc/1452/status open syscall for file /proc/1452/cmdline open syscall for file /proc/1452/environ open syscall for file /proc/1478/stat open syscall for file /proc/1478/status open syscall for file /proc/1478/cmdline open syscall for file /proc/1478/environ open syscall for file /proc/1503/stat open syscall for file /proc/1503/status open syscall for file /proc/1503/cmdline open syscall for file /proc/1503/environ open syscall for file /proc/1544/stat open syscall for file /proc/1544/status open syscall for file /proc/1544/cmdline open syscall for file /proc/1544/environ open syscall for file /proc/1568/stat open syscall for file /proc/1568/status open syscall for file /proc/1568/cmdline open syscall for file /proc/1568/environ open syscall for file /proc/1591/stat open syscall for file /proc/1591/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1591/cmdline open syscall for file /proc/1591/environ open syscall for file /proc/1622/stat open syscall for file /proc/1622/status open syscall for file /proc/1622/cmdline open syscall for file /proc/1622/environ open syscall for file /proc/1680/stat open syscall for file /proc/1680/status open syscall for file /proc/1680/cmdline open syscall for file /proc/1680/environ open syscall for file /proc/1685/stat open syscall for file /proc/1685/status open syscall for file /proc/1685/cmdline open syscall for file /proc/1685/environ open syscall for file /proc/1686/stat open syscall for file /proc/1686/status open syscall for file /proc/1686/cmdline open syscall for file /proc/1686/environ open syscall for file /proc/1687/stat open syscall for file /proc/1687/status open syscall for file /proc/1687/cmdline open syscall for file /proc/1687/environ open syscall for file /proc/1688/stat open syscall for file /proc/1688/status open syscall for file /proc/1688/cmdline open syscall for file /proc/1688/environ open syscall for file /proc/1689/stat open syscall for file /proc/1689/status open syscall for file /proc/1689/cmdline open syscall for file /proc/1689/environ open syscall for file /proc/1690/stat open syscall for file /proc/1690/status open syscall for file /proc/1690/cmdline open syscall for file /proc/1690/environ open syscall for file /proc/1691/stat open syscall for file /proc/1691/status open syscall for file /proc/1691/cmdline open syscall for file /proc/1691/environ open syscall for file /proc/4044/stat open syscall for file /proc/4044/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/4044/cmdline open syscall for file /proc/4044/environ open syscall for file /proc/4069/stat open syscall for file /proc/4069/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/4069/cmdline open syscall for file /proc/4069/environ open syscall for file /proc/5548/stat open syscall for file /proc/5548/status open syscall for file /proc/5548/cmdline open syscall for file /proc/5548/environ open syscall for file /proc/5586/stat open syscall for file /proc/5586/status open syscall for file /proc/5586/cmdline open syscall for file /proc/5586/environ open syscall for file /proc/5587/stat open syscall for file /proc/5587/status open syscall for file /proc/5587/cmdline open syscall for file /proc/5587/environ open syscall for file /proc/5594/stat open syscall for file /proc/5594/status open syscall for file /proc/5594/cmdline open syscall for file /proc/5594/environ open syscall for file /proc/5595/stat open syscall for file /proc/5595/status open syscall for file /proc/5595/cmdline open syscall for file /proc/5595/environ One traced child (pid=5594) exited with status: 0 One traced child (pid=5595) exited with status: 0 New process pid=5596 execve syscall for /bin/sleep executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/librt.so.1 open syscall for file tls/i686/librt.so.1 open syscall for file tls/mmx/librt.so.1 open syscall for file tls/librt.so.1 open syscall for file i686/mmx/librt.so.1 open syscall for file i686/librt.so.1 open syscall for file mmx/librt.so.1 open syscall for file librt.so.1 open syscall for file /oldhome/oroussel/lib/librt.so.1 open syscall for file /lib/tls/librt.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 One traced child (pid=5596) exited with status: 0 New process pid=5597 execve syscall for /bin/rm executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/i686/libc.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libc.so.6 open syscall for file . open syscall for file . One traced child (pid=5597) exited with status: 0 One traced child (pid=5587) ended because it received signal 15 (SIGTERM) All traced children have exited ! Game is over. Child ended because it received signal 15 (SIGTERM) Real time (s): 1690.57 CPU time (s): 1201.58 CPU user time (s): 961.219 CPU system time (s): 240.357 CPU usage (%): 71.0751 Max. virtual memory (cumulated for all children) (Kb): 4612
ERROR: no interpretation found !