Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb |
MD5SUM | 99657262afbbfce7034a3ec6b29d9b3b |
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.762 |
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 wulflinc8 THE 2005-09-19 20:58:43 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7669 boxname=wulflinc8 idbench=637 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 99657262afbbfce7034a3ec6b29d9b3b /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-lseu.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-lseu.opb 0 IDLAUNCH: 7669 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 888776 kB Buffers: 36600 kB Cached: 84260 kB SwapCached: 792 kB Active: 70020 kB Inactive: 53500 kB HighTotal: 131008 kB HighFree: 47068 kB LowTotal: 903652 kB LowFree: 841708 kB SwapTotal: 2097136 kB SwapFree: 2095876 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5756 kB Slab: 16768 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 21:26:34 (client local time) WITH STATUS 0 IN 1201.41 SECONDS stats: 7669 7 1201.41 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: 6362378; #end-nodes: 5002991; #proof improvement attempts: 0; #restarts: 3726 Current batch, end-nodes: 1862 / 5363 (1011) #axs: 29, #non-axs: 13 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4 loose: meta-meta: start: 8, end: 13; meta: start: 25, end (keep): 39 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: 60 (#equs: 0) Time taken: 20 min, 1 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/15308/stat): 15308 (vallstSAT2005PB) R 15307 15308 27660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1781166533 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15308/statm): 174 3 169 147 0 27 0 [pid=15308] 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=15309 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=15309) exited with status: 0 New process pid=15310 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=15310) exited with status: 0 New process pid=15311 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/wulflinc8/normalized-mps-v2-20-10-lseu.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0039 s] Raw data (loadavg): 1.01 1.00 1.00 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 256 0 0 0 307 215 0 0 16 0 1 0 1781166540 2293760 226 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 560 226 413 48 0 512 0 [pid=15311] vsize: 2240 Current children cumulated CPU time (s) 5.25 Current children cumulated vsize (Kb) 4368 [startup+20.0047 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 263 0 0 0 590 447 0 0 16 0 1 0 1781166540 2293760 233 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 560 233 413 48 0 512 0 [pid=15311] vsize: 2240 Current children cumulated CPU time (s) 10.4 Current children cumulated vsize (Kb) 4368 [startup+30.0065 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 293 0 0 0 903 669 0 0 16 0 1 0 1781166540 2293760 263 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 560 263 413 48 0 512 0 [pid=15311] vsize: 2240 Current children cumulated CPU time (s) 15.75 Current children cumulated vsize (Kb) 4368 [startup+40.0073 s] Raw data (loadavg): 1.08 1.02 1.01 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 309 0 0 0 1203 898 0 0 16 0 1 0 1781166540 2293760 279 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 560 279 413 48 0 512 0 [pid=15311] vsize: 2240 Current children cumulated CPU time (s) 21.04 Current children cumulated vsize (Kb) 4368 [startup+50.009 s] Raw data (loadavg): 1.07 1.02 1.00 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 315 0 0 0 1574 1109 0 0 15 0 1 0 1781166540 2293760 285 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 560 285 413 48 0 512 0 [pid=15311] vsize: 2240 Current children cumulated CPU time (s) 26.86 Current children cumulated vsize (Kb) 4368 [startup+60.0098 s] Raw data (loadavg): 1.06 1.01 1.00 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 317 0 0 0 1918 1323 0 0 16 0 1 0 1781166540 2293760 287 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 560 287 413 48 0 512 0 [pid=15311] vsize: 2240 Current children cumulated CPU time (s) 32.44 Current children cumulated vsize (Kb) 4368 [startup+70.0106 s] Raw data (loadavg): 1.12 1.03 1.01 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 319 0 0 0 2238 1542 0 0 16 0 1 0 1781166540 2293760 289 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 560 289 413 48 0 512 0 [pid=15311] vsize: 2240 Current children cumulated CPU time (s) 37.83 Current children cumulated vsize (Kb) 4368 [startup+80.0114 s] Raw data (loadavg): 1.18 1.04 1.01 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 319 0 0 0 2548 1765 0 0 16 0 1 0 1781166540 2293760 289 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 560 289 413 48 0 512 0 [pid=15311] vsize: 2240 Current children cumulated CPU time (s) 43.16 Current children cumulated vsize (Kb) 4368 [startup+90.0122 s] Raw data (loadavg): 1.15 1.04 1.01 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 327 0 0 0 2892 1984 0 0 16 0 1 0 1781166540 2428928 297 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 593 297 413 48 0 545 0 [pid=15311] vsize: 2372 Current children cumulated CPU time (s) 48.79 Current children cumulated vsize (Kb) 4500 [startup+100.014 s] Raw data (loadavg): 1.13 1.04 1.01 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 335 0 0 0 3284 2187 0 0 16 0 1 0 1781166540 2428928 305 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 593 305 413 48 0 545 0 [pid=15311] vsize: 2372 Current children cumulated CPU time (s) 54.74 Current children cumulated vsize (Kb) 4500 [startup+110.015 s] Raw data (loadavg): 1.18 1.06 1.01 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 343 0 0 0 3695 2384 0 0 16 0 1 0 1781166540 2428928 313 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 593 313 413 48 0 545 0 [pid=15311] vsize: 2372 Current children cumulated CPU time (s) 60.82 Current children cumulated vsize (Kb) 4500 [startup+120.016 s] Raw data (loadavg): 1.31 1.09 1.02 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 346 0 0 0 4120 2569 0 0 16 0 1 0 1781166540 2428928 316 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 593 316 413 48 0 545 0 [pid=15311] vsize: 2372 Current children cumulated CPU time (s) 66.92 Current children cumulated vsize (Kb) 4500 [startup+130.017 s] Raw data (loadavg): 1.34 1.10 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 354 0 0 0 4570 2747 0 0 16 0 1 0 1781166540 2428928 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 593 324 413 48 0 545 0 [pid=15311] vsize: 2372 Current children cumulated CPU time (s) 73.2 Current children cumulated vsize (Kb) 4500 [startup+140.018 s] Raw data (loadavg): 1.29 1.10 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 363 0 0 0 5028 2927 0 0 16 0 1 0 1781166540 2564096 333 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 626 333 413 48 0 578 0 [pid=15311] vsize: 2504 Current children cumulated CPU time (s) 79.58 Current children cumulated vsize (Kb) 4632 [startup+150.02 s] Raw data (loadavg): 1.24 1.09 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 367 0 0 0 5469 3114 0 0 15 0 1 0 1781166540 2564096 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 626 337 413 48 0 578 0 [pid=15311] vsize: 2504 Current children cumulated CPU time (s) 85.86 Current children cumulated vsize (Kb) 4632 [startup+160.021 s] Raw data (loadavg): 1.28 1.10 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 371 0 0 0 5915 3297 0 0 16 0 1 0 1781166540 2564096 341 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/15311/statm): 626 341 413 48 0 578 0 [pid=15311] vsize: 2504 Current children cumulated CPU time (s) 92.15 Current children cumulated vsize (Kb) 4632 [startup+170.02 s] Raw data (loadavg): 1.24 1.10 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 374 0 0 0 6309 3495 0 0 15 0 1 0 1781166540 2564096 344 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 626 344 413 48 0 578 0 [pid=15311] vsize: 2504 Current children cumulated CPU time (s) 98.07 Current children cumulated vsize (Kb) 4632 [startup+180.021 s] Raw data (loadavg): 1.20 1.10 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 377 0 0 0 6644 3709 0 0 15 0 1 0 1781166540 2564096 347 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 626 347 413 48 0 578 0 [pid=15311] vsize: 2504 Current children cumulated CPU time (s) 103.56 Current children cumulated vsize (Kb) 4632 [startup+190.023 s] Raw data (loadavg): 1.25 1.11 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 377 0 0 0 6972 3929 0 0 16 0 1 0 1781166540 2564096 347 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 626 347 413 48 0 578 0 [pid=15311] vsize: 2504 Current children cumulated CPU time (s) 109.04 Current children cumulated vsize (Kb) 4632 [startup+200.024 s] Raw data (loadavg): 1.29 1.12 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 381 0 0 0 7390 4120 0 0 16 0 1 0 1781166540 2564096 351 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 626 351 413 48 0 578 0 [pid=15311] vsize: 2504 Current children cumulated CPU time (s) 115.13 Current children cumulated vsize (Kb) 4632 [startup+210.025 s] Raw data (loadavg): 1.24 1.12 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 383 0 0 0 7848 4299 0 0 15 0 1 0 1781166540 2564096 353 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 626 353 413 48 0 578 0 [pid=15311] vsize: 2504 Current children cumulated CPU time (s) 121.5 Current children cumulated vsize (Kb) 4632 [startup+220.025 s] Raw data (loadavg): 1.20 1.11 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 386 0 0 0 8284 4493 0 0 16 0 1 0 1781166540 2564096 356 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 626 356 413 48 0 578 0 [pid=15311] vsize: 2504 Current children cumulated CPU time (s) 127.8 Current children cumulated vsize (Kb) 4632 [startup+230.026 s] Raw data (loadavg): 1.17 1.11 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 391 0 0 0 8709 4684 0 0 16 0 1 0 1781166540 2564096 361 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 626 361 413 48 0 578 0 [pid=15311] vsize: 2504 Current children cumulated CPU time (s) 133.96 Current children cumulated vsize (Kb) 4632 [startup+240.027 s] Raw data (loadavg): 1.22 1.12 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 394 0 0 0 9204 4849 0 0 16 0 1 0 1781166540 2699264 364 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 659 364 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 140.56 Current children cumulated vsize (Kb) 4764 [startup+250.029 s] Raw data (loadavg): 1.18 1.12 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 394 0 0 0 9682 5020 0 0 16 0 1 0 1781166540 2699264 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 659 364 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 147.05 Current children cumulated vsize (Kb) 4764 [startup+260.029 s] Raw data (loadavg): 1.16 1.11 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 395 0 0 0 10150 5197 0 0 16 0 1 0 1781166540 2699264 365 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 659 365 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 153.5 Current children cumulated vsize (Kb) 4764 [startup+270.029 s] Raw data (loadavg): 1.13 1.11 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 399 0 0 0 10633 5369 0 0 16 0 1 0 1781166540 2699264 369 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 659 369 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 4764 [startup+280.03 s] Raw data (loadavg): 1.11 1.10 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 401 0 0 0 11087 5556 0 0 15 0 1 0 1781166540 2699264 371 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 659 371 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 166.46 Current children cumulated vsize (Kb) 4764 [startup+290.031 s] Raw data (loadavg): 1.09 1.10 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 405 0 0 0 11565 5733 0 0 16 0 1 0 1781166540 2699264 375 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 659 375 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 173.01 Current children cumulated vsize (Kb) 4764 [startup+300.032 s] Raw data (loadavg): 1.08 1.10 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 405 0 0 0 11887 5951 0 0 15 0 1 0 1781166540 2699264 375 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 659 375 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 178.41 Current children cumulated vsize (Kb) 4764 [startup+310.032 s] Raw data (loadavg): 1.07 1.09 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 407 0 0 0 12258 6157 0 0 16 0 1 0 1781166540 2699264 377 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 659 377 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 184.18 Current children cumulated vsize (Kb) 4764 [startup+320.033 s] Raw data (loadavg): 1.06 1.09 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 407 0 0 0 12647 6358 0 0 16 0 1 0 1781166540 2699264 377 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 659 377 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 190.08 Current children cumulated vsize (Kb) 4764 [startup+330.034 s] Raw data (loadavg): 1.12 1.10 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 407 0 0 0 13042 6558 0 0 16 0 1 0 1781166540 2699264 377 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 659 377 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 196.03 Current children cumulated vsize (Kb) 4764 [startup+340.035 s] Raw data (loadavg): 1.10 1.10 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 409 0 0 0 13490 6743 0 0 15 0 1 0 1781166540 2699264 379 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 659 379 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 202.36 Current children cumulated vsize (Kb) 4764 [startup+350.036 s] Raw data (loadavg): 1.08 1.09 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 410 0 0 0 13905 6942 0 0 16 0 1 0 1781166540 2699264 380 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 659 380 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 208.5 Current children cumulated vsize (Kb) 4764 [startup+360.037 s] Raw data (loadavg): 1.07 1.09 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 411 0 0 0 14438 7098 0 0 16 0 1 0 1781166540 2699264 381 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 659 381 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 215.39 Current children cumulated vsize (Kb) 4764 [startup+370.038 s] Raw data (loadavg): 1.06 1.09 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 412 0 0 0 14887 7292 0 0 16 0 1 0 1781166540 2699264 382 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 659 382 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 221.82 Current children cumulated vsize (Kb) 4764 [startup+380.039 s] Raw data (loadavg): 1.05 1.08 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 412 0 0 0 15336 7477 0 0 16 0 1 0 1781166540 2699264 382 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 659 382 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 228.16 Current children cumulated vsize (Kb) 4764 [startup+390.04 s] Raw data (loadavg): 1.12 1.10 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 416 0 0 0 15773 7670 0 0 16 0 1 0 1781166540 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 659 386 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 234.46 Current children cumulated vsize (Kb) 4764 [startup+400.041 s] Raw data (loadavg): 1.10 1.09 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 416 0 0 0 16254 7842 0 0 15 0 1 0 1781166540 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 659 386 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 240.99 Current children cumulated vsize (Kb) 4764 [startup+410.042 s] Raw data (loadavg): 1.16 1.11 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 416 0 0 0 16730 8015 0 0 16 0 1 0 1781166540 2699264 386 4294967295 134512640 134702520 3221223952 3221223232 134550697 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 659 386 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 247.48 Current children cumulated vsize (Kb) 4764 [startup+420.042 s] Raw data (loadavg): 1.21 1.12 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 416 0 0 0 17270 8173 0 0 15 0 1 0 1781166540 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 659 386 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 254.46 Current children cumulated vsize (Kb) 4764 [startup+430.044 s] Raw data (loadavg): 1.18 1.11 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 422 0 0 0 17764 8340 0 0 16 0 1 0 1781166540 2699264 392 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 659 392 413 48 0 611 0 [pid=15311] vsize: 2636 Current children cumulated CPU time (s) 261.07 Current children cumulated vsize (Kb) 4764 [startup+440.044 s] Raw data (loadavg): 1.15 1.11 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 425 0 0 0 18308 8493 0 0 16 0 1 0 1781166540 2834432 395 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 395 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 268.04 Current children cumulated vsize (Kb) 4896 [startup+450.045 s] Raw data (loadavg): 1.21 1.12 1.05 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 428 0 0 0 18800 8662 0 0 16 0 1 0 1781166540 2834432 398 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 398 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 274.65 Current children cumulated vsize (Kb) 4896 [startup+460.047 s] Raw data (loadavg): 1.17 1.12 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 432 0 0 0 19379 8808 0 0 16 0 1 0 1781166540 2834432 402 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 402 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 281.9 Current children cumulated vsize (Kb) 4896 [startup+470.048 s] Raw data (loadavg): 1.15 1.11 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 434 0 0 0 19896 8970 0 0 15 0 1 0 1781166540 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 404 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 288.69 Current children cumulated vsize (Kb) 4896 [startup+480.049 s] Raw data (loadavg): 1.12 1.11 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 434 0 0 0 20436 9127 0 0 16 0 1 0 1781166540 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 404 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 295.66 Current children cumulated vsize (Kb) 4896 [startup+490.049 s] Raw data (loadavg): 1.10 1.11 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 434 0 0 0 20936 9297 0 0 15 0 1 0 1781166540 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 404 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 302.36 Current children cumulated vsize (Kb) 4896 [startup+500.051 s] Raw data (loadavg): 1.09 1.10 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 436 0 0 0 21506 9440 0 0 16 0 1 0 1781166540 2834432 406 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222298933 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 406 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 309.49 Current children cumulated vsize (Kb) 4896 [startup+510.052 s] Raw data (loadavg): 1.07 1.10 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 437 0 0 0 22014 9605 0 0 15 0 1 0 1781166540 2834432 407 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 407 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 316.22 Current children cumulated vsize (Kb) 4896 [startup+520.053 s] Raw data (loadavg): 1.06 1.09 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 439 0 0 0 22582 9747 0 0 15 0 1 0 1781166540 2834432 409 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 409 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 323.32 Current children cumulated vsize (Kb) 4896 [startup+530.056 s] Raw data (loadavg): 1.05 1.09 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 442 0 0 0 23074 9923 0 0 15 0 1 0 1781166540 2834432 412 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 412 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 330 Current children cumulated vsize (Kb) 4896 [startup+540.057 s] Raw data (loadavg): 1.04 1.09 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 445 0 0 0 23662 10062 0 0 16 0 1 0 1781166540 2834432 415 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 415 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 337.27 Current children cumulated vsize (Kb) 4896 [startup+550.059 s] Raw data (loadavg): 1.04 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 447 0 0 0 24157 10232 0 0 16 0 1 0 1781166540 2834432 417 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 417 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 343.92 Current children cumulated vsize (Kb) 4896 [startup+560.061 s] Raw data (loadavg): 1.03 1.08 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 447 0 0 0 24720 10384 0 0 16 0 1 0 1781166540 2834432 417 4294967295 134512640 134702520 3221223952 3221223204 134564366 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 417 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 351.07 Current children cumulated vsize (Kb) 4896 [startup+570.061 s] Raw data (loadavg): 1.10 1.09 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 449 0 0 0 25157 10568 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221223344 134604421 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 419 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 357.28 Current children cumulated vsize (Kb) 4896 [startup+580.061 s] Raw data (loadavg): 1.16 1.11 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 25484 10785 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 419 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 362.72 Current children cumulated vsize (Kb) 4896 [startup+590.062 s] Raw data (loadavg): 1.14 1.10 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 25876 10979 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 419 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 368.58 Current children cumulated vsize (Kb) 4896 [startup+600.064 s] Raw data (loadavg): 1.12 1.10 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 26282 11175 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 419 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 374.6 Current children cumulated vsize (Kb) 4896 [startup+610.065 s] Raw data (loadavg): 1.17 1.11 1.05 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 26698 11366 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 419 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 380.67 Current children cumulated vsize (Kb) 4896 [startup+620.065 s] Raw data (loadavg): 1.14 1.11 1.05 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 27104 11564 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 419 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 386.71 Current children cumulated vsize (Kb) 4896 [startup+630.066 s] Raw data (loadavg): 1.12 1.10 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 27478 11776 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 419 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 392.57 Current children cumulated vsize (Kb) 4896 [startup+640.067 s] Raw data (loadavg): 1.10 1.10 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 27931 11960 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 419 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 398.94 Current children cumulated vsize (Kb) 4896 [startup+650.069 s] Raw data (loadavg): 1.09 1.10 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 449 0 0 0 28360 12147 0 0 16 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 419 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 405.1 Current children cumulated vsize (Kb) 4896 [startup+660.069 s] Raw data (loadavg): 1.07 1.09 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 449 0 0 0 28869 12314 0 0 15 0 1 0 1781166540 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 419 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 411.86 Current children cumulated vsize (Kb) 4896 [startup+670.07 s] Raw data (loadavg): 1.06 1.09 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 451 0 0 0 29346 12488 0 0 16 0 1 0 1781166540 2834432 421 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 421 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 418.37 Current children cumulated vsize (Kb) 4896 [startup+680.071 s] Raw data (loadavg): 1.13 1.10 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 451 0 0 0 29810 12674 0 0 16 0 1 0 1781166540 2834432 421 4294967295 134512640 134702520 3221223952 3221223344 134603635 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 421 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 424.87 Current children cumulated vsize (Kb) 4896 [startup+690.072 s] Raw data (loadavg): 1.11 1.10 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 451 0 0 0 30268 12853 0 0 15 0 1 0 1781166540 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 421 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 431.24 Current children cumulated vsize (Kb) 4896 [startup+700.074 s] Raw data (loadavg): 1.09 1.09 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 451 0 0 0 30819 13009 0 0 15 0 1 0 1781166540 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 421 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 438.31 Current children cumulated vsize (Kb) 4896 [startup+710.074 s] Raw data (loadavg): 1.08 1.09 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 453 0 0 0 31300 13181 0 0 15 0 1 0 1781166540 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 423 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 444.84 Current children cumulated vsize (Kb) 4896 [startup+720.074 s] Raw data (loadavg): 1.07 1.09 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 453 0 0 0 31822 13344 0 0 16 0 1 0 1781166540 2834432 423 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 423 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 451.69 Current children cumulated vsize (Kb) 4896 [startup+730.076 s] Raw data (loadavg): 1.06 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 453 0 0 0 32349 13501 0 0 16 0 1 0 1781166540 2834432 423 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 692 423 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 458.53 Current children cumulated vsize (Kb) 4896 [startup+740.077 s] Raw data (loadavg): 1.05 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 454 0 0 0 32891 13658 0 0 16 0 1 0 1781166540 2834432 424 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 692 424 413 48 0 644 0 [pid=15311] vsize: 2768 Current children cumulated CPU time (s) 465.52 Current children cumulated vsize (Kb) 4896 [startup+750.077 s] Raw data (loadavg): 1.04 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 459 0 0 0 33420 13811 0 0 16 0 1 0 1781166540 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 429 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 472.34 Current children cumulated vsize (Kb) 5032 [startup+760.078 s] Raw data (loadavg): 1.11 1.09 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 459 0 0 0 34007 13953 0 0 16 0 1 0 1781166540 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 429 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 479.63 Current children cumulated vsize (Kb) 5032 [startup+770.079 s] Raw data (loadavg): 1.09 1.09 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 459 0 0 0 34482 14131 0 0 16 0 1 0 1781166540 2973696 429 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 429 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 486.16 Current children cumulated vsize (Kb) 5032 [startup+780.08 s] Raw data (loadavg): 1.08 1.08 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 459 0 0 0 34943 14313 0 0 16 0 1 0 1781166540 2973696 429 4294967295 134512640 134702520 3221223952 3221223072 134574704 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 429 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 492.59 Current children cumulated vsize (Kb) 5032 [startup+790.081 s] Raw data (loadavg): 1.06 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 459 0 0 0 35459 14484 0 0 16 0 1 0 1781166540 2973696 429 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 726 429 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 499.46 Current children cumulated vsize (Kb) 5032 [startup+800.082 s] Raw data (loadavg): 1.05 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 461 0 0 0 35970 14648 0 0 16 0 1 0 1781166540 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 431 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 506.21 Current children cumulated vsize (Kb) 5032 [startup+810.083 s] Raw data (loadavg): 1.04 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 461 0 0 0 36531 14795 0 0 16 0 1 0 1781166540 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 726 431 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 513.29 Current children cumulated vsize (Kb) 5032 [startup+820.083 s] Raw data (loadavg): 1.04 1.07 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 461 0 0 0 37035 14965 0 0 16 0 1 0 1781166540 2973696 431 4294967295 134512640 134702520 3221223952 3221223232 134553354 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/15311/statm): 726 431 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 520.03 Current children cumulated vsize (Kb) 5032 [startup+830.084 s] Raw data (loadavg): 1.03 1.07 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 461 0 0 0 37593 15113 0 0 15 0 1 0 1781166540 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 431 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 527.09 Current children cumulated vsize (Kb) 5032 [startup+840.084 s] Raw data (loadavg): 1.11 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 461 0 0 0 38095 15285 0 0 15 0 1 0 1781166540 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 431 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 533.83 Current children cumulated vsize (Kb) 5032 [startup+850.086 s] Raw data (loadavg): 1.09 1.08 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 465 0 0 0 38679 15425 0 0 15 0 1 0 1781166540 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 435 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 541.07 Current children cumulated vsize (Kb) 5032 [startup+860.087 s] Raw data (loadavg): 1.07 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 465 0 0 0 39270 15564 0 0 16 0 1 0 1781166540 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 435 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 548.37 Current children cumulated vsize (Kb) 5032 [startup+870.088 s] Raw data (loadavg): 1.06 1.07 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 465 0 0 0 39779 15728 0 0 16 0 1 0 1781166540 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 726 435 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 555.1 Current children cumulated vsize (Kb) 5032 [startup+880.09 s] Raw data (loadavg): 1.05 1.07 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 465 0 0 0 40342 15879 0 0 16 0 1 0 1781166540 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/15311/statm): 726 435 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 562.24 Current children cumulated vsize (Kb) 5032 [startup+890.09 s] Raw data (loadavg): 1.12 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 465 0 0 0 40824 16051 0 0 15 0 1 0 1781166540 2973696 435 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 435 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 568.78 Current children cumulated vsize (Kb) 5032 [startup+900.092 s] Raw data (loadavg): 1.10 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 467 0 0 0 41403 16193 0 0 16 0 1 0 1781166540 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 437 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 575.99 Current children cumulated vsize (Kb) 5032 [startup+910.094 s] Raw data (loadavg): 1.09 1.08 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 467 0 0 0 41911 16357 0 0 16 0 1 0 1781166540 2973696 437 4294967295 134512640 134702520 3221223952 3221223072 134588287 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 437 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 582.71 Current children cumulated vsize (Kb) 5032 [startup+920.095 s] Raw data (loadavg): 1.07 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 467 0 0 0 42473 16505 0 0 16 0 1 0 1781166540 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 437 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 589.81 Current children cumulated vsize (Kb) 5032 [startup+930.096 s] Raw data (loadavg): 1.14 1.09 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 467 0 0 0 43060 16646 0 0 15 0 1 0 1781166540 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 437 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 597.09 Current children cumulated vsize (Kb) 5032 [startup+940.098 s] Raw data (loadavg): 1.11 1.09 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 467 0 0 0 43557 16814 0 0 16 0 1 0 1781166540 2973696 437 4294967295 134512640 134702520 3221223952 3221223232 134557166 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 437 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 603.74 Current children cumulated vsize (Kb) 5032 [startup+950.099 s] Raw data (loadavg): 1.10 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 467 0 0 0 44140 16957 0 0 16 0 1 0 1781166540 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 437 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 611 Current children cumulated vsize (Kb) 5032 [startup+960.1 s] Raw data (loadavg): 1.08 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 470 0 0 0 44658 17121 0 0 16 0 1 0 1781166540 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 726 440 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 617.82 Current children cumulated vsize (Kb) 5032 [startup+970.101 s] Raw data (loadavg): 1.07 1.08 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 470 0 0 0 45244 17262 0 0 16 0 1 0 1781166540 2973696 440 4294967295 134512640 134702520 3221223952 3221223232 134557196 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 440 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 625.09 Current children cumulated vsize (Kb) 5032 [startup+980.101 s] Raw data (loadavg): 1.06 1.07 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 470 0 0 0 45850 17399 0 0 15 0 1 0 1781166540 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 440 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 632.52 Current children cumulated vsize (Kb) 5032 [startup+990.102 s] Raw data (loadavg): 1.05 1.07 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 470 0 0 0 46450 17544 0 0 16 0 1 0 1781166540 2973696 440 4294967295 134512640 134702520 3221223952 3221223232 134557225 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 440 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 639.97 Current children cumulated vsize (Kb) 5032 [startup+1000.1 s] Raw data (loadavg): 1.04 1.07 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 472 0 0 0 46964 17701 0 0 16 0 1 0 1781166540 2973696 442 4294967295 134512640 134702520 3221223952 3221223232 134553458 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 442 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 646.68 Current children cumulated vsize (Kb) 5032 [startup+1010.1 s] Raw data (loadavg): 1.03 1.07 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 474 0 0 0 47533 17844 0 0 16 0 1 0 1781166540 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 726 444 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 653.8 Current children cumulated vsize (Kb) 5032 [startup+1020.11 s] Raw data (loadavg): 1.03 1.06 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 474 0 0 0 48139 17980 0 0 16 0 1 0 1781166540 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 726 444 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 661.22 Current children cumulated vsize (Kb) 5032 [startup+1030.11 s] Raw data (loadavg): 1.10 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 474 0 0 0 48652 18149 0 0 15 0 1 0 1781166540 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 444 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 668.04 Current children cumulated vsize (Kb) 5032 [startup+1040.11 s] Raw data (loadavg): 1.08 1.07 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 476 0 0 0 49237 18288 0 0 16 0 1 0 1781166540 2973696 446 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 446 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 675.28 Current children cumulated vsize (Kb) 5032 [startup+1050.11 s] Raw data (loadavg): 1.07 1.07 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 480 0 0 0 49854 18419 0 0 16 0 1 0 1781166540 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 450 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 682.76 Current children cumulated vsize (Kb) 5032 [startup+1060.11 s] Raw data (loadavg): 1.06 1.07 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 480 0 0 0 50347 18593 0 0 16 0 1 0 1781166540 2973696 450 4294967295 134512640 134702520 3221223952 3221223420 134657244 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 450 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 689.43 Current children cumulated vsize (Kb) 5032 [startup+1070.11 s] Raw data (loadavg): 1.13 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 480 0 0 0 50926 18738 0 0 16 0 1 0 1781166540 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 450 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 696.67 Current children cumulated vsize (Kb) 5032 [startup+1080.12 s] Raw data (loadavg): 1.11 1.08 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 480 0 0 0 51520 18874 0 0 16 0 1 0 1781166540 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 726 450 413 48 0 678 0 [pid=15311] vsize: 2904 Current children cumulated CPU time (s) 703.97 Current children cumulated vsize (Kb) 5032 [startup+1090.12 s] Raw data (loadavg): 1.09 1.08 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 785 0 0 0 52174 18997 0 0 16 0 1 0 1781166540 4243456 755 4294967295 134512640 134702520 3221223952 3221223232 134557196 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 1036 755 413 48 0 988 0 [pid=15311] vsize: 4144 Current children cumulated CPU time (s) 711.74 Current children cumulated vsize (Kb) 6272 [startup+1100.13 s] Raw data (loadavg): 1.08 1.07 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 1081 0 0 0 53045 19044 0 0 17 0 1 0 1781166540 5505024 1051 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 1344 1051 413 48 0 1296 0 [pid=15311] vsize: 5376 Current children cumulated CPU time (s) 720.92 Current children cumulated vsize (Kb) 7504 [startup+1110.13 s] Raw data (loadavg): 1.06 1.07 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 1240 0 0 0 53802 19126 0 0 16 0 1 0 1781166540 6135808 1210 4294967295 134512640 134702520 3221223952 3221223232 134557166 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 1498 1210 413 48 0 1450 0 [pid=15311] vsize: 5992 Current children cumulated CPU time (s) 729.31 Current children cumulated vsize (Kb) 8120 [startup+1120.13 s] Raw data (loadavg): 1.05 1.07 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 1287 0 0 0 54687 19166 0 0 16 0 1 0 1781166540 6279168 1257 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 1533 1257 413 48 0 1485 0 [pid=15311] vsize: 6132 Current children cumulated CPU time (s) 738.56 Current children cumulated vsize (Kb) 8260 [startup+1130.13 s] Raw data (loadavg): 1.12 1.08 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 1608 0 0 0 55601 19200 0 0 18 0 1 0 1781166540 7655424 1578 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 1869 1578 413 48 0 1821 0 [pid=15311] vsize: 7476 Current children cumulated CPU time (s) 748.04 Current children cumulated vsize (Kb) 9604 [startup+1140.13 s] Raw data (loadavg): 1.11 1.08 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 1848 0 0 0 56534 19224 0 0 19 0 1 0 1781166540 8663040 1818 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 2115 1818 413 48 0 2067 0 [pid=15311] vsize: 8460 Current children cumulated CPU time (s) 757.61 Current children cumulated vsize (Kb) 10588 [startup+1150.13 s] Raw data (loadavg): 1.09 1.07 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 1927 0 0 0 57473 19245 0 0 25 0 1 0 1781166540 9080832 1897 4294967295 134512640 134702520 3221223952 3221223344 134604364 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 2217 1897 413 48 0 2169 0 [pid=15311] vsize: 8868 Current children cumulated CPU time (s) 767.21 Current children cumulated vsize (Kb) 10996 [startup+1160.13 s] Raw data (loadavg): 1.07 1.07 1.04 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 2171 0 0 0 58409 19268 0 0 25 0 1 0 1781166540 10043392 2141 4294967295 134512640 134702520 3221223952 3221223200 134564346 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 2452 2141 413 48 0 2404 0 [pid=15311] vsize: 9808 Current children cumulated CPU time (s) 776.8 Current children cumulated vsize (Kb) 11936 [startup+1170.13 s] Raw data (loadavg): 1.06 1.07 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 2373 0 0 0 59357 19287 0 0 18 0 1 0 1781166540 10887168 2343 4294967295 134512640 134702520 3221223952 3221223204 134564366 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 2658 2343 413 48 0 2610 0 [pid=15311] vsize: 10632 Current children cumulated CPU time (s) 786.47 Current children cumulated vsize (Kb) 12760 [startup+1180.13 s] Raw data (loadavg): 1.05 1.07 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 2566 0 0 0 60307 19307 0 0 25 0 1 0 1781166540 11788288 2536 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 2878 2536 413 48 0 2830 0 [pid=15311] vsize: 11512 Current children cumulated CPU time (s) 796.17 Current children cumulated vsize (Kb) 13640 [startup+1190.13 s] Raw data (loadavg): 1.04 1.06 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 2790 0 0 0 61254 19325 0 0 25 0 1 0 1781166540 12771328 2760 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 3118 2760 413 48 0 3070 0 [pid=15311] vsize: 12472 Current children cumulated CPU time (s) 805.82 Current children cumulated vsize (Kb) 14600 [startup+1200.13 s] Raw data (loadavg): 1.04 1.06 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 2991 0 0 0 62207 19343 0 0 25 0 1 0 1781166540 13660160 2961 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 3335 2961 413 48 0 3287 0 [pid=15311] vsize: 13340 Current children cumulated CPU time (s) 815.53 Current children cumulated vsize (Kb) 15468 [startup+1210.14 s] Raw data (loadavg): 1.03 1.06 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 3147 0 0 0 63161 19360 0 0 25 0 1 0 1781166540 14221312 3117 4294967295 134512640 134702520 3221223952 3221223232 134557166 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 3472 3117 413 48 0 3424 0 [pid=15311] vsize: 13888 Current children cumulated CPU time (s) 825.24 Current children cumulated vsize (Kb) 16016 [startup+1220.14 s] Raw data (loadavg): 1.03 1.06 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 3353 0 0 0 64110 19379 0 0 20 0 1 0 1781166540 15192064 3323 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 3709 3323 413 48 0 3661 0 [pid=15311] vsize: 14836 Current children cumulated CPU time (s) 834.92 Current children cumulated vsize (Kb) 16964 [startup+1230.14 s] Raw data (loadavg): 1.09 1.07 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 3494 0 0 0 65073 19391 0 0 25 0 1 0 1781166540 15798272 3464 4294967295 134512640 134702520 3221223952 3221223376 134595877 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 3857 3464 413 48 0 3809 0 [pid=15311] vsize: 15428 Current children cumulated CPU time (s) 844.67 Current children cumulated vsize (Kb) 17556 [startup+1240.14 s] Raw data (loadavg): 1.08 1.07 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 3501 0 0 0 66045 19401 0 0 22 0 1 0 1781166540 15798272 3471 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 3857 3471 413 48 0 3809 0 [pid=15311] vsize: 15428 Current children cumulated CPU time (s) 854.49 Current children cumulated vsize (Kb) 17556 [startup+1250.14 s] Raw data (loadavg): 1.07 1.06 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 3506 0 0 0 66998 19418 0 0 17 0 1 0 1781166540 15798272 3476 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 3857 3476 413 48 0 3809 0 [pid=15311] vsize: 15428 Current children cumulated CPU time (s) 864.19 Current children cumulated vsize (Kb) 17556 [startup+1260.14 s] Raw data (loadavg): 1.06 1.06 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 3623 0 0 0 67956 19435 0 0 25 0 1 0 1781166540 16224256 3593 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 3961 3593 413 48 0 3913 0 [pid=15311] vsize: 15844 Current children cumulated CPU time (s) 873.94 Current children cumulated vsize (Kb) 17972 [startup+1270.14 s] Raw data (loadavg): 1.05 1.06 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 3774 0 0 0 68917 19448 0 0 25 0 1 0 1781166540 16936960 3744 4294967295 134512640 134702520 3221223952 3221223344 134604336 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4135 3744 413 48 0 4087 0 [pid=15311] vsize: 16540 Current children cumulated CPU time (s) 883.68 Current children cumulated vsize (Kb) 18668 [startup+1280.14 s] Raw data (loadavg): 1.04 1.06 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 3940 0 0 0 69868 19464 0 0 25 0 1 0 1781166540 17625088 3910 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4303 3910 413 48 0 4255 0 [pid=15311] vsize: 17212 Current children cumulated CPU time (s) 893.35 Current children cumulated vsize (Kb) 19340 [startup+1290.14 s] Raw data (loadavg): 1.03 1.05 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4065 0 0 0 70832 19476 0 0 25 0 1 0 1781166540 18219008 4035 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4448 4035 413 48 0 4400 0 [pid=15311] vsize: 17792 Current children cumulated CPU time (s) 903.11 Current children cumulated vsize (Kb) 19920 [startup+1300.14 s] Raw data (loadavg): 1.03 1.05 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4138 0 0 0 71810 19482 0 0 25 0 1 0 1781166540 18497536 4108 4294967295 134512640 134702520 3221223952 3221223376 134595877 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4516 4108 413 48 0 4468 0 [pid=15311] vsize: 18064 Current children cumulated CPU time (s) 912.95 Current children cumulated vsize (Kb) 20192 [startup+1310.14 s] Raw data (loadavg): 1.02 1.05 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4142 0 0 0 72778 19493 0 0 25 0 1 0 1781166540 18497536 4112 4294967295 134512640 134702520 3221223952 3221223232 134557208 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4516 4112 413 48 0 4468 0 [pid=15311] vsize: 18064 Current children cumulated CPU time (s) 922.74 Current children cumulated vsize (Kb) 20192 [startup+1320.14 s] Raw data (loadavg): 1.02 1.05 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4147 0 0 0 73748 19504 0 0 25 0 1 0 1781166540 18497536 4117 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4516 4117 413 48 0 4468 0 [pid=15311] vsize: 18064 Current children cumulated CPU time (s) 932.55 Current children cumulated vsize (Kb) 20192 [startup+1330.15 s] Raw data (loadavg): 1.02 1.05 1.02 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4191 0 0 0 74711 19517 0 0 18 0 1 0 1781166540 18644992 4161 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4552 4161 413 48 0 4504 0 [pid=15311] vsize: 18208 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (Kb) 20336 [startup+1340.15 s] Raw data (loadavg): 1.01 1.04 1.02 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4247 0 0 0 75691 19526 0 0 25 0 1 0 1781166540 18944000 4217 4294967295 134512640 134702520 3221223952 3221223336 134609929 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4625 4217 413 48 0 4577 0 [pid=15311] vsize: 18500 Current children cumulated CPU time (s) 952.2 Current children cumulated vsize (Kb) 20628 [startup+1350.15 s] Raw data (loadavg): 1.01 1.04 1.02 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4248 0 0 0 76663 19535 0 0 25 0 1 0 1781166540 18849792 4217 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4602 4217 413 48 0 4554 0 [pid=15311] vsize: 18408 Current children cumulated CPU time (s) 962.01 Current children cumulated vsize (Kb) 20536 [startup+1360.15 s] Raw data (loadavg): 1.01 1.04 1.02 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4266 0 0 0 77627 19548 0 0 25 0 1 0 1781166540 19001344 4235 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4639 4235 413 48 0 4591 0 [pid=15311] vsize: 18556 Current children cumulated CPU time (s) 971.78 Current children cumulated vsize (Kb) 20684 [startup+1370.15 s] Raw data (loadavg): 1.01 1.04 1.02 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4386 0 0 0 78590 19564 0 0 25 0 1 0 1781166540 19406848 4355 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4738 4355 413 48 0 4690 0 [pid=15311] vsize: 18952 Current children cumulated CPU time (s) 981.57 Current children cumulated vsize (Kb) 21080 [startup+1380.15 s] Raw data (loadavg): 1.00 1.04 1.02 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4499 0 0 0 79558 19576 0 0 25 0 1 0 1781166540 19976192 4468 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4877 4468 413 48 0 4829 0 [pid=15311] vsize: 19508 Current children cumulated CPU time (s) 991.37 Current children cumulated vsize (Kb) 21636 [startup+1390.15 s] Raw data (loadavg): 1.00 1.03 1.02 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 80452 19613 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1000.68 Current children cumulated vsize (Kb) 21804 [startup+1400.15 s] Raw data (loadavg): 1.08 1.05 1.02 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 81067 19745 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1008.15 Current children cumulated vsize (Kb) 21804 [startup+1410.15 s] Raw data (loadavg): 1.06 1.05 1.02 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 81604 19905 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1015.12 Current children cumulated vsize (Kb) 21804 [startup+1420.15 s] Raw data (loadavg): 1.05 1.04 1.02 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 82211 20043 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1022.57 Current children cumulated vsize (Kb) 21804 [startup+1430.16 s] Raw data (loadavg): 1.05 1.04 1.02 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 82800 20183 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1029.86 Current children cumulated vsize (Kb) 21804 [startup+1440.16 s] Raw data (loadavg): 1.04 1.04 1.02 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 83292 20355 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1036.5 Current children cumulated vsize (Kb) 21804 [startup+1450.16 s] Raw data (loadavg): 1.11 1.06 1.02 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 83876 20498 0 0 15 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1043.77 Current children cumulated vsize (Kb) 21804 [startup+1460.16 s] Raw data (loadavg): 1.09 1.05 1.02 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 84470 20635 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1051.08 Current children cumulated vsize (Kb) 21804 [startup+1470.16 s] Raw data (loadavg): 1.15 1.07 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 84962 20810 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1057.75 Current children cumulated vsize (Kb) 21804 [startup+1480.16 s] Raw data (loadavg): 1.13 1.07 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 85526 20962 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1064.91 Current children cumulated vsize (Kb) 21804 [startup+1490.16 s] Raw data (loadavg): 1.11 1.06 1.02 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 86099 21104 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1072.06 Current children cumulated vsize (Kb) 21804 [startup+1500.16 s] Raw data (loadavg): 1.09 1.06 1.02 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 86632 21257 0 0 15 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1078.92 Current children cumulated vsize (Kb) 21804 [startup+1510.16 s] Raw data (loadavg): 1.08 1.06 1.02 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4546 0 0 0 87217 21397 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223232 134557238 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1086.17 Current children cumulated vsize (Kb) 21804 [startup+1520.16 s] Raw data (loadavg): 1.14 1.07 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 87772 21551 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1093.26 Current children cumulated vsize (Kb) 21804 [startup+1530.16 s] Raw data (loadavg): 1.12 1.07 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 88261 21720 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1099.84 Current children cumulated vsize (Kb) 21804 [startup+1540.16 s] Raw data (loadavg): 1.10 1.07 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 88863 21856 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1107.22 Current children cumulated vsize (Kb) 21804 [startup+1550.16 s] Raw data (loadavg): 1.08 1.06 1.02 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4546 0 0 0 89452 22001 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223232 134551020 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1114.56 Current children cumulated vsize (Kb) 21804 [startup+1560.17 s] Raw data (loadavg): 1.07 1.06 1.02 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 90052 22140 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (Kb) 21804 [startup+1570.17 s] Raw data (loadavg): 1.14 1.07 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 90549 22315 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1128.67 Current children cumulated vsize (Kb) 21804 [startup+1580.17 s] Raw data (loadavg): 1.12 1.07 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4546 0 0 0 91129 22457 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223344 134605720 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1135.89 Current children cumulated vsize (Kb) 21804 [startup+1590.17 s] Raw data (loadavg): 1.10 1.07 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 91735 22591 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1143.29 Current children cumulated vsize (Kb) 21804 [startup+1600.17 s] Raw data (loadavg): 1.16 1.08 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 92280 22743 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1150.26 Current children cumulated vsize (Kb) 21804 [startup+1610.17 s] Raw data (loadavg): 1.14 1.08 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 92869 22883 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1157.55 Current children cumulated vsize (Kb) 21804 [startup+1620.17 s] Raw data (loadavg): 1.19 1.09 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 93449 23028 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1164.8 Current children cumulated vsize (Kb) 21804 [startup+1630.17 s] Raw data (loadavg): 1.16 1.09 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4546 0 0 0 94055 23162 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1172.2 Current children cumulated vsize (Kb) 21804 [startup+1640.17 s] Raw data (loadavg): 1.22 1.10 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 94684 23291 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1179.78 Current children cumulated vsize (Kb) 21804 [startup+1650.17 s] Raw data (loadavg): 1.18 1.10 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 95203 23459 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1186.65 Current children cumulated vsize (Kb) 21804 [startup+1660.17 s] Raw data (loadavg): 1.15 1.09 1.04 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 95813 23592 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1194.08 Current children cumulated vsize (Kb) 21804 [startup+1670.17 s] Raw data (loadavg): 1.13 1.09 1.03 2/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) R 15308 15308 27660 0 -1 0 4546 0 0 0 96391 23732 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223344 134604438 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1201.26 Current children cumulated vsize (Kb) 21804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1670.18 s] Raw data (loadavg): 1.13 1.09 1.03 1/57 15311 Raw data (/proc/15308/stat): 15308 (vallstSAT2005PB) S 15307 15308 27660 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1781166533 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/15308/statm): 532 242 485 147 0 385 0 [pid=15308] vsize: 2128 Raw data (/proc/15311/stat): 15311 (vallst) T 15308 15308 27660 0 -1 0 4546 0 0 0 96391 23732 0 0 16 0 1 0 1781166540 20148224 4515 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/15311/statm): 4919 4515 413 48 0 4871 0 [pid=15311] vsize: 19676 Current children cumulated CPU time (s) 1201.26 Current children cumulated vsize (Kb) 21804 Sending SIGTERM to -15308 Sleeping 2 seconds New process pid=15313 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=15314 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 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 One traced child (pid=15311) exited with status: 3 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /proc/self/stat open syscall for file /proc/self/statm open syscall for file /proc/self/status open syscall for file /proc/uptime open syscall for file /proc/meminfo open syscall for file /proc open syscall for file /proc/1/stat open syscall for file /proc/1/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1/cmdline open syscall for file /proc/1/environ open syscall for file /proc/2/stat open syscall for file /proc/2/status open syscall for file /proc/2/cmdline open syscall for file /proc/2/environ open syscall for file /proc/3/stat open syscall for file /proc/3/status open syscall for file /proc/3/cmdline open syscall for file /proc/3/environ open syscall for file /proc/4/stat open syscall for file /proc/4/status open syscall for file /proc/4/cmdline open syscall for file /proc/4/environ open syscall for file /proc/5/stat open syscall for file /proc/5/status open syscall for file /proc/5/cmdline open syscall for file /proc/5/environ open syscall for file /proc/6/stat open syscall for file /proc/6/status open syscall for file /proc/6/cmdline open syscall for file /proc/6/environ open syscall for file /proc/7/stat open syscall for file /proc/7/status open syscall for file /proc/7/cmdline open syscall for file /proc/7/environ open syscall for file /proc/8/stat open syscall for file /proc/8/status open syscall for file /proc/8/cmdline open syscall for file /proc/8/environ open syscall for file /proc/9/stat open syscall for file /proc/9/status open syscall for file /proc/9/cmdline open syscall for file /proc/9/environ open syscall for file /proc/10/stat open syscall for file /proc/10/status open syscall for file /proc/10/cmdline open syscall for file /proc/10/environ open syscall for file /proc/11/stat open syscall for file /proc/11/status open syscall for file /proc/11/cmdline open syscall for file /proc/11/environ open syscall for file /proc/34/stat open syscall for file /proc/34/status open syscall for file /proc/34/cmdline open syscall for file /proc/34/environ open syscall for file /proc/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/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/1518/stat open syscall for file /proc/1518/status open syscall for file /proc/1518/cmdline open syscall for file /proc/1518/environ open syscall for file /proc/1542/stat open syscall for file /proc/1542/status open syscall for file /proc/1542/cmdline open syscall for file /proc/1542/environ open syscall for file /proc/1565/stat open syscall for file /proc/1565/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/1565/cmdline open syscall for file /proc/1565/environ open syscall for file /proc/1659/stat open syscall for file /proc/1659/status open syscall for file /proc/1659/cmdline open syscall for file /proc/1659/environ open syscall for file /proc/1660/stat open syscall for file /proc/1660/status open syscall for file /proc/1660/cmdline open syscall for file /proc/1660/environ open syscall for file /proc/1661/stat open syscall for file /proc/1661/status open syscall for file /proc/1661/cmdline open syscall for file /proc/1661/environ open syscall for file /proc/1662/stat open syscall for file /proc/1662/status open syscall for file /proc/1662/cmdline open syscall for file /proc/1662/environ open syscall for file /proc/1663/stat open syscall for file /proc/1663/status open syscall for file /proc/1663/cmdline open syscall for file /proc/1663/environ open syscall for file /proc/1664/stat open syscall for file /proc/1664/status open syscall for file /proc/1664/cmdline open syscall for file /proc/1664/environ open syscall for file /proc/1665/stat open syscall for file /proc/1665/status open syscall for file /proc/1665/cmdline open syscall for file /proc/1665/environ open syscall for file /proc/15266/stat open syscall for file /proc/15266/status open syscall for file /proc/15266/cmdline open syscall for file /proc/15266/environ open syscall for file /proc/27911/stat open syscall for file /proc/27911/status open syscall for file /proc/27911/cmdline open syscall for file /proc/27911/environ open syscall for file /proc/27938/stat open syscall for file /proc/27938/status open syscall for file /proc/27938/cmdline open syscall for file /proc/27938/environ open syscall for file /proc/27962/stat open syscall for file /proc/27962/status open syscall for file /proc/27962/cmdline open syscall for file /proc/27962/environ open syscall for file /proc/10488/stat open syscall for file /proc/10488/status open syscall for file /proc/10488/cmdline open syscall for file /proc/10488/environ open syscall for file /proc/10750/stat open syscall for file /proc/10750/status open syscall for file /proc/10750/cmdline open syscall for file /proc/10750/environ open syscall for file /proc/30349/stat open syscall for file /proc/30349/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/30349/cmdline open syscall for file /proc/30349/environ open syscall for file /proc/30384/stat open syscall for file /proc/30384/status open syscall for file /proc/30384/cmdline open syscall for file /proc/30384/environ open syscall for file /proc/27660/stat open syscall for file /proc/27660/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/27660/cmdline open syscall for file /proc/27660/environ open syscall for file /proc/27661/stat open syscall for file /proc/27661/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/27661/cmdline open syscall for file /proc/27661/environ open syscall for file /proc/27670/stat open syscall for file /proc/27670/status open syscall for file /proc/27670/cmdline open syscall for file /proc/27670/environ open syscall for file /proc/15271/stat open syscall for file /proc/15271/status open syscall for file /proc/15271/cmdline open syscall for file /proc/15271/environ open syscall for file /proc/15307/stat open syscall for file /proc/15307/status open syscall for file /proc/15307/cmdline open syscall for file /proc/15307/environ open syscall for file /proc/15308/stat open syscall for file /proc/15308/status open syscall for file /proc/15308/cmdline open syscall for file /proc/15308/environ open syscall for file /proc/15313/stat open syscall for file /proc/15313/status open syscall for file /proc/15313/cmdline open syscall for file /proc/15313/environ open syscall for file /proc/15314/stat open syscall for file /proc/15314/status open syscall for file /proc/15314/cmdline open syscall for file /proc/15314/environ One traced child (pid=15313) exited with status: 0 One traced child (pid=15314) exited with status: 0 New process pid=15315 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=15315) exited with status: 0 New process pid=15316 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=15316) exited with status: 0 New process pid=15317 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=15317) exited with status: 0 New process pid=15318 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=15318) exited with status: 0 One traced child (pid=15308) 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): 1670.73 CPU time (s): 1201.41 CPU user time (s): 963.961 CPU system time (s): 237.448 CPU usage (%): 71.9092 Max. virtual memory (cumulated for all children) (Kb): 21804
ERROR: no interpretation found !