Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb |
MD5SUM | 5fcfa2f72175b9723ffb2781fb76fcdc |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 661.783 |
Number of variables | 89 |
Total number of constraints | 117 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 104 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 47 |
LAUNCH ON wulflinc9 THE 2005-09-23 11:42:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7968 boxname=wulflinc9 idbench=936 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 5fcfa2f72175b9723ffb2781fb76fcdc /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-lseu.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-lseu.opb 0 IDLAUNCH: 7968 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 927392 kB Buffers: 9868 kB Cached: 80640 kB SwapCached: 0 kB Active: 50540 kB Inactive: 42832 kB HighTotal: 131008 kB HighFree: 47292 kB LowTotal: 903652 kB LowFree: 880100 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6976 kB Slab: 8316 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 12:10:15 (client local time) WITH STATUS 0 IN 1202.21 SECONDS stats: 7968 7 1202.21 0
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 0 (#equs: 0) #decisions: 23; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 result: model found (1) Model found with constant: 12559 (2934:>=*); #decisions: 18; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 29, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12580 (2913:>=*); #decisions: 26; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 29, #non-axs: 8 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12604 (2889:>=*); #decisions: 21; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 29, #non-axs: 10 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12605 (2888:>=*); #decisions: 16; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 10 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12624 (2869:>=*); #decisions: 17; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 29, #non-axs: 11 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12685 (2808:>=*); #decisions: 28; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 29, #non-axs: 17 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12694 (2799:>=*); #decisions: 24; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 29, #non-axs: 18 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12773 (2720:>=*); #decisions: 36; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 29, #non-axs: 23 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12867 (2626:>=*); #decisions: 30; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 80 (80) #axs: 29, #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: 12951 (2542:>=*); #decisions: 17; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 29, #non-axs: 32 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12970 (2523:>=*); #decisions: 26; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 29, #non-axs: 36 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12986 (2507:>=*); #decisions: 17; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 29, #non-axs: 36 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12989 (2504:>=*); #decisions: 27; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 29, #non-axs: 40 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13010 (2483:>=*); #decisions: 20; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 29, #non-axs: 41 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13013 (2480:>=*); #decisions: 106; #end-nodes: 75; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 75 / 80 (80) #axs: 29, #non-axs: 87 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13029 (2464:>=*); #decisions: 71; #end-nodes: 37; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 37 / 80 (80) #axs: 29, #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: 13098 (2395:>=*); #decisions: 96; #end-nodes: 70; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 70 / 80 (80) #axs: 29, #non-axs: 159 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13138 (2355:>=*); #decisions: 234; #end-nodes: 182; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 22 / 80 (80) #axs: 29, #non-axs: 289 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13152 (2341:>=*); #decisions: 50; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 29, #non-axs: 297 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13190 (2303:>=*); #decisions: 16; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 297 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13198 (2295:>=*); #decisions: 24; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 29, #non-axs: 301 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13262 (2231:>=*); #decisions: 43; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 80 (80) #axs: 29, #non-axs: 316 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13288 (2205:>=*); #decisions: 445; #end-nodes: 347; #proof improvement attempts: 0; #restarts: 4 Current batch, end-nodes: 26 / 81 (81) #axs: 29, #non-axs: 460 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13311 (2182:>=*); #decisions: 16; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 29, #non-axs: 460 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13397 (2096:>=*); #decisions: 12; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 460 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13403 (2090:>=*); #decisions: 17; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 29, #non-axs: 460 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13412 (2081:>=*); #decisions: 38; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 29, #non-axs: 460 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13413 (2080:>=*); #decisions: 11; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 460 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13419 (2074:>=*); #decisions: 120; #end-nodes: 86; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 6 / 80 (80) #axs: 29, #non-axs: 463 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13466 (2027:>=*); #decisions: 28; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 29, #non-axs: 464 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13475 (2018:>=*); #decisions: 287; #end-nodes: 222; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 61 / 80 (80) #axs: 29, #non-axs: 528 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13495 (1998:>=*); #decisions: 156; #end-nodes: 127; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 47 / 80 (80) #axs: 29, #non-axs: 565 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13564 (1929:>=*); #decisions: 88; #end-nodes: 67; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 67 / 80 (80) #axs: 29, #non-axs: 608 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13565 (1928:>=*); #decisions: 20; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 29, #non-axs: 610 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13582 (1911:>=*); #decisions: 348; #end-nodes: 260; #proof improvement attempts: 0; #restarts: 3 Current batch, end-nodes: 19 / 80 (80) #axs: 29, #non-axs: 763 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13592 (1901:>=*); #decisions: 801; #end-nodes: 657; #proof improvement attempts: 0; #restarts: 8 Current batch, end-nodes: 5 / 82 (82) #axs: 29, #non-axs: 1002 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13615 (1878:>=*); #decisions: 1952; #end-nodes: 1536; #proof improvement attempts: 0; #restarts: 18 Current batch, end-nodes: 57 / 84 (84) #axs: 29, #non-axs: 983 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: 13682 (1811:>=*); #decisions: 135; #end-nodes: 85; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 5 / 80 (80) #axs: 29, #non-axs: 1016 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: 13699 (1794:>=*); #decisions: 24; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 29, #non-axs: 1016 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: 13719 (1774:>=*); #decisions: 40; #end-nodes: 23; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 23 / 80 (80) #axs: 29, #non-axs: 1016 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: 13801 (1692:>=*); #decisions: 21; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 29, #non-axs: 1016 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: 13804 (1689:>=*); #decisions: 52; #end-nodes: 37; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 37 / 80 (80) #axs: 29, #non-axs: 1016 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: 13815 (1678:>=*); #decisions: 21; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 29, #non-axs: 1016 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: 13839 (1654:>=*); #decisions: 26; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 29, #non-axs: 1016 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: 13883 (1610:>=*); #decisions: 27; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 29, #non-axs: 1016 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: 13961 (1532:>=*); #decisions: 45; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 80 (80) #axs: 29, #non-axs: 1016 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: 14051 (1442:>=*); #decisions: 2306; #end-nodes: 1731; #proof improvement attempts: 0; #restarts: 20 Current batch, end-nodes: 29 / 85 (85) #axs: 29, #non-axs: 1076 tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 19 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14070 (1423:>=*); #decisions: 29; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 29, #non-axs: 1076 tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 19 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14090 (1403:>=*); #decisions: 7420; #end-nodes: 5546; #proof improvement attempts: 0; #restarts: 55 Current batch, end-nodes: 32 / 93 (93) #axs: 29, #non-axs: 697 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 12 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14099 (1394:>=*); #decisions: 151; #end-nodes: 106; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 26 / 80 (80) #axs: 29, #non-axs: 719 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 12 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14136 (1357:>=*); #decisions: 61; #end-nodes: 41; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 41 / 80 (80) #axs: 29, #non-axs: 720 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 12 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14145 (1348:>=*); #decisions: 10172; #end-nodes: 7964; #proof improvement attempts: 0; #restarts: 81 Current batch, end-nodes: 22 / 100 (100) #axs: 29, #non-axs: 78 tight: meta-meta: start: 6, end: 9; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14220 (1273:>=*); #decisions: 4244; #end-nodes: 3266; #proof improvement attempts: 0; #restarts: 35 Current batch, end-nodes: 56 / 88 (88) #axs: 29, #non-axs: 12 tight: meta-meta: start: 6, end: 9; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14238 (1255:>=*); #decisions: 31675; #end-nodes: 25953; #proof improvement attempts: 0; #restarts: 201 Current batch, end-nodes: 129 / 133 (130) #axs: 29, #non-axs: 79 tight: meta-meta: start: 4, end: 5; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14241 (1252:>=*); #decisions: 170802; #end-nodes: 141457; #proof improvement attempts: 0; #restarts: 646 Current batch, end-nodes: 304 / 845 (241) #axs: 29, #non-axs: 49 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14259 (1234:>=*); #decisions: 6033; #end-nodes: 4889; #proof improvement attempts: 0; #restarts: 50 Current batch, end-nodes: 10 / 92 (92) #axs: 29, #non-axs: 49 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14263 (1230:>=*); #decisions: 535219; #end-nodes: 437523; #proof improvement attempts: 0; #restarts: 1130 Current batch, end-nodes: 229 / 362 (362) #axs: 29, #non-axs: 35 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14324 (1169:>=*); #decisions: 48; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 80 (80) #axs: 29, #non-axs: 35 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14344 (1149:>=*); #decisions: 691648; #end-nodes: 557329; #proof improvement attempts: 0; #restarts: 1198 Current batch, end-nodes: 1428 / 2233 (379) #axs: 29, #non-axs: 39 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14357 (1136:>=*); #decisions: 1863299; #end-nodes: 1481570; #proof improvement attempts: 0; #restarts: 2023 Current batch, end-nodes: 1184 / 2223 (585) #axs: 29, #non-axs: 9 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14365 (1128:>=*); Interupt request received. #decisions: 6684787; #end-nodes: 5247372; #proof improvement attempts: 0; #restarts: 3712 Current batch, end-nodes: 6627 / 10136 (1008) #axs: 29, #non-axs: 7 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 7, end: 11; meta: start: 24, end (keep): 37 Model found with constant: (pushed:) 14365 (1128:>=*) 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: 55 (#equs: 0) Time taken: 20 min, 2 sec Interupt; Current theory and settings are copied here: /tmp/vallst_sh_out_theory.vnf /tmp/vallst_sh_changing_setting.options
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/5439/stat): 5439 (vallstSAT2005PB) R 5438 5439 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 19914677 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/5439/statm): 174 3 169 147 0 27 0 [pid=5439] 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=5440 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=5440) exited with status: 0 New process pid=5441 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=5441) exited with status: 0 New process pid=5442 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/wulflinc9/normalized-mps-v2-13-7-lseu.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.004 s] Raw data (loadavg): 0.96 1.05 1.01 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 256 0 0 0 306 220 0 0 16 0 1 0 19914684 2293760 226 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 560 226 413 48 0 512 0 [pid=5442] vsize: 2240 Current children cumulated CPU time (s) 5.28 Current children cumulated vsize (Kb) 4368 [startup+20.0048 s] Raw data (loadavg): 0.97 1.05 1.00 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 263 0 0 0 592 448 0 0 15 0 1 0 19914684 2293760 233 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 560 233 413 48 0 512 0 [pid=5442] vsize: 2240 Current children cumulated CPU time (s) 10.42 Current children cumulated vsize (Kb) 4368 [startup+30.0056 s] Raw data (loadavg): 0.97 1.04 1.00 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 293 0 0 0 902 668 0 0 15 0 1 0 19914684 2293760 263 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 560 263 413 48 0 512 0 [pid=5442] vsize: 2240 Current children cumulated CPU time (s) 15.72 Current children cumulated vsize (Kb) 4368 [startup+40.0064 s] Raw data (loadavg): 0.97 1.04 1.00 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 309 0 0 0 1207 896 0 0 15 0 1 0 19914684 2293760 279 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 560 279 413 48 0 512 0 [pid=5442] vsize: 2240 Current children cumulated CPU time (s) 21.05 Current children cumulated vsize (Kb) 4368 [startup+50.0072 s] Raw data (loadavg): 0.98 1.04 1.00 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 315 0 0 0 1579 1106 0 0 16 0 1 0 19914684 2293760 285 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 560 285 413 48 0 512 0 [pid=5442] vsize: 2240 Current children cumulated CPU time (s) 26.87 Current children cumulated vsize (Kb) 4368 [startup+60.0079 s] Raw data (loadavg): 0.98 1.04 1.00 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 317 0 0 0 1923 1325 0 0 16 0 1 0 19914684 2293760 287 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 560 287 413 48 0 512 0 [pid=5442] vsize: 2240 Current children cumulated CPU time (s) 32.5 Current children cumulated vsize (Kb) 4368 [startup+70.0087 s] Raw data (loadavg): 1.06 1.05 1.01 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 319 0 0 0 2242 1547 0 0 16 0 1 0 19914684 2293760 289 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 560 289 413 48 0 512 0 [pid=5442] vsize: 2240 Current children cumulated CPU time (s) 37.91 Current children cumulated vsize (Kb) 4368 [startup+80.0095 s] Raw data (loadavg): 1.13 1.07 1.01 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 319 0 0 0 2553 1761 0 0 16 0 1 0 19914684 2293760 289 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5442/statm): 560 289 413 48 0 512 0 [pid=5442] vsize: 2240 Current children cumulated CPU time (s) 43.16 Current children cumulated vsize (Kb) 4368 [startup+90.0103 s] Raw data (loadavg): 1.11 1.06 1.01 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 326 0 0 0 2906 1979 0 0 16 0 1 0 19914684 2428928 296 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 593 296 413 48 0 545 0 [pid=5442] vsize: 2372 Current children cumulated CPU time (s) 48.87 Current children cumulated vsize (Kb) 4500 [startup+100.011 s] Raw data (loadavg): 1.09 1.06 1.01 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 335 0 0 0 3304 2182 0 0 15 0 1 0 19914684 2428928 305 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 593 305 413 48 0 545 0 [pid=5442] vsize: 2372 Current children cumulated CPU time (s) 54.88 Current children cumulated vsize (Kb) 4500 [startup+110.012 s] Raw data (loadavg): 1.08 1.06 1.01 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 343 0 0 0 3723 2374 0 0 16 0 1 0 19914684 2428928 313 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 593 313 413 48 0 545 0 [pid=5442] vsize: 2372 Current children cumulated CPU time (s) 60.99 Current children cumulated vsize (Kb) 4500 [startup+120.013 s] Raw data (loadavg): 1.06 1.06 1.01 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 346 0 0 0 4148 2566 0 0 16 0 1 0 19914684 2428928 316 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 593 316 413 48 0 545 0 [pid=5442] vsize: 2372 Current children cumulated CPU time (s) 67.16 Current children cumulated vsize (Kb) 4500 [startup+130.013 s] Raw data (loadavg): 1.05 1.05 1.00 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 354 0 0 0 4599 2753 0 0 16 0 1 0 19914684 2428928 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 593 324 413 48 0 545 0 [pid=5442] vsize: 2372 Current children cumulated CPU time (s) 73.54 Current children cumulated vsize (Kb) 4500 [startup+140.014 s] Raw data (loadavg): 1.12 1.07 1.01 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 362 0 0 0 5058 2929 0 0 16 0 1 0 19914684 2564096 332 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 626 332 413 48 0 578 0 [pid=5442] vsize: 2504 Current children cumulated CPU time (s) 79.89 Current children cumulated vsize (Kb) 4632 [startup+150.015 s] Raw data (loadavg): 1.19 1.08 1.01 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 367 0 0 0 5518 3107 0 0 16 0 1 0 19914684 2564096 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 626 337 413 48 0 578 0 [pid=5442] vsize: 2504 Current children cumulated CPU time (s) 86.27 Current children cumulated vsize (Kb) 4632 [startup+160.016 s] Raw data (loadavg): 1.16 1.08 1.01 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 371 0 0 0 5978 3285 0 0 16 0 1 0 19914684 2564096 341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 626 341 413 48 0 578 0 [pid=5442] vsize: 2504 Current children cumulated CPU time (s) 92.65 Current children cumulated vsize (Kb) 4632 [startup+170.017 s] Raw data (loadavg): 1.13 1.08 1.01 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 374 0 0 0 6371 3486 0 0 16 0 1 0 19914684 2564096 344 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 626 344 413 48 0 578 0 [pid=5442] vsize: 2504 Current children cumulated CPU time (s) 98.59 Current children cumulated vsize (Kb) 4632 [startup+180.016 s] Raw data (loadavg): 1.11 1.07 1.01 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 377 0 0 0 6702 3703 0 0 16 0 1 0 19914684 2564096 347 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 626 347 413 48 0 578 0 [pid=5442] vsize: 2504 Current children cumulated CPU time (s) 104.07 Current children cumulated vsize (Kb) 4632 [startup+190.018 s] Raw data (loadavg): 1.17 1.09 1.02 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 377 0 0 0 7034 3921 0 0 16 0 1 0 19914684 2564096 347 4294967295 134512640 134702520 3221223952 3221222720 134552537 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 626 347 413 48 0 578 0 [pid=5442] vsize: 2504 Current children cumulated CPU time (s) 109.57 Current children cumulated vsize (Kb) 4632 [startup+200.018 s] Raw data (loadavg): 1.15 1.08 1.01 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 381 0 0 0 7441 4121 0 0 16 0 1 0 19914684 2564096 351 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 626 351 413 48 0 578 0 [pid=5442] vsize: 2504 Current children cumulated CPU time (s) 115.64 Current children cumulated vsize (Kb) 4632 [startup+210.019 s] Raw data (loadavg): 1.12 1.08 1.01 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 383 0 0 0 7898 4307 0 0 16 0 1 0 19914684 2564096 353 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 626 353 413 48 0 578 0 [pid=5442] vsize: 2504 Current children cumulated CPU time (s) 122.07 Current children cumulated vsize (Kb) 4632 [startup+220.019 s] Raw data (loadavg): 1.18 1.10 1.02 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 386 0 0 0 8340 4489 0 0 16 0 1 0 19914684 2564096 356 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 626 356 413 48 0 578 0 [pid=5442] vsize: 2504 Current children cumulated CPU time (s) 128.31 Current children cumulated vsize (Kb) 4632 [startup+230.019 s] Raw data (loadavg): 1.16 1.09 1.02 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 391 0 0 0 8788 4669 0 0 15 0 1 0 19914684 2564096 361 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 626 361 413 48 0 578 0 [pid=5442] vsize: 2504 Current children cumulated CPU time (s) 134.59 Current children cumulated vsize (Kb) 4632 [startup+240.02 s] Raw data (loadavg): 1.13 1.09 1.02 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 394 0 0 0 9287 4843 0 0 16 0 1 0 19914684 2699264 364 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 364 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 141.32 Current children cumulated vsize (Kb) 4764 [startup+250.021 s] Raw data (loadavg): 1.19 1.10 1.02 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 394 0 0 0 9755 5018 0 0 16 0 1 0 19914684 2699264 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 659 364 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 147.75 Current children cumulated vsize (Kb) 4764 [startup+260.023 s] Raw data (loadavg): 1.24 1.11 1.02 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 395 0 0 0 10232 5189 0 0 16 0 1 0 19914684 2699264 365 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 659 365 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 154.23 Current children cumulated vsize (Kb) 4764 [startup+270.023 s] Raw data (loadavg): 1.28 1.13 1.03 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 399 0 0 0 10711 5362 0 0 16 0 1 0 19914684 2699264 369 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 369 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 160.75 Current children cumulated vsize (Kb) 4764 [startup+280.023 s] Raw data (loadavg): 1.31 1.14 1.03 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 401 0 0 0 11164 5544 0 0 16 0 1 0 19914684 2699264 371 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 659 371 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 167.1 Current children cumulated vsize (Kb) 4764 [startup+290.024 s] Raw data (loadavg): 1.26 1.13 1.03 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 405 0 0 0 11650 5717 0 0 16 0 1 0 19914684 2699264 375 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 659 375 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 173.69 Current children cumulated vsize (Kb) 4764 [startup+300.025 s] Raw data (loadavg): 1.30 1.14 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 405 0 0 0 11971 5938 0 0 16 0 1 0 19914684 2699264 375 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 375 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 179.11 Current children cumulated vsize (Kb) 4764 [startup+310.026 s] Raw data (loadavg): 1.25 1.14 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 407 0 0 0 12343 6142 0 0 15 0 1 0 19914684 2699264 377 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 377 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 184.87 Current children cumulated vsize (Kb) 4764 [startup+320.027 s] Raw data (loadavg): 1.37 1.17 1.05 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 407 0 0 0 12749 6339 0 0 16 0 1 0 19914684 2699264 377 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 377 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 190.9 Current children cumulated vsize (Kb) 4764 [startup+330.028 s] Raw data (loadavg): 1.31 1.16 1.04 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 407 0 0 0 13138 6538 0 0 16 0 1 0 19914684 2699264 377 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 377 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 196.78 Current children cumulated vsize (Kb) 4764 [startup+340.029 s] Raw data (loadavg): 1.26 1.16 1.04 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 409 0 0 0 13588 6720 0 0 16 0 1 0 19914684 2699264 379 4294967295 134512640 134702520 3221223952 3221223072 134584554 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 379 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 203.1 Current children cumulated vsize (Kb) 4764 [startup+350.03 s] Raw data (loadavg): 1.22 1.15 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 410 0 0 0 14017 6909 0 0 15 0 1 0 19914684 2699264 380 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 380 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 209.28 Current children cumulated vsize (Kb) 4764 [startup+360.031 s] Raw data (loadavg): 1.19 1.14 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 411 0 0 0 14547 7063 0 0 16 0 1 0 19914684 2699264 381 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 381 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 216.12 Current children cumulated vsize (Kb) 4764 [startup+370.032 s] Raw data (loadavg): 1.16 1.14 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 412 0 0 0 14998 7245 0 0 16 0 1 0 19914684 2699264 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 659 382 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 222.45 Current children cumulated vsize (Kb) 4764 [startup+380.032 s] Raw data (loadavg): 1.13 1.13 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 412 0 0 0 15443 7424 0 0 15 0 1 0 19914684 2699264 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 382 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 228.69 Current children cumulated vsize (Kb) 4764 [startup+390.033 s] Raw data (loadavg): 1.11 1.13 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 416 0 0 0 15871 7622 0 0 16 0 1 0 19914684 2699264 386 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 386 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 234.95 Current children cumulated vsize (Kb) 4764 [startup+400.033 s] Raw data (loadavg): 1.09 1.12 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 416 0 0 0 16342 7799 0 0 15 0 1 0 19914684 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 386 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 241.43 Current children cumulated vsize (Kb) 4764 [startup+410.034 s] Raw data (loadavg): 1.15 1.14 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 416 0 0 0 16827 7969 0 0 15 0 1 0 19914684 2699264 386 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 659 386 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 247.98 Current children cumulated vsize (Kb) 4764 [startup+420.035 s] Raw data (loadavg): 1.13 1.13 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 416 0 0 0 17386 8118 0 0 16 0 1 0 19914684 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 386 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 255.06 Current children cumulated vsize (Kb) 4764 [startup+430.036 s] Raw data (loadavg): 1.11 1.13 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 422 0 0 0 17884 8281 0 0 15 0 1 0 19914684 2699264 392 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 392 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 261.67 Current children cumulated vsize (Kb) 4764 [startup+440.036 s] Raw data (loadavg): 1.09 1.12 1.04 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 423 0 0 0 18403 8443 0 0 16 0 1 0 19914684 2699264 393 4294967295 134512640 134702520 3221223952 3221223232 134557446 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 659 393 413 48 0 611 0 [pid=5442] vsize: 2636 Current children cumulated CPU time (s) 268.48 Current children cumulated vsize (Kb) 4764 [startup+450.037 s] Raw data (loadavg): 1.08 1.12 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 428 0 0 0 18900 8615 0 0 16 0 1 0 19914684 2834432 398 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 398 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 275.17 Current children cumulated vsize (Kb) 4896 [startup+460.038 s] Raw data (loadavg): 1.14 1.13 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 432 0 0 0 19474 8758 0 0 16 0 1 0 19914684 2834432 402 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 692 402 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 282.34 Current children cumulated vsize (Kb) 4896 [startup+470.039 s] Raw data (loadavg): 1.12 1.12 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 434 0 0 0 19994 8913 0 0 16 0 1 0 19914684 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 692 404 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 289.09 Current children cumulated vsize (Kb) 4896 [startup+480.038 s] Raw data (loadavg): 1.18 1.14 1.05 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 434 0 0 0 20542 9062 0 0 15 0 1 0 19914684 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 404 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 296.06 Current children cumulated vsize (Kb) 4896 [startup+490.039 s] Raw data (loadavg): 1.15 1.13 1.04 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 434 0 0 0 21035 9230 0 0 16 0 1 0 19914684 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 404 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 302.67 Current children cumulated vsize (Kb) 4896 [startup+500.04 s] Raw data (loadavg): 1.20 1.14 1.05 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 436 0 0 0 21605 9376 0 0 15 0 1 0 19914684 2834432 406 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5442/statm): 692 406 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 309.83 Current children cumulated vsize (Kb) 4896 [startup+510.041 s] Raw data (loadavg): 1.17 1.14 1.05 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 437 0 0 0 22120 9541 0 0 16 0 1 0 19914684 2834432 407 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 407 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 316.63 Current children cumulated vsize (Kb) 4896 [startup+520.042 s] Raw data (loadavg): 1.22 1.15 1.05 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 439 0 0 0 22663 9692 0 0 16 0 1 0 19914684 2834432 409 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 409 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 323.57 Current children cumulated vsize (Kb) 4896 [startup+530.041 s] Raw data (loadavg): 1.18 1.14 1.05 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 442 0 0 0 23178 9849 0 0 15 0 1 0 19914684 2834432 412 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 412 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 330.29 Current children cumulated vsize (Kb) 4896 [startup+540.042 s] Raw data (loadavg): 1.15 1.14 1.05 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 445 0 0 0 23745 9995 0 0 16 0 1 0 19914684 2834432 415 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 415 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 337.42 Current children cumulated vsize (Kb) 4896 [startup+550.044 s] Raw data (loadavg): 1.13 1.13 1.05 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 447 0 0 0 24243 10163 0 0 16 0 1 0 19914684 2834432 417 4294967295 134512640 134702520 3221223952 3221223072 134573103 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 417 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 344.08 Current children cumulated vsize (Kb) 4896 [startup+560.045 s] Raw data (loadavg): 1.11 1.13 1.05 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 447 0 0 0 24804 10311 0 0 16 0 1 0 19914684 2834432 417 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 692 417 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 351.17 Current children cumulated vsize (Kb) 4896 [startup+570.046 s] Raw data (loadavg): 1.09 1.12 1.05 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 449 0 0 0 25255 10496 0 0 15 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 419 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 357.53 Current children cumulated vsize (Kb) 4896 [startup+580.046 s] Raw data (loadavg): 1.23 1.15 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 25566 10715 0 0 16 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 419 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 362.83 Current children cumulated vsize (Kb) 4896 [startup+590.047 s] Raw data (loadavg): 1.20 1.15 1.06 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 449 0 0 0 25952 10917 0 0 16 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 419 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 368.71 Current children cumulated vsize (Kb) 4896 [startup+600.048 s] Raw data (loadavg): 1.24 1.16 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 26362 11111 0 0 15 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 692 419 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 374.75 Current children cumulated vsize (Kb) 4896 [startup+610.049 s] Raw data (loadavg): 1.27 1.17 1.07 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 26798 11298 0 0 15 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 692 419 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 380.98 Current children cumulated vsize (Kb) 4896 [startup+620.05 s] Raw data (loadavg): 1.23 1.16 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 27219 11492 0 0 15 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 692 419 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 387.13 Current children cumulated vsize (Kb) 4896 [startup+630.05 s] Raw data (loadavg): 1.20 1.16 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 27589 11698 0 0 16 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 692 419 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 392.89 Current children cumulated vsize (Kb) 4896 [startup+640.051 s] Raw data (loadavg): 1.16 1.15 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 28061 11873 0 0 16 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 692 419 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 399.36 Current children cumulated vsize (Kb) 4896 [startup+650.05 s] Raw data (loadavg): 1.14 1.15 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 28501 12059 0 0 15 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 419 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 405.62 Current children cumulated vsize (Kb) 4896 [startup+660.051 s] Raw data (loadavg): 1.12 1.14 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 449 0 0 0 29000 12230 0 0 16 0 1 0 19914684 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 419 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 412.32 Current children cumulated vsize (Kb) 4896 [startup+670.14 s] Raw data (loadavg): 1.10 1.14 1.06 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 451 0 0 0 29475 12408 0 0 16 0 1 0 19914684 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 421 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 418.85 Current children cumulated vsize (Kb) 4896 [startup+680.14 s] Raw data (loadavg): 1.08 1.13 1.06 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 451 0 0 0 29942 12588 0 0 16 0 1 0 19914684 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5442/statm): 692 421 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 425.32 Current children cumulated vsize (Kb) 4896 [startup+690.14 s] Raw data (loadavg): 1.07 1.13 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 451 0 0 0 30403 12772 0 0 16 0 1 0 19914684 2834432 421 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 692 421 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 431.77 Current children cumulated vsize (Kb) 4896 [startup+700.141 s] Raw data (loadavg): 1.06 1.12 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 451 0 0 0 30944 12924 0 0 16 0 1 0 19914684 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 692 421 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 438.7 Current children cumulated vsize (Kb) 4896 [startup+710.143 s] Raw data (loadavg): 1.05 1.12 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 453 0 0 0 31428 13092 0 0 16 0 1 0 19914684 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 423 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 445.22 Current children cumulated vsize (Kb) 4896 [startup+720.144 s] Raw data (loadavg): 1.04 1.11 1.05 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 453 0 0 0 31975 13243 0 0 16 0 1 0 19914684 2834432 423 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 423 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 452.2 Current children cumulated vsize (Kb) 4896 [startup+730.145 s] Raw data (loadavg): 1.03 1.11 1.05 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 453 0 0 0 32476 13409 0 0 16 0 1 0 19914684 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 423 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 458.87 Current children cumulated vsize (Kb) 4896 [startup+740.147 s] Raw data (loadavg): 1.11 1.12 1.06 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 454 0 0 0 33047 13548 0 0 16 0 1 0 19914684 2834432 424 4294967295 134512640 134702520 3221223952 3221223344 134603823 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 692 424 413 48 0 644 0 [pid=5442] vsize: 2768 Current children cumulated CPU time (s) 465.97 Current children cumulated vsize (Kb) 4896 [startup+750.148 s] Raw data (loadavg): 1.17 1.13 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 459 0 0 0 33548 13716 0 0 16 0 1 0 19914684 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 726 429 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 472.66 Current children cumulated vsize (Kb) 5032 [startup+760.149 s] Raw data (loadavg): 1.22 1.14 1.07 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 459 0 0 0 34130 13861 0 0 15 0 1 0 19914684 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 726 429 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 479.93 Current children cumulated vsize (Kb) 5032 [startup+770.149 s] Raw data (loadavg): 1.18 1.14 1.07 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 459 0 0 0 34618 14029 0 0 16 0 1 0 19914684 2973696 429 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5442/statm): 726 429 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 486.49 Current children cumulated vsize (Kb) 5032 [startup+780.149 s] Raw data (loadavg): 1.16 1.13 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 459 0 0 0 35087 14200 0 0 16 0 1 0 19914684 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 726 429 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 492.89 Current children cumulated vsize (Kb) 5032 [startup+790.151 s] Raw data (loadavg): 1.13 1.13 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 459 0 0 0 35599 14362 0 0 16 0 1 0 19914684 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 429 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 499.63 Current children cumulated vsize (Kb) 5032 [startup+800.152 s] Raw data (loadavg): 1.11 1.12 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 461 0 0 0 36103 14527 0 0 16 0 1 0 19914684 2973696 431 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 431 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 506.32 Current children cumulated vsize (Kb) 5032 [startup+810.154 s] Raw data (loadavg): 1.09 1.12 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 461 0 0 0 36669 14669 0 0 15 0 1 0 19914684 2973696 431 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 726 431 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 513.4 Current children cumulated vsize (Kb) 5032 [startup+820.154 s] Raw data (loadavg): 1.08 1.12 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 461 0 0 0 37155 14842 0 0 16 0 1 0 19914684 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 431 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 519.99 Current children cumulated vsize (Kb) 5032 [startup+830.154 s] Raw data (loadavg): 1.07 1.11 1.06 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 461 0 0 0 37716 14991 0 0 16 0 1 0 19914684 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 726 431 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 527.09 Current children cumulated vsize (Kb) 5032 [startup+840.155 s] Raw data (loadavg): 1.06 1.11 1.06 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 461 0 0 0 38218 15159 0 0 15 0 1 0 19914684 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 431 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 533.79 Current children cumulated vsize (Kb) 5032 [startup+850.156 s] Raw data (loadavg): 1.05 1.10 1.06 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 465 0 0 0 38804 15300 0 0 16 0 1 0 19914684 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 435 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 541.06 Current children cumulated vsize (Kb) 5032 [startup+860.156 s] Raw data (loadavg): 1.04 1.10 1.06 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 465 0 0 0 39398 15441 0 0 16 0 1 0 19914684 2973696 435 4294967295 134512640 134702520 3221223952 3221223152 134617472 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 435 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 548.41 Current children cumulated vsize (Kb) 5032 [startup+870.157 s] Raw data (loadavg): 1.19 1.13 1.07 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 465 0 0 0 39900 15611 0 0 16 0 1 0 19914684 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 435 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 555.13 Current children cumulated vsize (Kb) 5032 [startup+880.158 s] Raw data (loadavg): 1.24 1.14 1.07 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 465 0 0 0 40470 15751 0 0 16 0 1 0 19914684 2973696 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 726 435 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 562.23 Current children cumulated vsize (Kb) 5032 [startup+890.159 s] Raw data (loadavg): 1.20 1.14 1.07 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 465 0 0 0 40947 15929 0 0 15 0 1 0 19914684 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 435 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 568.78 Current children cumulated vsize (Kb) 5032 [startup+900.159 s] Raw data (loadavg): 1.17 1.13 1.07 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 467 0 0 0 41516 16075 0 0 15 0 1 0 19914684 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 726 437 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 575.93 Current children cumulated vsize (Kb) 5032 [startup+910.161 s] Raw data (loadavg): 1.14 1.13 1.07 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 467 0 0 0 42022 16241 0 0 16 0 1 0 19914684 2973696 437 4294967295 134512640 134702520 3221223952 3221223232 134552569 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 437 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 582.65 Current children cumulated vsize (Kb) 5032 [startup+920.162 s] Raw data (loadavg): 1.12 1.12 1.07 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 467 0 0 0 42584 16390 0 0 16 0 1 0 19914684 2973696 437 4294967295 134512640 134702520 3221223952 3221223072 134572168 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 437 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 589.76 Current children cumulated vsize (Kb) 5032 [startup+930.162 s] Raw data (loadavg): 1.10 1.12 1.07 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 467 0 0 0 43168 16528 0 0 15 0 1 0 19914684 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 437 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 596.98 Current children cumulated vsize (Kb) 5032 [startup+940.163 s] Raw data (loadavg): 1.16 1.13 1.07 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 467 0 0 0 43672 16697 0 0 16 0 1 0 19914684 2973696 437 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 437 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 603.71 Current children cumulated vsize (Kb) 5032 [startup+950.163 s] Raw data (loadavg): 1.21 1.14 1.08 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 467 0 0 0 44249 16840 0 0 16 0 1 0 19914684 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 437 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 610.91 Current children cumulated vsize (Kb) 5032 [startup+960.164 s] Raw data (loadavg): 1.25 1.15 1.08 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 470 0 0 0 44765 17011 0 0 16 0 1 0 19914684 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 726 440 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 617.78 Current children cumulated vsize (Kb) 5032 [startup+970.165 s] Raw data (loadavg): 1.21 1.15 1.08 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 470 0 0 0 45369 17142 0 0 16 0 1 0 19914684 2973696 440 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 440 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 625.13 Current children cumulated vsize (Kb) 5032 [startup+980.165 s] Raw data (loadavg): 1.18 1.14 1.08 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 470 0 0 0 45953 17285 0 0 16 0 1 0 19914684 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 440 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 632.4 Current children cumulated vsize (Kb) 5032 [startup+990.166 s] Raw data (loadavg): 1.15 1.14 1.08 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 470 0 0 0 46554 17423 0 0 15 0 1 0 19914684 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 440 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 639.79 Current children cumulated vsize (Kb) 5032 [startup+1000.17 s] Raw data (loadavg): 1.13 1.13 1.08 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 472 0 0 0 47074 17583 0 0 16 0 1 0 19914684 2973696 442 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 442 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 646.59 Current children cumulated vsize (Kb) 5032 [startup+1010.17 s] Raw data (loadavg): 1.11 1.13 1.07 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 474 0 0 0 47659 17721 0 0 15 0 1 0 19914684 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 726 444 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 653.82 Current children cumulated vsize (Kb) 5032 [startup+1020.17 s] Raw data (loadavg): 1.09 1.12 1.07 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 474 0 0 0 48255 17853 0 0 16 0 1 0 19914684 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 444 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 661.1 Current children cumulated vsize (Kb) 5032 [startup+1030.17 s] Raw data (loadavg): 1.15 1.13 1.08 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 474 0 0 0 48769 18009 0 0 16 0 1 0 19914684 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 444 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 667.8 Current children cumulated vsize (Kb) 5032 [startup+1040.17 s] Raw data (loadavg): 1.20 1.14 1.08 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 476 0 0 0 49366 18145 0 0 16 0 1 0 19914684 2973696 446 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 726 446 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 675.13 Current children cumulated vsize (Kb) 5032 [startup+1050.17 s] Raw data (loadavg): 1.17 1.14 1.08 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 480 0 0 0 49979 18276 0 0 16 0 1 0 19914684 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 450 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 682.57 Current children cumulated vsize (Kb) 5032 [startup+1060.17 s] Raw data (loadavg): 1.22 1.15 1.09 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 480 0 0 0 50476 18442 0 0 16 0 1 0 19914684 2973696 450 4294967295 134512640 134702520 3221223952 3221223072 134573047 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 450 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 689.2 Current children cumulated vsize (Kb) 5032 [startup+1070.17 s] Raw data (loadavg): 1.19 1.15 1.08 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 480 0 0 0 51081 18575 0 0 15 0 1 0 19914684 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 450 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 696.58 Current children cumulated vsize (Kb) 5032 [startup+1080.17 s] Raw data (loadavg): 1.16 1.14 1.08 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 480 0 0 0 51669 18717 0 0 16 0 1 0 19914684 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 726 450 413 48 0 678 0 [pid=5442] vsize: 2904 Current children cumulated CPU time (s) 703.88 Current children cumulated vsize (Kb) 5032 [startup+1090.17 s] Raw data (loadavg): 1.13 1.14 1.08 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 697 0 0 0 52298 18844 0 0 16 0 1 0 19914684 3952640 667 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 965 667 413 48 0 917 0 [pid=5442] vsize: 3860 Current children cumulated CPU time (s) 711.44 Current children cumulated vsize (Kb) 5988 [startup+1100.17 s] Raw data (loadavg): 1.11 1.13 1.08 2/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 1044 0 0 0 53160 18892 0 0 17 0 1 0 19914684 5365760 1014 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 1310 1014 413 48 0 1262 0 [pid=5442] vsize: 5240 Current children cumulated CPU time (s) 720.54 Current children cumulated vsize (Kb) 7368 [startup+1110.18 s] Raw data (loadavg): 1.10 1.13 1.08 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 1240 0 0 0 53918 18973 0 0 15 0 1 0 19914684 6135808 1210 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 1498 1210 413 48 0 1450 0 [pid=5442] vsize: 5992 Current children cumulated CPU time (s) 728.93 Current children cumulated vsize (Kb) 8120 [startup+1120.18 s] Raw data (loadavg): 1.15 1.14 1.09 1/56 5442 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 1240 0 0 0 54799 19014 0 0 17 0 1 0 19914684 6135808 1210 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 1498 1210 413 48 0 1450 0 [pid=5442] vsize: 5992 Current children cumulated CPU time (s) 738.15 Current children cumulated vsize (Kb) 8120 [startup+1130.18 s] Raw data (loadavg): 1.21 1.15 1.09 2/56 5444 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 1590 0 0 0 55705 19046 0 0 18 0 1 0 19914684 7512064 1560 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 1834 1560 413 48 0 1786 0 [pid=5442] vsize: 7336 Current children cumulated CPU time (s) 747.53 Current children cumulated vsize (Kb) 9464 [startup+1140.18 s] Raw data (loadavg): 1.18 1.14 1.09 2/56 5444 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 1848 0 0 0 56643 19066 0 0 18 0 1 0 19914684 8663040 1818 4294967295 134512640 134702520 3221223952 3221222816 134564360 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 2115 1818 413 48 0 2067 0 [pid=5442] vsize: 8460 Current children cumulated CPU time (s) 757.11 Current children cumulated vsize (Kb) 10588 [startup+1150.18 s] Raw data (loadavg): 1.15 1.14 1.09 2/56 5444 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 1905 0 0 0 57589 19085 0 0 25 0 1 0 19914684 8937472 1875 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 2182 1875 413 48 0 2134 0 [pid=5442] vsize: 8728 Current children cumulated CPU time (s) 766.76 Current children cumulated vsize (Kb) 10856 [startup+1160.18 s] Raw data (loadavg): 1.13 1.13 1.09 2/56 5444 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 2095 0 0 0 58544 19103 0 0 25 0 1 0 19914684 9752576 2065 4294967295 134512640 134702520 3221223952 3221223376 134595877 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 2381 2065 413 48 0 2333 0 [pid=5442] vsize: 9524 Current children cumulated CPU time (s) 776.49 Current children cumulated vsize (Kb) 11652 [startup+1170.18 s] Raw data (loadavg): 1.11 1.13 1.09 2/56 5444 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 2160 0 0 0 59491 19122 0 0 25 0 1 0 19914684 10039296 2130 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 2451 2130 413 48 0 2403 0 [pid=5442] vsize: 9804 Current children cumulated CPU time (s) 786.15 Current children cumulated vsize (Kb) 11932 [startup+1180.18 s] Raw data (loadavg): 1.09 1.12 1.08 2/56 5444 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 2358 0 0 0 60437 19141 0 0 25 0 1 0 19914684 10862592 2328 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 2652 2328 413 48 0 2604 0 [pid=5442] vsize: 10608 Current children cumulated CPU time (s) 795.8 Current children cumulated vsize (Kb) 12736 [startup+1190.18 s] Raw data (loadavg): 1.08 1.12 1.08 2/56 5444 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 2485 0 0 0 61402 19154 0 0 25 0 1 0 19914684 11411456 2455 4294967295 134512640 134702520 3221223952 3221222816 134564339 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 2786 2455 413 48 0 2738 0 [pid=5442] vsize: 11144 Current children cumulated CPU time (s) 805.58 Current children cumulated vsize (Kb) 13272 [startup+1200.18 s] Raw data (loadavg): 1.06 1.12 1.08 2/56 5444 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 2512 0 0 0 62355 19170 0 0 25 0 1 0 19914684 11546624 2482 4294967295 134512640 134702520 3221223952 3221223232 134557225 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 2819 2482 413 48 0 2771 0 [pid=5442] vsize: 11276 Current children cumulated CPU time (s) 815.27 Current children cumulated vsize (Kb) 13404 [startup+1210.18 s] Raw data (loadavg): 1.05 1.11 1.08 3/60 5448 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 2697 0 0 0 63308 19184 0 0 18 0 1 0 19914684 12267520 2667 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 2995 2667 413 48 0 2947 0 [pid=5442] vsize: 11980 Current children cumulated CPU time (s) 824.94 Current children cumulated vsize (Kb) 14108 [startup+1220.18 s] Raw data (loadavg): 1.04 1.11 1.08 1/56 5499 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 2853 0 0 0 64252 19207 0 0 19 0 1 0 19914684 12967936 2823 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 3166 2823 413 48 0 3118 0 [pid=5442] vsize: 12664 Current children cumulated CPU time (s) 834.61 Current children cumulated vsize (Kb) 14792 [startup+1230.19 s] Raw data (loadavg): 1.04 1.10 1.08 2/56 5499 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3048 0 0 0 65205 19225 0 0 18 0 1 0 19914684 13811712 3018 4294967295 134512640 134702520 3221223952 3221223232 134557211 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 3372 3018 413 48 0 3324 0 [pid=5442] vsize: 13488 Current children cumulated CPU time (s) 844.32 Current children cumulated vsize (Kb) 15616 [startup+1240.19 s] Raw data (loadavg): 1.03 1.10 1.08 1/56 5499 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3245 0 0 0 66153 19243 0 0 25 0 1 0 19914684 14667776 3215 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 3581 3215 413 48 0 3533 0 [pid=5442] vsize: 14324 Current children cumulated CPU time (s) 853.98 Current children cumulated vsize (Kb) 16452 [startup+1250.19 s] Raw data (loadavg): 1.03 1.10 1.08 1/56 5499 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3312 0 0 0 67126 19253 0 0 25 0 1 0 19914684 14938112 3282 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 3647 3282 413 48 0 3599 0 [pid=5442] vsize: 14588 Current children cumulated CPU time (s) 863.81 Current children cumulated vsize (Kb) 16716 [startup+1260.19 s] Raw data (loadavg): 1.02 1.09 1.08 2/56 5499 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3317 0 0 0 68092 19265 0 0 25 0 1 0 19914684 14938112 3287 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 3647 3287 413 48 0 3599 0 [pid=5442] vsize: 14588 Current children cumulated CPU time (s) 873.59 Current children cumulated vsize (Kb) 16716 [startup+1270.19 s] Raw data (loadavg): 1.02 1.09 1.08 2/56 5499 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3374 0 0 0 69048 19280 0 0 25 0 1 0 19914684 15077376 3344 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 3681 3344 413 48 0 3633 0 [pid=5442] vsize: 14724 Current children cumulated CPU time (s) 883.3 Current children cumulated vsize (Kb) 16852 [startup+1280.19 s] Raw data (loadavg): 1.01 1.08 1.08 2/56 5499 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3481 0 0 0 70017 19291 0 0 25 0 1 0 19914684 15654912 3451 4294967295 134512640 134702520 3221223952 3221223376 134595877 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 3822 3451 413 48 0 3774 0 [pid=5442] vsize: 15288 Current children cumulated CPU time (s) 893.1 Current children cumulated vsize (Kb) 17416 [startup+1290.19 s] Raw data (loadavg): 1.01 1.08 1.07 2/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3485 0 0 0 70980 19304 0 0 25 0 1 0 19914684 15654912 3455 4294967295 134512640 134702520 3221223952 3221223232 134557206 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 3822 3455 413 48 0 3774 0 [pid=5442] vsize: 15288 Current children cumulated CPU time (s) 902.86 Current children cumulated vsize (Kb) 17416 [startup+1300.19 s] Raw data (loadavg): 1.01 1.08 1.07 2/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3561 0 0 0 71940 19317 0 0 25 0 1 0 19914684 15933440 3531 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 3890 3531 413 48 0 3842 0 [pid=5442] vsize: 15560 Current children cumulated CPU time (s) 912.59 Current children cumulated vsize (Kb) 17688 [startup+1310.19 s] Raw data (loadavg): 1.01 1.08 1.07 2/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3713 0 0 0 72896 19332 0 0 18 0 1 0 19914684 16736256 3683 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4086 3683 413 48 0 4038 0 [pid=5442] vsize: 16344 Current children cumulated CPU time (s) 922.3 Current children cumulated vsize (Kb) 18472 [startup+1320.19 s] Raw data (loadavg): 1.01 1.07 1.07 2/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 73856 19345 0 0 20 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223376 134594357 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 932.03 Current children cumulated vsize (Kb) 19036 [startup+1330.19 s] Raw data (loadavg): 1.00 1.07 1.07 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 74669 19403 0 0 17 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 940.74 Current children cumulated vsize (Kb) 19036 [startup+1340.19 s] Raw data (loadavg): 1.00 1.07 1.07 2/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 75579 19434 0 0 17 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 950.15 Current children cumulated vsize (Kb) 19036 [startup+1350.19 s] Raw data (loadavg): 1.00 1.06 1.07 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 76504 19460 0 0 18 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 959.66 Current children cumulated vsize (Kb) 19036 [startup+1360.2 s] Raw data (loadavg): 1.00 1.06 1.07 2/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 77446 19480 0 0 20 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 969.28 Current children cumulated vsize (Kb) 19036 [startup+1370.2 s] Raw data (loadavg): 1.00 1.06 1.07 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 78266 19542 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 978.1 Current children cumulated vsize (Kb) 19036 [startup+1380.2 s] Raw data (loadavg): 1.07 1.07 1.07 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 78874 19677 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 985.53 Current children cumulated vsize (Kb) 19036 [startup+1390.2 s] Raw data (loadavg): 1.06 1.07 1.07 2/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 79454 19817 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 992.73 Current children cumulated vsize (Kb) 19036 [startup+1400.2 s] Raw data (loadavg): 1.05 1.07 1.07 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 80060 19954 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1000.16 Current children cumulated vsize (Kb) 19036 [startup+1410.2 s] Raw data (loadavg): 1.04 1.06 1.07 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 80592 20111 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1007.05 Current children cumulated vsize (Kb) 19036 [startup+1420.2 s] Raw data (loadavg): 1.04 1.06 1.07 2/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 81166 20257 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223344 134605734 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1014.25 Current children cumulated vsize (Kb) 19036 [startup+1430.2 s] Raw data (loadavg): 1.03 1.06 1.07 2/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 81749 20400 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1021.51 Current children cumulated vsize (Kb) 19036 [startup+1440.2 s] Raw data (loadavg): 1.02 1.06 1.06 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 82286 20554 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1028.42 Current children cumulated vsize (Kb) 19036 [startup+1450.2 s] Raw data (loadavg): 1.02 1.05 1.06 2/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 82872 20697 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223232 134557225 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1035.71 Current children cumulated vsize (Kb) 19036 [startup+1460.2 s] Raw data (loadavg): 1.02 1.05 1.06 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 83476 20831 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1043.09 Current children cumulated vsize (Kb) 19036 [startup+1470.2 s] Raw data (loadavg): 1.01 1.05 1.06 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 84004 20991 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1049.97 Current children cumulated vsize (Kb) 19036 [startup+1480.21 s] Raw data (loadavg): 1.01 1.05 1.06 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 84580 21131 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1057.13 Current children cumulated vsize (Kb) 19036 [startup+1490.21 s] Raw data (loadavg): 1.01 1.05 1.06 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 85165 21272 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1064.39 Current children cumulated vsize (Kb) 19036 [startup+1500.21 s] Raw data (loadavg): 1.01 1.04 1.06 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 85783 21403 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1071.88 Current children cumulated vsize (Kb) 19036 [startup+1510.21 s] Raw data (loadavg): 1.09 1.06 1.06 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 86365 21548 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1079.15 Current children cumulated vsize (Kb) 19036 [startup+1520.21 s] Raw data (loadavg): 1.07 1.06 1.06 2/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 86887 21714 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223344 134603736 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1086.03 Current children cumulated vsize (Kb) 19036 [startup+1530.22 s] Raw data (loadavg): 1.14 1.07 1.07 2/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 87485 21853 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223232 134557232 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1093.4 Current children cumulated vsize (Kb) 19036 [startup+1540.22 s] Raw data (loadavg): 1.12 1.07 1.07 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 88092 21985 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1100.79 Current children cumulated vsize (Kb) 19036 [startup+1550.22 s] Raw data (loadavg): 1.10 1.07 1.06 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 88679 22126 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1108.07 Current children cumulated vsize (Kb) 19036 [startup+1560.22 s] Raw data (loadavg): 1.16 1.08 1.07 1/56 5503 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 89207 22288 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1114.97 Current children cumulated vsize (Kb) 19036 [startup+1570.22 s] Raw data (loadavg): 1.14 1.08 1.07 1/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 89789 22424 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1122.15 Current children cumulated vsize (Kb) 19036 [startup+1580.22 s] Raw data (loadavg): 1.12 1.07 1.07 1/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 90386 22560 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1129.48 Current children cumulated vsize (Kb) 19036 [startup+1590.22 s] Raw data (loadavg): 1.10 1.07 1.07 1/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 90966 22704 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1136.72 Current children cumulated vsize (Kb) 19036 [startup+1600.22 s] Raw data (loadavg): 1.24 1.10 1.08 1/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 91504 22856 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1143.62 Current children cumulated vsize (Kb) 19036 [startup+1610.22 s] Raw data (loadavg): 1.20 1.10 1.08 1/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 92099 22995 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1150.96 Current children cumulated vsize (Kb) 19036 [startup+1620.22 s] Raw data (loadavg): 1.24 1.11 1.08 1/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 92709 23127 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1158.38 Current children cumulated vsize (Kb) 19036 [startup+1630.22 s] Raw data (loadavg): 1.20 1.11 1.08 1/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 93310 23260 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1165.72 Current children cumulated vsize (Kb) 19036 [startup+1640.22 s] Raw data (loadavg): 1.17 1.10 1.08 1/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 93878 23411 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1172.91 Current children cumulated vsize (Kb) 19036 [startup+1650.22 s] Raw data (loadavg): 1.15 1.10 1.08 1/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 94430 23559 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1179.91 Current children cumulated vsize (Kb) 19036 [startup+1660.23 s] Raw data (loadavg): 1.20 1.11 1.08 1/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 95028 23698 0 0 15 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1187.28 Current children cumulated vsize (Kb) 19036 [startup+1670.23 s] Raw data (loadavg): 1.17 1.11 1.08 2/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) R 5439 5439 4060 0 -1 0 3839 0 0 0 95633 23828 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1194.63 Current children cumulated vsize (Kb) 19036 [startup+1680.23 s] Raw data (loadavg): 1.14 1.10 1.08 1/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 96241 23962 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1202.05 Current children cumulated vsize (Kb) 19036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1680.23 s] Raw data (loadavg): 1.14 1.10 1.08 1/56 5505 Raw data (/proc/5439/stat): 5439 (vallstSAT2005PB) S 5438 5439 4060 0 -1 0 330 232 0 0 0 2 0 0 23 0 1 0 19914677 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5439/statm): 532 242 485 147 0 385 0 [pid=5439] vsize: 2128 Raw data (/proc/5442/stat): 5442 (vallst) T 5439 5439 4060 0 -1 0 3839 0 0 0 96241 23962 0 0 16 0 1 0 19914684 17313792 3809 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5442/statm): 4227 3809 413 48 0 4179 0 [pid=5442] vsize: 16908 Current children cumulated CPU time (s) 1202.05 Current children cumulated vsize (Kb) 19036 Sending SIGTERM to -5439 Sleeping 2 seconds New process pid=5507 New process pid=5508 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 execve syscall for /bin/ps executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libproc.so.2.0.13 open syscall for file tls/i686/libproc.so.2.0.13 open syscall for file tls/mmx/libproc.so.2.0.13 open syscall for file tls/libproc.so.2.0.13 open syscall for file i686/mmx/libproc.so.2.0.13 open syscall for file i686/libproc.so.2.0.13 open syscall for file mmx/libproc.so.2.0.13 open syscall for file libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13 One traced child (pid=5442) exited with status: 3 open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13 open syscall for file /etc/ld.so.cache open syscall for file /lib/libproc.so.2.0.13 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /proc/self/stat open syscall for file /proc/self/statm open syscall for file /proc/self/status open syscall for file /proc/uptime open syscall for file /proc/meminfo open syscall for file /proc open syscall for file /proc/1/stat open syscall for file /proc/1/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1/cmdline open syscall for file /proc/1/environ open syscall for file /proc/2/stat open syscall for file /proc/2/status open syscall for file /proc/2/cmdline open syscall for file /proc/2/environ open syscall for file /proc/3/stat open syscall for file /proc/3/status open syscall for file /proc/3/cmdline open syscall for file /proc/3/environ open syscall for file /proc/4/stat open syscall for file /proc/4/status open syscall for file /proc/4/cmdline open syscall for file /proc/4/environ open syscall for file /proc/5/stat open syscall for file /proc/5/status open syscall for file /proc/5/cmdline open syscall for file /proc/5/environ open syscall for file /proc/6/stat open syscall for file /proc/6/status open syscall for file /proc/6/cmdline open syscall for file /proc/6/environ open syscall for file /proc/7/stat open syscall for file /proc/7/status open syscall for file /proc/7/cmdline open syscall for file /proc/7/environ open syscall for file /proc/8/stat open syscall for file /proc/8/status open syscall for file /proc/8/cmdline open syscall for file /proc/8/environ open syscall for file /proc/9/stat open syscall for file /proc/9/status open syscall for file /proc/9/cmdline open syscall for file /proc/9/environ open syscall for file /proc/10/stat open syscall for file /proc/10/status open syscall for file /proc/10/cmdline open syscall for file /proc/10/environ open syscall for file /proc/11/stat open syscall for file /proc/11/status open syscall for file /proc/11/cmdline open syscall for file /proc/11/environ open syscall for file /proc/34/stat open syscall for file /proc/34/status open syscall for file /proc/34/cmdline open syscall for file /proc/34/environ open syscall for file /proc/35/stat open syscall for file /proc/35/status open syscall for file /proc/35/cmdline open syscall for file /proc/35/environ open syscall for file /proc/36/stat open syscall for file /proc/36/status open syscall for file /proc/36/cmdline open syscall for file /proc/36/environ open syscall for file /proc/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/826/stat open syscall for file /proc/826/status open syscall for file /proc/826/cmdline open syscall for file /proc/826/environ open syscall for file /proc/827/stat open syscall for file /proc/827/status open syscall for file /proc/827/cmdline open syscall for file /proc/827/environ open syscall for file /proc/1260/stat open syscall for file /proc/1260/status open syscall for file /proc/1260/cmdline open syscall for file /proc/1260/environ open syscall for file /proc/1264/stat open syscall for file /proc/1264/status open syscall for file /proc/1264/cmdline open syscall for file /proc/1264/environ open syscall for file /proc/1286/stat open syscall for file /proc/1286/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1286/cmdline open syscall for file /proc/1286/environ open syscall for file /proc/1316/stat open syscall for file /proc/1316/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1316/cmdline open syscall for file /proc/1316/environ open syscall for file /proc/1360/stat open syscall for file /proc/1360/status open syscall for file /proc/1360/cmdline open syscall for file /proc/1360/environ open syscall for file /proc/1388/stat open syscall for file /proc/1388/status open syscall for file /proc/1388/cmdline open syscall for file /proc/1388/environ open syscall for file /proc/1453/stat open syscall for file /proc/1453/status open syscall for file /proc/1453/cmdline open syscall for file /proc/1453/environ open syscall for file /proc/1480/stat open syscall for file /proc/1480/status open syscall for file /proc/1480/cmdline open syscall for file /proc/1480/environ open syscall for file /proc/1504/stat open syscall for file /proc/1504/status open syscall for file /proc/1504/cmdline open syscall for file /proc/1504/environ open syscall for file /proc/1545/stat open syscall for file /proc/1545/status open syscall for file /proc/1545/cmdline open syscall for file /proc/1545/environ open syscall for file /proc/1569/stat open syscall for file /proc/1569/status open syscall for file /proc/1569/cmdline open syscall for file /proc/1569/environ open syscall for file /proc/1592/stat open syscall for file /proc/1592/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1592/cmdline open syscall for file /proc/1592/environ open syscall for file /proc/1623/stat open syscall for file /proc/1623/status open syscall for file /proc/1623/cmdline open syscall for file /proc/1623/environ open syscall for file /proc/1681/stat open syscall for file /proc/1681/status open syscall for file /proc/1681/cmdline open syscall for file /proc/1681/environ open syscall for file /proc/1686/stat open syscall for file /proc/1686/status open syscall for file /proc/1686/cmdline open syscall for file /proc/1686/environ open syscall for file /proc/1687/stat open syscall for file /proc/1687/status open syscall for file /proc/1687/cmdline open syscall for file /proc/1687/environ open syscall for file /proc/1688/stat open syscall for file /proc/1688/status open syscall for file /proc/1688/cmdline open syscall for file /proc/1688/environ open syscall for file /proc/1689/stat open syscall for file /proc/1689/status open syscall for file /proc/1689/cmdline open syscall for file /proc/1689/environ open syscall for file /proc/1690/stat open syscall for file /proc/1690/status open syscall for file /proc/1690/cmdline open syscall for file /proc/1690/environ open syscall for file /proc/1691/stat open syscall for file /proc/1691/status open syscall for file /proc/1691/cmdline open syscall for file /proc/1691/environ open syscall for file /proc/1692/stat open syscall for file /proc/1692/status open syscall for file /proc/1692/cmdline open syscall for file /proc/1692/environ open syscall for file /proc/4042/stat open syscall for file /proc/4042/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/4042/cmdline open syscall for file /proc/4042/environ open syscall for file /proc/4068/stat open syscall for file /proc/4068/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/4068/cmdline open syscall for file /proc/4068/environ open syscall for file /proc/5400/stat open syscall for file /proc/5400/status open syscall for file /proc/5400/cmdline open syscall for file /proc/5400/environ open syscall for file /proc/5438/stat open syscall for file /proc/5438/status open syscall for file /proc/5438/cmdline open syscall for file /proc/5438/environ open syscall for file /proc/5439/stat open syscall for file /proc/5439/status open syscall for file /proc/5439/cmdline open syscall for file /proc/5439/environ open syscall for file /proc/5507/stat open syscall for file /proc/5507/status open syscall for file /proc/5507/cmdline open syscall for file /proc/5507/environ open syscall for file /proc/5508/stat open syscall for file /proc/5508/status open syscall for file /proc/5508/cmdline open syscall for file /proc/5508/environ One traced child (pid=5507) exited with status: 0 One traced child (pid=5508) exited with status: 0 New process pid=5509 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=5509) exited with status: 0 New process pid=5510 execve syscall for /bin/nice 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 /etc/ld.so.preload open syscall for file tls/i686/mmx/libacl.so.1 open syscall for file tls/i686/libacl.so.1 open syscall for file tls/mmx/libacl.so.1 open syscall for file tls/libacl.so.1 open syscall for file i686/mmx/libacl.so.1 open syscall for file i686/libacl.so.1 open syscall for file mmx/libacl.so.1 open syscall for file libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/libacl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libacl.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/libattr.so.1 open syscall for file tls/i686/libattr.so.1 open syscall for file tls/mmx/libattr.so.1 open syscall for file tls/libattr.so.1 open syscall for file i686/mmx/libattr.so.1 open syscall for file i686/libattr.so.1 open syscall for file mmx/libattr.so.1 open syscall for file libattr.so.1 open syscall for file /oldhome/oroussel/lib/libattr.so.1 open syscall for file /lib/libattr.so.1 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf open syscall for file /tmp/vallst_sh_out_theory.vnf One traced child (pid=5510) exited with status: 0 New process pid=5511 execve syscall for /bin/cp executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libacl.so.1 open syscall for file tls/i686/libacl.so.1 open syscall for file tls/mmx/libacl.so.1 open syscall for file tls/libacl.so.1 open syscall for file i686/mmx/libacl.so.1 open syscall for file i686/libacl.so.1 open syscall for file mmx/libacl.so.1 open syscall for file libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1 open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1 open syscall for file /oldhome/oroussel/lib/libacl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libacl.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/libattr.so.1 open syscall for file tls/i686/libattr.so.1 open syscall for file tls/mmx/libattr.so.1 open syscall for file tls/libattr.so.1 open syscall for file i686/mmx/libattr.so.1 open syscall for file i686/libattr.so.1 open syscall for file mmx/libattr.so.1 open syscall for file libattr.so.1 open syscall for file /oldhome/oroussel/lib/libattr.so.1 open syscall for file /lib/libattr.so.1 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options open syscall for file /tmp/vallst_sh_changing_setting.options One traced child (pid=5511) exited with status: 0 New process pid=5512 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=5512) exited with status: 0 One traced child (pid=5439) 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): 1680.78 CPU time (s): 1202.21 CPU user time (s): 962.46 CPU system time (s): 239.75 CPU usage (%): 71.5268 Max. virtual memory (cumulated for all children) (Kb): 19036
ERROR: no interpretation found !