| Name | submitted/een/normalized-lseu.opb |
| MD5SUM | a578bf261896413ca78de4dc6db2447f |
| 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 | 526.298 |
| Number of variables | 89 |
| Total number of constraints | 28 |
| Number of constraints which are clauses | 2 |
| Number of constraints which are cardinality constraints (but not clauses) | 15 |
| Number of constraints which are nor clauses,nor cardinality constraints | 11 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 47 |
LAUNCH ON wulflinc20 THE 2005-09-19 01:25:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7304 boxname=wulflinc20 idbench=272 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a578bf261896413ca78de4dc6db2447f /oldhome/oroussel/tmp/wulflinc20/normalized-lseu.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc20/normalized-lseu.opb 0 IDLAUNCH: 7304 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 895320 kB Buffers: 36072 kB Cached: 74344 kB SwapCached: 832 kB Active: 70832 kB Inactive: 42284 kB HighTotal: 131008 kB HighFree: 53284 kB LowTotal: 903652 kB LowFree: 842036 kB SwapTotal: 2097892 kB SwapFree: 2096604 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5732 kB Slab: 20564 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 01:58:03 (client local time) WITH STATUS 0 IN 1203.29 SECONDS stats: 7304 7 1203.29 0
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 0 (#equs: 0) #decisions: 20; #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: 11865 (3628:>=*); #decisions: 15; #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 Model found with constant: 12024 (3469:>=*); #decisions: 16; #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: 12138 (3355:>=*); #decisions: 19; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 29, #non-axs: 2 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12369 (3124:>=*); #decisions: 14; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 2 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12388 (3105:>=*); #decisions: 17; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 29, #non-axs: 5 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12456 (3037:>=*); #decisions: 16; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 29, #non-axs: 9 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12516 (2977:>=*); #decisions: 13; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 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: 12591 (2902:>=*); #decisions: 11; #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: 12610 (2883:>=*); #decisions: 20; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 29, #non-axs: 16 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12619 (2874:>=*); #decisions: 13; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 16 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12638 (2855:>=*); #decisions: 21; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 29, #non-axs: 22 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12674 (2819:>=*); #decisions: 16; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 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: 12749 (2744:>=*); #decisions: 14; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 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: 12768 (2725:>=*); #decisions: 47; #end-nodes: 35; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 35 / 80 (80) #axs: 29, #non-axs: 49 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12769 (2724:>=*); #decisions: 67; #end-nodes: 50; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 50 / 80 (80) #axs: 29, #non-axs: 72 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12774 (2719:>=*); #decisions: 21; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 29, #non-axs: 76 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12775 (2718:>=*); #decisions: 33; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 29, #non-axs: 82 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 12932 (2561:>=*); #decisions: 16; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 82 tight: meta-meta: start: 6, end: 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: 77; #end-nodes: 53; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 53 / 80 (80) #axs: 29, #non-axs: 110 tight: meta-meta: start: 6, end: 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: 212; #end-nodes: 165; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 3 / 80 (80) #axs: 29, #non-axs: 178 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13083 (2410:>=*); #decisions: 36; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 29, #non-axs: 194 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13084 (2409:>=*); #decisions: 30; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 29, #non-axs: 200 tight: meta-meta: start: 6, end: 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: 22; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 29, #non-axs: 204 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13266 (2227:>=*); #decisions: 73; #end-nodes: 45; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 45 / 80 (80) #axs: 29, #non-axs: 236 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13333 (2160:>=*); #decisions: 90; #end-nodes: 58; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 58 / 80 (80) #axs: 29, #non-axs: 277 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13344 (2149:>=*); #decisions: 15; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 29, #non-axs: 277 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13429 (2064:>=*); #decisions: 72; #end-nodes: 54; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 54 / 80 (80) #axs: 29, #non-axs: 317 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13496 (1997:>=*); #decisions: 662; #end-nodes: 528; #proof improvement attempts: 0; #restarts: 6 Current batch, end-nodes: 44 / 81 (81) #axs: 29, #non-axs: 586 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13529 (1964:>=*); #decisions: 61; #end-nodes: 41; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 41 / 80 (80) #axs: 29, #non-axs: 596 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13577 (1916:>=*); #decisions: 42; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 80 (80) #axs: 29, #non-axs: 611 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13581 (1912:>=*); #decisions: 47; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 29, #non-axs: 631 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13599 (1894:>=*); #decisions: 62; #end-nodes: 31; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 31 / 80 (80) #axs: 29, #non-axs: 652 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13605 (1888:>=*); #decisions: 150; #end-nodes: 81; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 1 / 80 (80) #axs: 29, #non-axs: 690 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13681 (1812:>=*); #decisions: 28; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 29, #non-axs: 702 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13688 (1805:>=*); #decisions: 702; #end-nodes: 575; #proof improvement attempts: 0; #restarts: 7 Current batch, end-nodes: 10 / 81 (81) #axs: 29, #non-axs: 938 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13711 (1782:>=*); #decisions: 88; #end-nodes: 61; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 61 / 80 (80) #axs: 29, #non-axs: 976 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13789 (1704:>=*); #decisions: 3077; #end-nodes: 2483; #proof improvement attempts: 0; #restarts: 29 Current batch, end-nodes: 63 / 87 (87) #axs: 29, #non-axs: 1674 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 20 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13826 (1667:>=*); #decisions: 2560; #end-nodes: 2050; #proof improvement attempts: 0; #restarts: 24 Current batch, end-nodes: 65 / 86 (86) #axs: 29, #non-axs: 1707 tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 18 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13888 (1605:>=*); #decisions: 39; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 29, #non-axs: 1708 tight: meta-meta: start: 6, end: 9; meta: start: 10, end (keep): 18 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13905 (1588:>=*); #decisions: 2473; #end-nodes: 1959; #proof improvement attempts: 0; #restarts: 23 Current batch, end-nodes: 56 / 85 (85) #axs: 29, #non-axs: 1563 tight: meta-meta: start: 6, end: 9; meta: start: 9, end (keep): 16 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13958 (1535:>=*); #decisions: 2134; #end-nodes: 1664; #proof improvement attempts: 0; #restarts: 20 Current batch, end-nodes: 20 / 85 (85) #axs: 29, #non-axs: 999 tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 14 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14015 (1478:>=*); #decisions: 79802; #end-nodes: 70824; #proof improvement attempts: 0; #restarts: 496 Current batch, end-nodes: 173 / 204 (204) #axs: 29, #non-axs: 22 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 8 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14017 (1476:>=*); #decisions: 35; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 29, #non-axs: 22 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 8 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14018 (1475:>=*); #decisions: 3568; #end-nodes: 3000; #proof improvement attempts: 0; #restarts: 35 Current batch, end-nodes: 54 / 88 (88) #axs: 29, #non-axs: 46 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 8 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14079 (1414:>=*); #decisions: 111826; #end-nodes: 100373; #proof improvement attempts: 0; #restarts: 614 Current batch, end-nodes: 69 / 233 (233) #axs: 29, #non-axs: 2 tight: meta-meta: start: 5, end: 7; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14123 (1370:>=*); #decisions: 162694; #end-nodes: 149571; #proof improvement attempts: 0; #restarts: 762 Current batch, end-nodes: 2 / 270 (270) #axs: 29, #non-axs: 32 tight: meta-meta: start: 5, end: 7; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14141 (1352:>=*); #decisions: 55; #end-nodes: 33; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 33 / 80 (80) #axs: 29, #non-axs: 32 tight: meta-meta: start: 5, end: 7; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14158 (1335:>=*); #decisions: 23; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 29, #non-axs: 32 tight: meta-meta: start: 5, end: 7; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14169 (1324:>=*); #decisions: 92118; #end-nodes: 84010; #proof improvement attempts: 0; #restarts: 531 Current batch, end-nodes: 162 / 216 (212) #axs: 29, #non-axs: 15 tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14206 (1287:>=*); #decisions: 1742730; #end-nodes: 1627031; #proof improvement attempts: 0; #restarts: 2836 Current batch, end-nodes: 497 / 789 (789) #axs: 29, #non-axs: 77 tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14217 (1276:>=*); #decisions: 121937; #end-nodes: 113144; #proof improvement attempts: 0; #restarts: 608 Current batch, end-nodes: 185 / 232 (232) #axs: 29, #non-axs: 39 tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14251 (1242:>=*); #decisions: 1690152; #end-nodes: 1571696; #proof improvement attempts: 0; #restarts: 2570 Current batch, end-nodes: 21915 / 24888 (722) #axs: 29, #non-axs: 89 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: 481213; #end-nodes: 450908; #proof improvement attempts: 0; #restarts: 1362 Current batch, end-nodes: 366 / 420 (420) #axs: 29, #non-axs: 78 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: 14271 (1222:>=*); #decisions: 636181; #end-nodes: 595236; #proof improvement attempts: 0; #restarts: 1574 Current batch, end-nodes: 132 / 481 (473) #axs: 29, #non-axs: 87 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: 14279 (1214:>=*); #decisions: 1560485; #end-nodes: 1454106; #proof improvement attempts: 0; #restarts: 2474 Current batch, end-nodes: 361 / 698 (698) #axs: 29, #non-axs: 97 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14316 (1177:>=*); #decisions: 1697103; #end-nodes: 1584627; #proof improvement attempts: 0; #restarts: 2670 Current batch, end-nodes: 2590 / 3543 (747) #axs: 29, #non-axs: 4 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 14333 (1160:>=*); Interupt request received. Model found with constant: (pushed:) 14333 (1160:>=*) 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: 3 (#equs: 0) Time taken: 20 min, 3 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/18870/stat): 18870 (vallstSAT2005PB) R 18869 18870 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845920286 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/18870/statm): 174 3 169 147 0 27 0
[pid=18870] 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=18871
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=18871) exited with status: 0
New process pid=18872
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=18872) exited with status: 0
New process pid=18873
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/wulflinc20/normalized-lseu.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0032 s]
Raw data (loadavg): 1.08 1.04 1.01 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 263 0 0 0 281 231 0 0 15 0 1 0 1845920294 2285568 233 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 233 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (Kb) 4360
[startup+20.004 s]
Raw data (loadavg): 1.14 1.05 1.01 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 267 0 0 0 553 466 0 0 15 0 1 0 1845920294 2285568 237 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 558 237 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 10.21
Current children cumulated vsize (Kb) 4360
[startup+30.0047 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 272 0 0 0 864 689 0 0 15 0 1 0 1845920294 2285568 242 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 242 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 15.55
Current children cumulated vsize (Kb) 4360
[startup+40.0054 s]
Raw data (loadavg): 1.18 1.06 1.01 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 273 0 0 0 1127 919 0 0 16 0 1 0 1845920294 2285568 243 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 243 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 20.48
Current children cumulated vsize (Kb) 4360
[startup+50.0061 s]
Raw data (loadavg): 1.15 1.06 1.01 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 275 0 0 0 1406 1154 0 0 16 0 1 0 1845920294 2285568 245 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 245 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 25.62
Current children cumulated vsize (Kb) 4360
[startup+60.0069 s]
Raw data (loadavg): 1.28 1.09 1.02 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 311 0 0 0 1714 1383 0 0 16 0 1 0 1845920294 2285568 281 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 281 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 30.99
Current children cumulated vsize (Kb) 4360
[startup+70.0076 s]
Raw data (loadavg): 1.24 1.09 1.02 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 2032 1608 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 288 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 36.42
Current children cumulated vsize (Kb) 4360
[startup+80.0083 s]
Raw data (loadavg): 1.27 1.10 1.03 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 2298 1850 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 558 288 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 41.5
Current children cumulated vsize (Kb) 4360
[startup+90.0091 s]
Raw data (loadavg): 1.31 1.11 1.03 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 2588 2077 0 0 16 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 288 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 46.67
Current children cumulated vsize (Kb) 4360
[startup+100.011 s]
Raw data (loadavg): 1.34 1.13 1.03 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 2929 2296 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 288 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 52.27
Current children cumulated vsize (Kb) 4360
[startup+110.011 s]
Raw data (loadavg): 1.29 1.12 1.03 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 3253 2512 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 288 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 57.67
Current children cumulated vsize (Kb) 4360
[startup+120.012 s]
Raw data (loadavg): 1.33 1.13 1.04 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 3585 2724 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 288 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 63.11
Current children cumulated vsize (Kb) 4360
[startup+130.014 s]
Raw data (loadavg): 1.27 1.13 1.04 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 3863 2947 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 288 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 68.12
Current children cumulated vsize (Kb) 4360
[startup+140.015 s]
Raw data (loadavg): 1.23 1.12 1.04 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 318 0 0 0 4176 3174 0 0 15 0 1 0 1845920294 2285568 288 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 288 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 73.52
Current children cumulated vsize (Kb) 4360
[startup+150.016 s]
Raw data (loadavg): 1.20 1.12 1.03 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 320 0 0 0 4477 3403 0 0 15 0 1 0 1845920294 2285568 290 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 290 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 78.82
Current children cumulated vsize (Kb) 4360
[startup+160.017 s]
Raw data (loadavg): 1.16 1.11 1.03 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 322 0 0 0 4761 3646 0 0 16 0 1 0 1845920294 2285568 292 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 558 292 413 48 0 510 0
[pid=18873] vsize: 2232
Current children cumulated CPU time (s) 84.09
Current children cumulated vsize (Kb) 4360
[startup+170.018 s]
Raw data (loadavg): 1.21 1.13 1.04 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 328 0 0 0 5089 3865 0 0 15 0 1 0 1845920294 2420736 298 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 591 298 413 48 0 543 0
[pid=18873] vsize: 2364
Current children cumulated CPU time (s) 89.56
Current children cumulated vsize (Kb) 4492
[startup+180.019 s]
Raw data (loadavg): 1.25 1.14 1.04 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 331 0 0 0 5429 4084 0 0 15 0 1 0 1845920294 2420736 301 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 591 301 413 48 0 543 0
[pid=18873] vsize: 2364
Current children cumulated CPU time (s) 95.15
Current children cumulated vsize (Kb) 4492
[startup+190.019 s]
Raw data (loadavg): 1.21 1.13 1.04 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 339 0 0 0 5805 4289 0 0 15 0 1 0 1845920294 2420736 309 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 591 309 413 48 0 543 0
[pid=18873] vsize: 2364
Current children cumulated CPU time (s) 100.96
Current children cumulated vsize (Kb) 4492
[startup+200.021 s]
Raw data (loadavg): 1.18 1.13 1.04 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 346 0 0 0 6164 4502 0 0 15 0 1 0 1845920294 2420736 316 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 591 316 413 48 0 543 0
[pid=18873] vsize: 2364
Current children cumulated CPU time (s) 106.68
Current children cumulated vsize (Kb) 4492
[startup+210.022 s]
Raw data (loadavg): 1.15 1.12 1.04 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 348 0 0 0 6547 4700 0 0 16 0 1 0 1845920294 2420736 318 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 591 318 413 48 0 543 0
[pid=18873] vsize: 2364
Current children cumulated CPU time (s) 112.49
Current children cumulated vsize (Kb) 4492
[startup+220.022 s]
Raw data (loadavg): 1.13 1.12 1.04 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 348 0 0 0 6935 4904 0 0 16 0 1 0 1845920294 2420736 318 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 591 318 413 48 0 543 0
[pid=18873] vsize: 2364
Current children cumulated CPU time (s) 118.41
Current children cumulated vsize (Kb) 4492
[startup+230.023 s]
Raw data (loadavg): 1.26 1.15 1.05 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 355 0 0 0 7349 5094 0 0 15 0 1 0 1845920294 2420736 325 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 591 325 413 48 0 543 0
[pid=18873] vsize: 2364
Current children cumulated CPU time (s) 124.45
Current children cumulated vsize (Kb) 4492
[startup+240.024 s]
Raw data (loadavg): 1.22 1.14 1.05 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 359 0 0 0 7784 5287 0 0 15 0 1 0 1845920294 2555904 329 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 624 329 413 48 0 576 0
[pid=18873] vsize: 2496
Current children cumulated CPU time (s) 130.73
Current children cumulated vsize (Kb) 4624
[startup+250.026 s]
Raw data (loadavg): 1.19 1.14 1.05 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 369 0 0 0 8240 5462 0 0 16 0 1 0 1845920294 2555904 339 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 624 339 413 48 0 576 0
[pid=18873] vsize: 2496
Current children cumulated CPU time (s) 137.04
Current children cumulated vsize (Kb) 4624
[startup+260.026 s]
Raw data (loadavg): 1.23 1.15 1.05 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 377 0 0 0 8668 5653 0 0 15 0 1 0 1845920294 2555904 347 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 624 347 413 48 0 576 0
[pid=18873] vsize: 2496
Current children cumulated CPU time (s) 143.23
Current children cumulated vsize (Kb) 4624
[startup+270.027 s]
Raw data (loadavg): 1.20 1.14 1.05 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 381 0 0 0 9098 5836 0 0 15 0 1 0 1845920294 2555904 351 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 624 351 413 48 0 576 0
[pid=18873] vsize: 2496
Current children cumulated CPU time (s) 149.36
Current children cumulated vsize (Kb) 4624
[startup+280.028 s]
Raw data (loadavg): 1.24 1.15 1.05 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 392 0 0 0 9601 6002 0 0 15 0 1 0 1845920294 2691072 362 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 657 362 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 156.05
Current children cumulated vsize (Kb) 4756
[startup+290.029 s]
Raw data (loadavg): 1.20 1.15 1.05 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 396 0 0 0 10067 6167 0 0 15 0 1 0 1845920294 2691072 366 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 657 366 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 162.36
Current children cumulated vsize (Kb) 4756
[startup+300.029 s]
Raw data (loadavg): 1.25 1.16 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 397 0 0 0 10530 6345 0 0 15 0 1 0 1845920294 2691072 367 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 657 367 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 168.77
Current children cumulated vsize (Kb) 4756
[startup+310.03 s]
Raw data (loadavg): 1.21 1.15 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 397 0 0 0 11013 6519 0 0 15 0 1 0 1845920294 2691072 367 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 657 367 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 175.34
Current children cumulated vsize (Kb) 4756
[startup+320.031 s]
Raw data (loadavg): 1.25 1.16 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 400 0 0 0 11445 6706 0 0 15 0 1 0 1845920294 2691072 370 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 657 370 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 181.53
Current children cumulated vsize (Kb) 4756
[startup+330.031 s]
Raw data (loadavg): 1.21 1.16 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 402 0 0 0 11898 6887 0 0 16 0 1 0 1845920294 2691072 372 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 657 372 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 187.87
Current children cumulated vsize (Kb) 4756
[startup+340.032 s]
Raw data (loadavg): 1.18 1.15 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 404 0 0 0 12368 7060 0 0 15 0 1 0 1845920294 2691072 374 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 657 374 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 194.3
Current children cumulated vsize (Kb) 4756
[startup+350.035 s]
Raw data (loadavg): 1.23 1.16 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 405 0 0 0 12847 7233 0 0 15 0 1 0 1845920294 2691072 375 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 657 375 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 200.82
Current children cumulated vsize (Kb) 4756
[startup+360.037 s]
Raw data (loadavg): 1.20 1.16 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 409 0 0 0 13379 7387 0 0 15 0 1 0 1845920294 2691072 379 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 657 379 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 207.68
Current children cumulated vsize (Kb) 4756
[startup+370.037 s]
Raw data (loadavg): 1.16 1.15 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 414 0 0 0 13860 7554 0 0 15 0 1 0 1845920294 2691072 384 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 657 384 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 214.16
Current children cumulated vsize (Kb) 4756
[startup+380.038 s]
Raw data (loadavg): 1.22 1.16 1.07 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 416 0 0 0 14321 7725 0 0 16 0 1 0 1845920294 2691072 386 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 657 386 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 220.48
Current children cumulated vsize (Kb) 4756
[startup+390.039 s]
Raw data (loadavg): 1.18 1.16 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 418 0 0 0 14795 7900 0 0 15 0 1 0 1845920294 2691072 388 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 657 388 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 226.97
Current children cumulated vsize (Kb) 4756
[startup+400.041 s]
Raw data (loadavg): 1.16 1.15 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 418 0 0 0 15336 8055 0 0 16 0 1 0 1845920294 2691072 388 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 657 388 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 233.93
Current children cumulated vsize (Kb) 4756
[startup+410.041 s]
Raw data (loadavg): 1.13 1.14 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 419 0 0 0 15812 8227 0 0 15 0 1 0 1845920294 2691072 389 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 657 389 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 240.41
Current children cumulated vsize (Kb) 4756
[startup+420.042 s]
Raw data (loadavg): 1.11 1.14 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 422 0 0 0 16288 8406 0 0 15 0 1 0 1845920294 2691072 392 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 657 392 413 48 0 609 0
[pid=18873] vsize: 2628
Current children cumulated CPU time (s) 246.96
Current children cumulated vsize (Kb) 4756
[startup+430.044 s]
Raw data (loadavg): 1.09 1.13 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 429 0 0 0 16835 8561 0 0 16 0 1 0 1845920294 2826240 399 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 690 399 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 253.98
Current children cumulated vsize (Kb) 4888
[startup+440.045 s]
Raw data (loadavg): 1.08 1.13 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 432 0 0 0 17338 8726 0 0 15 0 1 0 1845920294 2826240 402 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 402 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 260.66
Current children cumulated vsize (Kb) 4888
[startup+450.045 s]
Raw data (loadavg): 1.07 1.12 1.06 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 439 0 0 0 17817 8906 0 0 15 0 1 0 1845920294 2826240 409 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 690 409 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 267.25
Current children cumulated vsize (Kb) 4888
[startup+460.046 s]
Raw data (loadavg): 1.21 1.15 1.07 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 439 0 0 0 18125 9124 0 0 15 0 1 0 1845920294 2826240 409 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 409 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 272.51
Current children cumulated vsize (Kb) 4888
[startup+470.047 s]
Raw data (loadavg): 1.18 1.15 1.07 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 439 0 0 0 18443 9348 0 0 15 0 1 0 1845920294 2826240 409 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 409 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 277.93
Current children cumulated vsize (Kb) 4888
[startup+480.047 s]
Raw data (loadavg): 1.30 1.17 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 439 0 0 0 18804 9549 0 0 16 0 1 0 1845920294 2826240 409 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 409 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 283.55
Current children cumulated vsize (Kb) 4888
[startup+490.048 s]
Raw data (loadavg): 1.33 1.18 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 439 0 0 0 19121 9766 0 0 15 0 1 0 1845920294 2826240 409 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 690 409 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 288.89
Current children cumulated vsize (Kb) 4888
[startup+500.05 s]
Raw data (loadavg): 1.28 1.18 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 439 0 0 0 19417 9991 0 0 15 0 1 0 1845920294 2826240 409 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 409 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 294.1
Current children cumulated vsize (Kb) 4888
[startup+510.051 s]
Raw data (loadavg): 1.24 1.17 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 441 0 0 0 19771 10201 0 0 15 0 1 0 1845920294 2826240 411 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 411 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 299.74
Current children cumulated vsize (Kb) 4888
[startup+520.051 s]
Raw data (loadavg): 1.20 1.17 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 443 0 0 0 20128 10419 0 0 15 0 1 0 1845920294 2826240 413 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 690 413 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 305.49
Current children cumulated vsize (Kb) 4888
[startup+530.053 s]
Raw data (loadavg): 1.17 1.16 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 445 0 0 0 20536 10607 0 0 15 0 1 0 1845920294 2826240 415 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 690 415 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 311.45
Current children cumulated vsize (Kb) 4888
[startup+540.054 s]
Raw data (loadavg): 1.14 1.15 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 445 0 0 0 20953 10793 0 0 15 0 1 0 1845920294 2826240 415 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 415 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 317.48
Current children cumulated vsize (Kb) 4888
[startup+550.056 s]
Raw data (loadavg): 1.12 1.15 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 445 0 0 0 21368 10981 0 0 15 0 1 0 1845920294 2826240 415 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 415 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 323.51
Current children cumulated vsize (Kb) 4888
[startup+560.056 s]
Raw data (loadavg): 1.10 1.14 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 445 0 0 0 21782 11178 0 0 16 0 1 0 1845920294 2826240 415 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 690 415 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 329.62
Current children cumulated vsize (Kb) 4888
[startup+570.057 s]
Raw data (loadavg): 1.16 1.15 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 445 0 0 0 22173 11387 0 0 15 0 1 0 1845920294 2826240 415 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 415 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 335.62
Current children cumulated vsize (Kb) 4888
[startup+580.058 s]
Raw data (loadavg): 1.21 1.17 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 447 0 0 0 22688 11554 0 0 15 0 1 0 1845920294 2826240 417 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 690 417 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 342.44
Current children cumulated vsize (Kb) 4888
[startup+590.058 s]
Raw data (loadavg): 1.26 1.18 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 447 0 0 0 23147 11730 0 0 15 0 1 0 1845920294 2826240 417 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 417 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 348.79
Current children cumulated vsize (Kb) 4888
[startup+600.06 s]
Raw data (loadavg): 1.22 1.17 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 448 0 0 0 23595 11904 0 0 15 0 1 0 1845920294 2826240 418 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 418 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 355.01
Current children cumulated vsize (Kb) 4888
[startup+610.061 s]
Raw data (loadavg): 1.18 1.16 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 451 0 0 0 24101 12068 0 0 15 0 1 0 1845920294 2826240 421 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 690 421 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 361.71
Current children cumulated vsize (Kb) 4888
[startup+620.062 s]
Raw data (loadavg): 1.16 1.16 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 455 0 0 0 24631 12222 0 0 15 0 1 0 1845920294 2826240 425 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 425 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 368.55
Current children cumulated vsize (Kb) 4888
[startup+630.063 s]
Raw data (loadavg): 1.13 1.15 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 455 0 0 0 25056 12408 0 0 15 0 1 0 1845920294 2826240 425 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 690 425 413 48 0 642 0
[pid=18873] vsize: 2760
Current children cumulated CPU time (s) 374.66
Current children cumulated vsize (Kb) 4888
[startup+640.064 s]
Raw data (loadavg): 1.11 1.15 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 457 0 0 0 25515 12582 0 0 15 0 1 0 1845920294 2965504 427 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 427 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 380.99
Current children cumulated vsize (Kb) 5024
[startup+650.066 s]
Raw data (loadavg): 1.09 1.14 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 457 0 0 0 25982 12757 0 0 15 0 1 0 1845920294 2965504 427 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 427 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 387.41
Current children cumulated vsize (Kb) 5024
[startup+660.067 s]
Raw data (loadavg): 1.08 1.14 1.08 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 457 0 0 0 26454 12932 0 0 15 0 1 0 1845920294 2965504 427 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 427 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 393.88
Current children cumulated vsize (Kb) 5024
[startup+670.067 s]
Raw data (loadavg): 1.22 1.16 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 457 0 0 0 26930 13106 0 0 15 0 1 0 1845920294 2965504 427 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 427 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 400.38
Current children cumulated vsize (Kb) 5024
[startup+680.068 s]
Raw data (loadavg): 1.19 1.16 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 459 0 0 0 27458 13258 0 0 15 0 1 0 1845920294 2965504 429 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 429 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 407.18
Current children cumulated vsize (Kb) 5024
[startup+690.069 s]
Raw data (loadavg): 1.16 1.15 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 459 0 0 0 27941 13428 0 0 15 0 1 0 1845920294 2965504 429 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 429 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 413.71
Current children cumulated vsize (Kb) 5024
[startup+700.07 s]
Raw data (loadavg): 1.13 1.15 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 463 0 0 0 28418 13603 0 0 15 0 1 0 1845920294 2965504 433 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 433 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 420.23
Current children cumulated vsize (Kb) 5024
[startup+710.071 s]
Raw data (loadavg): 1.18 1.16 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 463 0 0 0 28959 13758 0 0 15 0 1 0 1845920294 2965504 433 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 433 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 427.19
Current children cumulated vsize (Kb) 5024
[startup+720.072 s]
Raw data (loadavg): 1.23 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 465 0 0 0 29447 13926 0 0 15 0 1 0 1845920294 2965504 435 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 435 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 433.75
Current children cumulated vsize (Kb) 5024
[startup+730.074 s]
Raw data (loadavg): 1.19 1.16 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 465 0 0 0 29936 14096 0 0 16 0 1 0 1845920294 2965504 435 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 435 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 440.34
Current children cumulated vsize (Kb) 5024
[startup+740.074 s]
Raw data (loadavg): 1.16 1.16 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 467 0 0 0 30474 14255 0 0 15 0 1 0 1845920294 2965504 437 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 437 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 447.31
Current children cumulated vsize (Kb) 5024
[startup+750.076 s]
Raw data (loadavg): 1.14 1.15 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 467 0 0 0 30958 14428 0 0 15 0 1 0 1845920294 2965504 437 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 437 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 453.88
Current children cumulated vsize (Kb) 5024
[startup+760.077 s]
Raw data (loadavg): 1.12 1.15 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 469 0 0 0 31472 14590 0 0 15 0 1 0 1845920294 2965504 439 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 439 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 460.64
Current children cumulated vsize (Kb) 5024
[startup+770.077 s]
Raw data (loadavg): 1.10 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 32044 14737 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 467.83
Current children cumulated vsize (Kb) 5024
[startup+780.078 s]
Raw data (loadavg): 1.16 1.15 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 32480 14924 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 474.06
Current children cumulated vsize (Kb) 5024
[startup+790.079 s]
Raw data (loadavg): 1.14 1.15 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 32823 15151 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 479.76
Current children cumulated vsize (Kb) 5024
[startup+800.081 s]
Raw data (loadavg): 1.12 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 33147 15372 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 485.21
Current children cumulated vsize (Kb) 5024
[startup+810.082 s]
Raw data (loadavg): 1.18 1.15 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 33531 15574 0 0 16 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 491.07
Current children cumulated vsize (Kb) 5024
[startup+820.082 s]
Raw data (loadavg): 1.23 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 33869 15795 0 0 16 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 496.66
Current children cumulated vsize (Kb) 5024
[startup+830.083 s]
Raw data (loadavg): 1.27 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 34294 15985 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 502.81
Current children cumulated vsize (Kb) 5024
[startup+840.084 s]
Raw data (loadavg): 1.23 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 34706 16184 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 508.92
Current children cumulated vsize (Kb) 5024
[startup+850.085 s]
Raw data (loadavg): 1.28 1.18 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 35121 16369 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 514.92
Current children cumulated vsize (Kb) 5024
[startup+860.086 s]
Raw data (loadavg): 1.23 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 35575 16554 0 0 16 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 521.31
Current children cumulated vsize (Kb) 5024
[startup+870.087 s]
Raw data (loadavg): 1.20 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 35995 16744 0 0 16 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 527.41
Current children cumulated vsize (Kb) 5024
[startup+880.087 s]
Raw data (loadavg): 1.24 1.18 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 36437 16925 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 533.64
Current children cumulated vsize (Kb) 5024
[startup+890.088 s]
Raw data (loadavg): 1.20 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 36748 17146 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 538.96
Current children cumulated vsize (Kb) 5024
[startup+900.089 s]
Raw data (loadavg): 1.24 1.18 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 37053 17368 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 544.23
Current children cumulated vsize (Kb) 5024
[startup+910.09 s]
Raw data (loadavg): 1.21 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 37422 17575 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 549.99
Current children cumulated vsize (Kb) 5024
[startup+920.09 s]
Raw data (loadavg): 1.17 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 37766 17785 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 555.53
Current children cumulated vsize (Kb) 5024
[startup+930.091 s]
Raw data (loadavg): 1.15 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 471 0 0 0 38170 17980 0 0 15 0 1 0 1845920294 2965504 441 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 441 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 561.52
Current children cumulated vsize (Kb) 5024
[startup+940.092 s]
Raw data (loadavg): 1.12 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 475 0 0 0 38600 18173 0 0 15 0 1 0 1845920294 2965504 445 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 445 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 567.75
Current children cumulated vsize (Kb) 5024
[startup+950.094 s]
Raw data (loadavg): 1.10 1.15 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 475 0 0 0 39009 18370 0 0 16 0 1 0 1845920294 2965504 445 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 445 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 573.81
Current children cumulated vsize (Kb) 5024
[startup+960.094 s]
Raw data (loadavg): 1.09 1.15 1.09 2/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 475 0 0 0 39430 18556 0 0 16 0 1 0 1845920294 2965504 445 4294967295 134512640 134702520 3221223968 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 445 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 579.88
Current children cumulated vsize (Kb) 5024
[startup+970.095 s]
Raw data (loadavg): 1.07 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 475 0 0 0 39840 18749 0 0 15 0 1 0 1845920294 2965504 445 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 445 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 585.91
Current children cumulated vsize (Kb) 5024
[startup+980.097 s]
Raw data (loadavg): 1.21 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 40349 18916 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 447 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 592.67
Current children cumulated vsize (Kb) 5024
[startup+990.097 s]
Raw data (loadavg): 1.26 1.18 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 40766 19105 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 447 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 598.73
Current children cumulated vsize (Kb) 5024
[startup+1000.1 s]
Raw data (loadavg): 1.22 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 41198 19288 0 0 16 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 447 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 604.88
Current children cumulated vsize (Kb) 5024
[startup+1010.1 s]
Raw data (loadavg): 1.19 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 41663 19464 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 447 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 611.29
Current children cumulated vsize (Kb) 5024
[startup+1020.1 s]
Raw data (loadavg): 1.16 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 42054 19663 0 0 16 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 447 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 617.19
Current children cumulated vsize (Kb) 5024
[startup+1030.1 s]
Raw data (loadavg): 1.29 1.19 1.11 2/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) R 18870 18870 2660 0 -1 0 477 0 0 0 42377 19885 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 447 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 622.64
Current children cumulated vsize (Kb) 5024
[startup+1040.1 s]
Raw data (loadavg): 1.32 1.20 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 42715 20091 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 447 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 628.08
Current children cumulated vsize (Kb) 5024
[startup+1050.1 s]
Raw data (loadavg): 1.34 1.21 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 43098 20294 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 447 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 633.94
Current children cumulated vsize (Kb) 5024
[startup+1060.1 s]
Raw data (loadavg): 1.36 1.22 1.12 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 43486 20492 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 447 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 639.8
Current children cumulated vsize (Kb) 5024
[startup+1070.1 s]
Raw data (loadavg): 1.31 1.21 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 43828 20707 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 447 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 645.37
Current children cumulated vsize (Kb) 5024
[startup+1080.1 s]
Raw data (loadavg): 1.26 1.20 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 44233 20905 0 0 16 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 447 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 651.4
Current children cumulated vsize (Kb) 5024
[startup+1090.1 s]
Raw data (loadavg): 1.22 1.19 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 477 0 0 0 44631 21099 0 0 15 0 1 0 1845920294 2965504 447 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 447 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 657.32
Current children cumulated vsize (Kb) 5024
[startup+1100.11 s]
Raw data (loadavg): 1.18 1.19 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 45049 21283 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 449 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 663.34
Current children cumulated vsize (Kb) 5024
[startup+1110.11 s]
Raw data (loadavg): 1.16 1.18 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 45470 21464 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 449 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 669.36
Current children cumulated vsize (Kb) 5024
[startup+1120.12 s]
Raw data (loadavg): 1.21 1.19 1.11 2/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) R 18870 18870 2660 0 -1 0 479 0 0 0 45895 21650 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 449 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 675.47
Current children cumulated vsize (Kb) 5024
[startup+1130.12 s]
Raw data (loadavg): 1.18 1.18 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 46345 21829 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 449 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 681.76
Current children cumulated vsize (Kb) 5024
[startup+1140.12 s]
Raw data (loadavg): 1.15 1.18 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 46850 21997 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 449 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 688.49
Current children cumulated vsize (Kb) 5024
[startup+1150.12 s]
Raw data (loadavg): 1.13 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 47304 22174 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 449 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 694.8
Current children cumulated vsize (Kb) 5024
[startup+1160.12 s]
Raw data (loadavg): 1.11 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 47749 22351 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 449 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 701.02
Current children cumulated vsize (Kb) 5024
[startup+1170.13 s]
Raw data (loadavg): 1.09 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 479 0 0 0 48237 22516 0 0 15 0 1 0 1845920294 2965504 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 449 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 707.55
Current children cumulated vsize (Kb) 5024
[startup+1180.13 s]
Raw data (loadavg): 1.15 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 481 0 0 0 48739 22684 0 0 15 0 1 0 1845920294 2965504 451 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 451 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 714.25
Current children cumulated vsize (Kb) 5024
[startup+1190.13 s]
Raw data (loadavg): 1.20 1.18 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 481 0 0 0 49252 22848 0 0 15 0 1 0 1845920294 2965504 451 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 451 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 721.02
Current children cumulated vsize (Kb) 5024
[startup+1200.13 s]
Raw data (loadavg): 1.25 1.19 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 481 0 0 0 49737 23018 0 0 15 0 1 0 1845920294 2965504 451 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 451 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 727.57
Current children cumulated vsize (Kb) 5024
[startup+1210.13 s]
Raw data (loadavg): 1.21 1.18 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 483 0 0 0 50216 23194 0 0 15 0 1 0 1845920294 2965504 453 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 453 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 734.12
Current children cumulated vsize (Kb) 5024
[startup+1220.13 s]
Raw data (loadavg): 1.18 1.18 1.11 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 483 0 0 0 50727 23359 0 0 15 0 1 0 1845920294 2965504 453 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 453 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 740.88
Current children cumulated vsize (Kb) 5024
[startup+1230.13 s]
Raw data (loadavg): 1.15 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 487 0 0 0 51223 23527 0 0 15 0 1 0 1845920294 2965504 457 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 724 457 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 747.52
Current children cumulated vsize (Kb) 5024
[startup+1240.13 s]
Raw data (loadavg): 1.13 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 489 0 0 0 51707 23695 0 0 15 0 1 0 1845920294 2965504 459 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 724 459 413 48 0 676 0
[pid=18873] vsize: 2896
Current children cumulated CPU time (s) 754.04
Current children cumulated vsize (Kb) 5024
[startup+1250.13 s]
Raw data (loadavg): 1.11 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 52274 23842 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 461 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 761.18
Current children cumulated vsize (Kb) 5160
[startup+1260.13 s]
Raw data (loadavg): 1.09 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 52790 24008 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 461 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 768
Current children cumulated vsize (Kb) 5160
[startup+1270.13 s]
Raw data (loadavg): 1.08 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 53321 24166 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 461 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 774.89
Current children cumulated vsize (Kb) 5160
[startup+1280.14 s]
Raw data (loadavg): 1.06 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 53828 24337 0 0 16 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 461 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 781.67
Current children cumulated vsize (Kb) 5160
[startup+1290.14 s]
Raw data (loadavg): 1.05 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 54404 24482 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 461 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 788.88
Current children cumulated vsize (Kb) 5160
[startup+1300.14 s]
Raw data (loadavg): 1.12 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 54769 24689 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 461 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 794.6
Current children cumulated vsize (Kb) 5160
[startup+1310.14 s]
Raw data (loadavg): 1.18 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 55102 24907 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 461 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 800.11
Current children cumulated vsize (Kb) 5160
[startup+1320.14 s]
Raw data (loadavg): 1.16 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 55473 25110 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 461 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 805.85
Current children cumulated vsize (Kb) 5160
[startup+1330.14 s]
Raw data (loadavg): 1.21 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 55853 25314 0 0 15 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 461 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 811.69
Current children cumulated vsize (Kb) 5160
[startup+1340.14 s]
Raw data (loadavg): 1.18 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 491 0 0 0 56275 25502 0 0 16 0 1 0 1845920294 3104768 461 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 461 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 817.79
Current children cumulated vsize (Kb) 5160
[startup+1350.14 s]
Raw data (loadavg): 1.22 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 493 0 0 0 56700 25696 0 0 15 0 1 0 1845920294 3104768 463 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 463 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 823.98
Current children cumulated vsize (Kb) 5160
[startup+1360.14 s]
Raw data (loadavg): 1.19 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 493 0 0 0 57093 25891 0 0 15 0 1 0 1845920294 3104768 463 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 463 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 829.86
Current children cumulated vsize (Kb) 5160
[startup+1370.14 s]
Raw data (loadavg): 1.16 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 493 0 0 0 57509 26083 0 0 15 0 1 0 1845920294 3104768 463 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 463 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 835.94
Current children cumulated vsize (Kb) 5160
[startup+1380.14 s]
Raw data (loadavg): 1.13 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 493 0 0 0 57972 26261 0 0 16 0 1 0 1845920294 3104768 463 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 463 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 842.35
Current children cumulated vsize (Kb) 5160
[startup+1390.15 s]
Raw data (loadavg): 1.11 1.15 1.09 2/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) R 18870 18870 2660 0 -1 0 495 0 0 0 58418 26443 0 0 15 0 1 0 1845920294 3104768 465 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 465 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 848.63
Current children cumulated vsize (Kb) 5160
[startup+1400.15 s]
Raw data (loadavg): 1.10 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 495 0 0 0 58879 26620 0 0 15 0 1 0 1845920294 3104768 465 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 465 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 855.01
Current children cumulated vsize (Kb) 5160
[startup+1410.15 s]
Raw data (loadavg): 1.08 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 495 0 0 0 59308 26803 0 0 16 0 1 0 1845920294 3104768 465 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 465 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 861.13
Current children cumulated vsize (Kb) 5160
[startup+1420.15 s]
Raw data (loadavg): 1.07 1.13 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 495 0 0 0 59794 26973 0 0 15 0 1 0 1845920294 3104768 465 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 465 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 867.69
Current children cumulated vsize (Kb) 5160
[startup+1430.15 s]
Raw data (loadavg): 1.13 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 495 0 0 0 60255 27159 0 0 15 0 1 0 1845920294 3104768 465 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 465 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 874.16
Current children cumulated vsize (Kb) 5160
[startup+1440.15 s]
Raw data (loadavg): 1.11 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 495 0 0 0 60780 27321 0 0 16 0 1 0 1845920294 3104768 465 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 465 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 881.03
Current children cumulated vsize (Kb) 5160
[startup+1450.15 s]
Raw data (loadavg): 1.09 1.13 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 497 0 0 0 61237 27501 0 0 15 0 1 0 1845920294 3104768 467 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 467 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 887.4
Current children cumulated vsize (Kb) 5160
[startup+1460.15 s]
Raw data (loadavg): 1.08 1.13 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 500 0 0 0 61707 27672 0 0 15 0 1 0 1845920294 3104768 470 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 470 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 893.81
Current children cumulated vsize (Kb) 5160
[startup+1470.15 s]
Raw data (loadavg): 1.07 1.12 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 500 0 0 0 62185 27840 0 0 15 0 1 0 1845920294 3104768 470 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 470 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 900.27
Current children cumulated vsize (Kb) 5160
[startup+1480.16 s]
Raw data (loadavg): 1.06 1.12 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 62775 27983 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 907.6
Current children cumulated vsize (Kb) 5160
[startup+1490.16 s]
Raw data (loadavg): 1.05 1.11 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 63238 28165 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 914.05
Current children cumulated vsize (Kb) 5160
[startup+1500.16 s]
Raw data (loadavg): 1.12 1.13 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 63718 28339 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 920.59
Current children cumulated vsize (Kb) 5160
[startup+1510.16 s]
Raw data (loadavg): 1.10 1.12 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 64276 28488 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 927.66
Current children cumulated vsize (Kb) 5160
[startup+1520.16 s]
Raw data (loadavg): 1.16 1.13 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 64742 28660 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 934.04
Current children cumulated vsize (Kb) 5160
[startup+1530.16 s]
Raw data (loadavg): 1.21 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 65212 28833 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 940.47
Current children cumulated vsize (Kb) 5160
[startup+1540.16 s]
Raw data (loadavg): 1.17 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 65726 28994 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 947.22
Current children cumulated vsize (Kb) 5160
[startup+1550.16 s]
Raw data (loadavg): 1.23 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 66214 29164 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 953.8
Current children cumulated vsize (Kb) 5160
[startup+1560.16 s]
Raw data (loadavg): 1.27 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 66683 29343 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 960.28
Current children cumulated vsize (Kb) 5160
[startup+1570.16 s]
Raw data (loadavg): 1.23 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 67131 29530 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 966.63
Current children cumulated vsize (Kb) 5160
[startup+1580.16 s]
Raw data (loadavg): 1.19 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 67605 29701 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 973.08
Current children cumulated vsize (Kb) 5160
[startup+1590.17 s]
Raw data (loadavg): 1.16 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 68115 29868 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 979.85
Current children cumulated vsize (Kb) 5160
[startup+1600.17 s]
Raw data (loadavg): 1.22 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 68404 30098 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 985.04
Current children cumulated vsize (Kb) 5160
[startup+1610.17 s]
Raw data (loadavg): 1.18 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 68712 30319 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 990.33
Current children cumulated vsize (Kb) 5160
[startup+1620.17 s]
Raw data (loadavg): 1.24 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 69045 30535 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 995.82
Current children cumulated vsize (Kb) 5160
[startup+1630.17 s]
Raw data (loadavg): 1.20 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 69360 30758 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1001.2
Current children cumulated vsize (Kb) 5160
[startup+1640.17 s]
Raw data (loadavg): 1.17 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 69743 30960 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1007.05
Current children cumulated vsize (Kb) 5160
[startup+1650.17 s]
Raw data (loadavg): 1.14 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 70105 31166 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1012.73
Current children cumulated vsize (Kb) 5160
[startup+1660.17 s]
Raw data (loadavg): 1.12 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 70612 31329 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1019.43
Current children cumulated vsize (Kb) 5160
[startup+1670.17 s]
Raw data (loadavg): 1.10 1.13 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 71011 31529 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1025.42
Current children cumulated vsize (Kb) 5160
[startup+1680.18 s]
Raw data (loadavg): 1.08 1.13 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 71405 31722 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1031.29
Current children cumulated vsize (Kb) 5160
[startup+1690.18 s]
Raw data (loadavg): 1.22 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 71809 31923 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1037.34
Current children cumulated vsize (Kb) 5160
[startup+1700.18 s]
Raw data (loadavg): 1.27 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 72244 32105 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1043.51
Current children cumulated vsize (Kb) 5160
[startup+1710.18 s]
Raw data (loadavg): 1.23 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 72686 32286 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1049.74
Current children cumulated vsize (Kb) 5160
[startup+1720.18 s]
Raw data (loadavg): 1.27 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 73153 32460 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1056.15
Current children cumulated vsize (Kb) 5160
[startup+1730.18 s]
Raw data (loadavg): 1.22 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 73593 32643 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (Kb) 5160
[startup+1740.18 s]
Raw data (loadavg): 1.19 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 74050 32823 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1068.75
Current children cumulated vsize (Kb) 5160
[startup+1750.18 s]
Raw data (loadavg): 1.16 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 74512 32999 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1075.13
Current children cumulated vsize (Kb) 5160
[startup+1760.18 s]
Raw data (loadavg): 1.22 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 74978 33178 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1081.58
Current children cumulated vsize (Kb) 5160
[startup+1770.18 s]
Raw data (loadavg): 1.18 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 75427 33363 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1087.92
Current children cumulated vsize (Kb) 5160
[startup+1780.19 s]
Raw data (loadavg): 1.15 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 75885 33551 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1094.38
Current children cumulated vsize (Kb) 5160
[startup+1790.19 s]
Raw data (loadavg): 1.13 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 76350 33735 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1100.87
Current children cumulated vsize (Kb) 5160
[startup+1800.19 s]
Raw data (loadavg): 1.11 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 76867 33900 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1107.69
Current children cumulated vsize (Kb) 5160
[startup+1810.19 s]
Raw data (loadavg): 1.09 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 77372 34065 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1114.39
Current children cumulated vsize (Kb) 5160
[startup+1820.19 s]
Raw data (loadavg): 1.16 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 77843 34243 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1120.88
Current children cumulated vsize (Kb) 5160
[startup+1830.19 s]
Raw data (loadavg): 1.13 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 78317 34418 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1127.37
Current children cumulated vsize (Kb) 5160
[startup+1840.19 s]
Raw data (loadavg): 1.11 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 78790 34586 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1133.78
Current children cumulated vsize (Kb) 5160
[startup+1850.19 s]
Raw data (loadavg): 1.17 1.15 1.10 2/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 79345 34739 0 0 16 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1140.86
Current children cumulated vsize (Kb) 5160
[startup+1860.19 s]
Raw data (loadavg): 1.30 1.18 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 79825 34917 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1147.44
Current children cumulated vsize (Kb) 5160
[startup+1870.19 s]
Raw data (loadavg): 1.25 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 80414 35055 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1154.71
Current children cumulated vsize (Kb) 5160
[startup+1880.2 s]
Raw data (loadavg): 1.21 1.17 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 504 0 0 0 80900 35231 0 0 15 0 1 0 1845920294 3104768 474 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 474 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1161.33
Current children cumulated vsize (Kb) 5160
[startup+1890.2 s]
Raw data (loadavg): 1.18 1.16 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 81490 35377 0 0 15 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 478 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1168.69
Current children cumulated vsize (Kb) 5160
[startup+1900.2 s]
Raw data (loadavg): 1.15 1.15 1.10 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 81966 35550 0 0 16 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 478 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1175.18
Current children cumulated vsize (Kb) 5160
[startup+1910.2 s]
Raw data (loadavg): 1.13 1.15 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 82541 35694 0 0 15 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 478 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (Kb) 5160
[startup+1920.2 s]
Raw data (loadavg): 1.11 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 83170 35817 0 0 15 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 478 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1189.89
Current children cumulated vsize (Kb) 5160
[startup+1930.2 s]
Raw data (loadavg): 1.09 1.14 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 83658 35990 0 0 15 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18873/statm): 758 478 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1196.5
Current children cumulated vsize (Kb) 5160
[startup+1940.2 s]
Raw data (loadavg): 1.08 1.13 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 84155 36159 0 0 15 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 478 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1203.16
Current children cumulated vsize (Kb) 5160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1940.2 s]
Raw data (loadavg): 1.08 1.13 1.09 1/57 18873
Raw data (/proc/18870/stat): 18870 (vallstSAT2005PB) S 18869 18870 2660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1845920286 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/18870/statm): 532 242 485 147 0 385 0
[pid=18870] vsize: 2128
Raw data (/proc/18873/stat): 18873 (vallst) T 18870 18870 2660 0 -1 0 508 0 0 0 84155 36159 0 0 15 0 1 0 1845920294 3104768 478 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18873/statm): 758 478 413 48 0 710 0
[pid=18873] vsize: 3032
Current children cumulated CPU time (s) 1203.16
Current children cumulated vsize (Kb) 5160
Sending SIGTERM to -18870
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=18875
New process pid=18876
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=18873) exited with status: 3
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
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/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/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/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/21233/stat
open syscall for file /proc/21233/status
open syscall for file /proc/21233/cmdline
open syscall for file /proc/21233/environ
open syscall for file /proc/20037/stat
open syscall for file /proc/20037/status
open syscall for file /proc/20037/cmdline
open syscall for file /proc/20037/environ
open syscall for file /proc/20064/stat
open syscall for file /proc/20064/status
open syscall for file /proc/20064/cmdline
open syscall for file /proc/20064/environ
open syscall for file /proc/20088/stat
open syscall for file /proc/20088/status
open syscall for file /proc/20088/cmdline
open syscall for file /proc/20088/environ
open syscall for file /proc/4269/stat
open syscall for file /proc/4269/status
open syscall for file /proc/4269/cmdline
open syscall for file /proc/4269/environ
open syscall for file /proc/17737/stat
open syscall for file /proc/17737/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/17737/cmdline
open syscall for file /proc/17737/environ
open syscall for file /proc/17772/stat
open syscall for file /proc/17772/status
open syscall for file /proc/17772/cmdline
open syscall for file /proc/17772/environ
open syscall for file /proc/2660/stat
open syscall for file /proc/2660/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/2660/cmdline
open syscall for file /proc/2660/environ
open syscall for file /proc/2661/stat
open syscall for file /proc/2661/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/2661/cmdline
open syscall for file /proc/2661/environ
open syscall for file /proc/2670/stat
open syscall for file /proc/2670/status
open syscall for file /proc/2670/cmdline
open syscall for file /proc/2670/environ
open syscall for file /proc/18833/stat
open syscall for file /proc/18833/status
open syscall for file /proc/18833/cmdline
open syscall for file /proc/18833/environ
open syscall for file /proc/18869/stat
open syscall for file /proc/18869/status
open syscall for file /proc/18869/cmdline
open syscall for file /proc/18869/environ
open syscall for file /proc/18870/stat
open syscall for file /proc/18870/status
open syscall for file /proc/18870/cmdline
open syscall for file /proc/18870/environ
open syscall for file /proc/18875/stat
open syscall for file /proc/18875/status
open syscall for file /proc/18875/cmdline
open syscall for file /proc/18875/environ
open syscall for file /proc/18876/stat
open syscall for file /proc/18876/status
open syscall for file /proc/18876/cmdline
open syscall for file /proc/18876/environ
One traced child (pid=18875) exited with status: 0
One traced child (pid=18876) exited with status: 0
New process pid=18877
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=18877) exited with status: 0
New process pid=18878
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=18878) exited with status: 0
New process pid=18879
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=18879) exited with status: 0
New process pid=18880
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=18880) exited with status: 0
One traced child (pid=18870) 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): 1940.75
CPU time (s): 1203.29
CPU user time (s): 841.59
CPU system time (s): 361.702
CPU usage (%): 62.0013
Max. virtual memory (cumulated for all children) (Kb): 5160
ERROR: no interpretation found !