Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb |
MD5SUM | 45da6faf70c895e4acc43dda6a83b925 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 234457 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 10757 |
Biggest coefficient in the objective function | 6873 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 13748961 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 6873 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 13748961 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1191.78 |
Number of variables | 10757 |
Total number of constraints | 10881 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 10881 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3861 |
LAUNCH ON wulflinc31 THE 2005-09-23 11:19:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7912 boxname=wulflinc31 idbench=880 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 45da6faf70c895e4acc43dda6a83b925 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air03.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air03.opb 0 IDLAUNCH: 7912 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.047 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.047 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 934952 kB Buffers: 14568 kB Cached: 66080 kB SwapCached: 0 kB Active: 42464 kB Inactive: 41136 kB HighTotal: 131008 kB HighFree: 60956 kB LowTotal: 903652 kB LowFree: 873996 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6984 kB Slab: 10492 kB Committed_AS: 63628 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 11:39:59 (client local time) WITH STATUS 0 IN 1203.11 SECONDS stats: 7912 7 1203.11 0
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 2 (#equs: 2) #decisions: 3182; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 251, #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: 13363124 (385836:>=*); #decisions: 3182; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 251, #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: 13371821 (377139:>=*); #decisions: 3182; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 251, #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: 13391723 (357237:>=*); #decisions: 3182; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 251, #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: 13400559 (348401:>=*); #decisions: 3177; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 251, #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: 13400581 (348379:>=*); #decisions: 3185; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 251, #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: 13410202 (338758:>=*); #decisions: 3181; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 251, #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: 13418248 (330712:>=*); #decisions: 3177; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 251, #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: 13418269 (330691:>=*); #decisions: 3182; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 251, #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: 13418270 (330690:>=*); #decisions: 3182; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 251, #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: 13427891 (321069:>=*); #decisions: 3178; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 251, #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: 13431668 (317292:>=*); #decisions: 3181; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 251, #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: 13432593 (316367:>=*); #decisions: 3181; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 251, #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: 13441290 (307670:>=*); #decisions: 3182; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 251, #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: 13450126 (298834:>=*); #decisions: 3472; #end-nodes: 65; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 65 / 80 (80) #axs: 251, #non-axs: 35 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: 13452939 (296021:>=*); #decisions: 3147; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 251, #non-axs: 35 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: 13461606 (287354:>=*); #decisions: 3172; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 251, #non-axs: 39 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: 13462802 (286158:>=*); #decisions: 3184; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 80 (80) #axs: 251, #non-axs: 48 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: 13463037 (285923:>=*); #decisions: 3946; #end-nodes: 115; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 35 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13463941 (285019:>=*); #decisions: 649; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13464175 (284785:>=*); #decisions: 886; #end-nodes: 83; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 3 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13465417 (283543:>=*); #decisions: 131; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13465503 (283457:>=*); #decisions: 134; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13467601 (281359:>=*); #decisions: 135; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13467835 (281125:>=*); #decisions: 137; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13467921 (281039:>=*); #decisions: 136; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13470356 (278604:>=*); #decisions: 145; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13470495 (278465:>=*); #decisions: 139; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13479192 (269768:>=*); #decisions: 196; #end-nodes: 53; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 53 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13482954 (266006:>=*); #decisions: 178; #end-nodes: 44; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 44 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13483188 (265772:>=*); #decisions: 156; #end-nodes: 23; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 23 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13483274 (265686:>=*); #decisions: 166; #end-nodes: 29; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 29 / 80 (80) #axs: 251, #non-axs: 68 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13491941 (257019:>=*); #decisions: 14032; #end-nodes: 987; #proof improvement attempts: 0; #restarts: 12 Current batch, end-nodes: 2 / 83 (83) #axs: 251, #non-axs: 69 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: 13494293 (254667:>=*); #decisions: 2087; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 251, #non-axs: 69 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: 13494379 (254581:>=*); #decisions: 2087; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 251, #non-axs: 69 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: 13494899 (254061:>=*); #decisions: 2087; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 251, #non-axs: 69 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: 13495133 (253827:>=*); #decisions: 2091; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 251, #non-axs: 69 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: 13495224 (253736:>=*); #decisions: 2095; #end-nodes: 16; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 16 / 80 (80) #axs: 251, #non-axs: 69 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: 13495387 (253573:>=*); #decisions: 2090; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 251, #non-axs: 69 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: 13495473 (253487:>=*); #decisions: 2093; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 251, #non-axs: 69 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: 13495733 (253227:>=*); #decisions: 2095; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 80 (80) #axs: 251, #non-axs: 69 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: 13496227 (252733:>=*); #decisions: 2107; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 251, #non-axs: 69 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: 13499476 (249484:>=*); #decisions: 2100; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 251, #non-axs: 69 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: 13500400 (248560:>=*); #decisions: 2093; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 251, #non-axs: 69 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: 13509097 (239863:>=*); #decisions: 27202; #end-nodes: 1692; #proof improvement attempts: 0; #restarts: 20 Current batch, end-nodes: 3 / 85 (85) #axs: 251, #non-axs: 65 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: 13513344 (235616:>=*); #decisions: 25703; #end-nodes: 1681; #proof improvement attempts: 0; #restarts: 19 Current batch, end-nodes: 67 / 94 (84) #axs: 251, #non-axs: 61 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: 13516260 (232700:>=*); #decisions: 20257; #end-nodes: 1512; #proof improvement attempts: 0; #restarts: 17 Current batch, end-nodes: 59 / 84 (84) #axs: 251, #non-axs: 62 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: 13520601 (228359:>=*); #decisions: 34033; #end-nodes: 3129; #proof improvement attempts: 0; #restarts: 28 Current batch, end-nodes: 19 / 87 (87) #axs: 251, #non-axs: 64 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: 13524368 (224592:>=*); #decisions: 2766; #end-nodes: 37; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 37 / 80 (80) #axs: 251, #non-axs: 64 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: 13524603 Interupt; Current theory and settings are copied here: /tmp/vallst_sh_out_theory.vnf /tmp/vallst_sh_changing_setting.options (224357:>=*); #decisions: 51706; #end-nodes: 3994; #proof improvement attempts: 0; #restarts: 46 Current batch, end-nodes: 18 / 91 (91) #axs: 251, #non-axs: 66 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: 13525865 (223095:>=*); #decisions: 678; #end-nodes: 65; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 65 / 80 (80) #axs: 251, #non-axs: 66 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: 13530128 (218832:>=*); #decisions: 90412; #end-nodes: 8131; #proof improvement attempts: 0; #restarts: 84 Current batch, end-nodes: 9 / 101 (101) #axs: 251, #non-axs: 141 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: 13530738 (218222:>=*); #decisions: 2471; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 251, #non-axs: 141 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: 13539435 (209525:>=*); #decisions: 2466; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 251, #non-axs: 141 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: 13539967 (208993:>=*); #decisions: 2491; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 80 (80) #axs: 251, #non-axs: 141 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: 13540269 (208691:>=*); #decisions: 2506; #end-nodes: 39; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 39 / 80 (80) #axs: 251, #non-axs: 141 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: 13540463 (208497:>=*); #decisions: 548290; #end-nodes: 136553; #proof improvement attempts: 0; #restarts: 605 Current batch, end-nodes: 69 / 231 (231) #axs: 251, #non-axs: 562 tight: meta-meta: start: 5, end: 7; meta: start: 9, end (keep): 15 loose: meta-meta: start: 9, end: 14; meta: start: 24, end (keep): 38 Model found with constant: 13551645 (197315:>=*); Interupt request received. #decisions: 285589; #end-nodes: 52872; #proof improvement attempts: 0; #restarts: 332 Current batch, end-nodes: 144 / 163 (163) #axs: 251, #non-axs: 835 tight: meta-meta: start: 4, end: 5; meta: start: 8, end (keep): 13 loose: meta-meta: start: 9, end: 14; meta: start: 24, end (keep): 38 Model found with constant: (pushed:) 13551645 (197315:>=*) 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: 10576 (#equs: 2) Time taken: 20 min, 2 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) R 5381 5382 4005 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 19732545 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5382/statm): 174 3 169 147 0 27 0 [pid=5382] 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=5383 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=5383) exited with status: 0 New process pid=5384 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=5384) exited with status: 0 New process pid=5385 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/wulflinc31/normalized-mps-v2-13-7-air03.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0024 s] Raw data (loadavg): 0.77 0.90 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 1341 0 0 0 969 13 0 0 25 0 1 0 19732551 7528448 1221 4294967295 134512640 134702520 3221223952 3221223216 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 1838 1221 413 48 0 1790 0 [pid=5385] vsize: 7352 Current children cumulated CPU time (s) 9.84 Current children cumulated vsize (Kb) 9480 [startup+20.0044 s] Raw data (loadavg): 0.81 0.90 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 1376 0 0 0 1943 22 0 0 25 0 1 0 19732551 14815232 1256 4294967295 134512640 134702520 3221223952 3221223352 134607291 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3617 1256 413 48 0 3569 0 [pid=5385] vsize: 14468 Current children cumulated CPU time (s) 19.67 Current children cumulated vsize (Kb) 16596 [startup+30.0053 s] Raw data (loadavg): 0.83 0.91 0.96 1/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 1382 0 0 0 2836 59 0 0 20 0 1 0 19732551 14815232 1262 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3617 1262 413 48 0 3569 0 [pid=5385] vsize: 14468 Current children cumulated CPU time (s) 28.97 Current children cumulated vsize (Kb) 16596 [startup+40.0062 s] Raw data (loadavg): 0.86 0.91 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 1448 0 0 0 3706 106 0 0 22 0 1 0 19732551 14815232 1328 4294967295 134512640 134702520 3221223952 3221223536 134558746 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3617 1328 413 48 0 3569 0 [pid=5385] vsize: 14468 Current children cumulated CPU time (s) 38.14 Current children cumulated vsize (Kb) 16596 [startup+50.0071 s] Raw data (loadavg): 0.88 0.91 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 2058 0 0 0 4619 137 0 0 25 0 1 0 19732551 14962688 1938 4294967295 134512640 134702520 3221223952 3221222120 1074336470 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3653 1938 413 48 0 3605 0 [pid=5385] vsize: 14612 Current children cumulated CPU time (s) 47.58 Current children cumulated vsize (Kb) 16740 [startup+60.0071 s] Raw data (loadavg): 0.90 0.91 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 2058 0 0 0 5511 174 0 0 25 0 1 0 19732551 14962688 1938 4294967295 134512640 134702520 3221223952 3221223232 134552268 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3653 1938 413 48 0 3605 0 [pid=5385] vsize: 14612 Current children cumulated CPU time (s) 56.87 Current children cumulated vsize (Kb) 16740 [startup+70.009 s] Raw data (loadavg): 0.91 0.92 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 2228 0 0 0 6433 200 0 0 25 0 1 0 19732551 14962688 2108 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3653 2108 413 48 0 3605 0 [pid=5385] vsize: 14612 Current children cumulated CPU time (s) 66.35 Current children cumulated vsize (Kb) 16740 [startup+80.0099 s] Raw data (loadavg): 0.93 0.92 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 2260 0 0 0 7350 228 0 0 25 0 1 0 19732551 15003648 2140 4294967295 134512640 134702520 3221223952 3221223344 134605970 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 2140 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 75.8 Current children cumulated vsize (Kb) 16780 [startup+90.0108 s] Raw data (loadavg): 0.94 0.92 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 2303 0 0 0 8280 251 0 0 25 0 1 0 19732551 15003648 2183 4294967295 134512640 134702520 3221223952 3221223352 134607291 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 2183 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 85.33 Current children cumulated vsize (Kb) 16780 [startup+100.012 s] Raw data (loadavg): 0.95 0.92 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 2906 0 0 0 9203 278 0 0 25 0 1 0 19732551 15003648 2786 4294967295 134512640 134702520 3221223952 3221222976 134550404 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 2786 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 94.83 Current children cumulated vsize (Kb) 16780 [startup+110.013 s] Raw data (loadavg): 0.95 0.92 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3033 0 0 0 10124 302 0 0 25 0 1 0 19732551 15003648 2913 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3663 2913 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 104.28 Current children cumulated vsize (Kb) 16780 [startup+120.015 s] Raw data (loadavg): 0.96 0.93 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3033 0 0 0 11057 325 0 0 25 0 1 0 19732551 15003648 2913 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 2913 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 113.84 Current children cumulated vsize (Kb) 16780 [startup+130.016 s] Raw data (loadavg): 0.97 0.93 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 11981 352 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 123.35 Current children cumulated vsize (Kb) 16780 [startup+140.016 s] Raw data (loadavg): 0.97 0.93 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 12914 376 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 132.92 Current children cumulated vsize (Kb) 16780 [startup+150.017 s] Raw data (loadavg): 0.98 0.93 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 13846 398 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 142.46 Current children cumulated vsize (Kb) 16780 [startup+160.017 s] Raw data (loadavg): 0.98 0.93 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 14767 424 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 151.93 Current children cumulated vsize (Kb) 16780 [startup+170.018 s] Raw data (loadavg): 0.98 0.94 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 15695 450 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 161.47 Current children cumulated vsize (Kb) 16780 [startup+180.019 s] Raw data (loadavg): 0.98 0.94 0.96 1/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3224 0 0 0 16622 476 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 171 Current children cumulated vsize (Kb) 16780 [startup+190.021 s] Raw data (loadavg): 0.99 0.94 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 17547 502 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 180.51 Current children cumulated vsize (Kb) 16780 [startup+200.022 s] Raw data (loadavg): 0.99 0.94 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 18491 521 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 190.14 Current children cumulated vsize (Kb) 16780 [startup+210.023 s] Raw data (loadavg): 0.99 0.94 0.96 1/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3224 0 0 0 19422 545 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 199.69 Current children cumulated vsize (Kb) 16780 [startup+220.025 s] Raw data (loadavg): 0.99 0.94 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 20345 572 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 209.19 Current children cumulated vsize (Kb) 16780 [startup+230.026 s] Raw data (loadavg): 0.99 0.94 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 21263 598 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 218.63 Current children cumulated vsize (Kb) 16780 [startup+240.027 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 22192 622 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223172 134550176 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 228.16 Current children cumulated vsize (Kb) 16780 [startup+250.028 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 23127 645 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 237.74 Current children cumulated vsize (Kb) 16780 [startup+260.029 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 24054 668 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223352 134607252 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 247.24 Current children cumulated vsize (Kb) 16780 [startup+270.029 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 24983 690 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 256.75 Current children cumulated vsize (Kb) 16780 [startup+280.03 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 25915 713 0 0 21 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 266.3 Current children cumulated vsize (Kb) 16780 [startup+290.032 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 26861 732 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221222976 134554270 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 275.95 Current children cumulated vsize (Kb) 16780 [startup+300.033 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 27849 736 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221222976 134550404 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 285.87 Current children cumulated vsize (Kb) 16780 [startup+310.034 s] Raw data (loadavg): 0.99 0.95 0.96 1/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3224 0 0 0 28802 751 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 295.55 Current children cumulated vsize (Kb) 16780 [startup+320.035 s] Raw data (loadavg): 0.99 0.95 0.96 1/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3224 0 0 0 29720 781 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 305.03 Current children cumulated vsize (Kb) 16780 [startup+330.036 s] Raw data (loadavg): 0.99 0.95 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 30653 805 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221222976 134553489 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 314.6 Current children cumulated vsize (Kb) 16780 [startup+340.037 s] Raw data (loadavg): 0.99 0.96 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 31584 828 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 324.14 Current children cumulated vsize (Kb) 16780 [startup+350.038 s] Raw data (loadavg): 0.99 0.96 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 32534 846 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223172 134550217 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 333.82 Current children cumulated vsize (Kb) 16780 [startup+360.039 s] Raw data (loadavg): 0.99 0.96 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 33508 855 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 343.65 Current children cumulated vsize (Kb) 16780 [startup+370.041 s] Raw data (loadavg): 0.99 0.96 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 34485 863 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223172 134550184 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 353.5 Current children cumulated vsize (Kb) 16780 [startup+380.042 s] Raw data (loadavg): 0.99 0.96 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 35430 882 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 363.14 Current children cumulated vsize (Kb) 16780 [startup+390.043 s] Raw data (loadavg): 0.99 0.96 0.96 1/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3224 0 0 0 36370 903 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 372.75 Current children cumulated vsize (Kb) 16780 [startup+400.043 s] Raw data (loadavg): 0.99 0.96 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 37326 918 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 382.46 Current children cumulated vsize (Kb) 16780 [startup+410.044 s] Raw data (loadavg): 0.99 0.96 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 38314 922 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 392.38 Current children cumulated vsize (Kb) 16780 [startup+420.045 s] Raw data (loadavg): 0.99 0.96 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 39250 947 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552345 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 401.99 Current children cumulated vsize (Kb) 16780 [startup+430.047 s] Raw data (loadavg): 0.99 0.96 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 40185 970 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 411.57 Current children cumulated vsize (Kb) 16780 [startup+440.048 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 41105 998 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223352 134607237 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 421.05 Current children cumulated vsize (Kb) 16780 [startup+450.049 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 42046 1020 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 430.68 Current children cumulated vsize (Kb) 16780 [startup+460.05 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 43016 1030 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 440.48 Current children cumulated vsize (Kb) 16780 [startup+470.052 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 43980 1041 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0 [pid=5385] vsize: 14652 Current children cumulated CPU time (s) 450.23 Current children cumulated vsize (Kb) 16780 [startup+480.053 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3225 0 0 0 44945 1054 0 0 25 0 1 0 19732551 15110144 3105 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3689 3105 413 48 0 3641 0 [pid=5385] vsize: 14756 Current children cumulated CPU time (s) 460.01 Current children cumulated vsize (Kb) 16884 [startup+490.055 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3233 0 0 0 45920 1064 0 0 25 0 1 0 19732551 15110144 3113 4294967295 134512640 134702520 3221223952 3221223072 134578964 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3689 3113 413 48 0 3641 0 [pid=5385] vsize: 14756 Current children cumulated CPU time (s) 469.86 Current children cumulated vsize (Kb) 16884 [startup+500.056 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3236 0 0 0 46886 1074 0 0 25 0 1 0 19732551 15110144 3116 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3689 3116 413 48 0 3641 0 [pid=5385] vsize: 14756 Current children cumulated CPU time (s) 479.62 Current children cumulated vsize (Kb) 16884 [startup+510.057 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3239 0 0 0 47869 1080 0 0 25 0 1 0 19732551 15110144 3119 4294967295 134512640 134702520 3221223952 3221222976 134550642 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3689 3119 413 48 0 3641 0 [pid=5385] vsize: 14756 Current children cumulated CPU time (s) 489.51 Current children cumulated vsize (Kb) 16884 [startup+520.058 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3239 0 0 0 48842 1090 0 0 25 0 1 0 19732551 15110144 3119 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3689 3119 413 48 0 3641 0 [pid=5385] vsize: 14756 Current children cumulated CPU time (s) 499.34 Current children cumulated vsize (Kb) 16884 [startup+530.058 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3241 0 0 0 49802 1104 0 0 25 0 1 0 19732551 15110144 3121 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3689 3121 413 48 0 3641 0 [pid=5385] vsize: 14756 Current children cumulated CPU time (s) 509.08 Current children cumulated vsize (Kb) 16884 [startup+540.06 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3247 0 0 0 50765 1117 0 0 25 0 1 0 19732551 15110144 3127 4294967295 134512640 134702520 3221223952 3221222976 134553118 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3689 3127 413 48 0 3641 0 [pid=5385] vsize: 14756 Current children cumulated CPU time (s) 518.84 Current children cumulated vsize (Kb) 16884 [startup+550.062 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3248 0 0 0 51733 1129 0 0 25 0 1 0 19732551 15110144 3128 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3689 3128 413 48 0 3641 0 [pid=5385] vsize: 14756 Current children cumulated CPU time (s) 528.64 Current children cumulated vsize (Kb) 16884 [startup+560.063 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3253 0 0 0 52708 1138 0 0 25 0 1 0 19732551 15237120 3133 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3720 3133 413 48 0 3672 0 [pid=5385] vsize: 14880 Current children cumulated CPU time (s) 538.48 Current children cumulated vsize (Kb) 17008 [startup+570.065 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3255 0 0 0 53669 1151 0 0 25 0 1 0 19732551 15237120 3135 4294967295 134512640 134702520 3221223952 3221223232 134552871 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3720 3135 413 48 0 3672 0 [pid=5385] vsize: 14880 Current children cumulated CPU time (s) 548.22 Current children cumulated vsize (Kb) 17008 [startup+580.066 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3265 0 0 0 54639 1160 0 0 25 0 1 0 19732551 15237120 3145 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3720 3145 413 48 0 3672 0 [pid=5385] vsize: 14880 Current children cumulated CPU time (s) 558.01 Current children cumulated vsize (Kb) 17008 [startup+590.067 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3273 0 0 0 55612 1170 0 0 25 0 1 0 19732551 15237120 3153 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3720 3153 413 48 0 3672 0 [pid=5385] vsize: 14880 Current children cumulated CPU time (s) 567.84 Current children cumulated vsize (Kb) 17008 [startup+600.068 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3277 0 0 0 56579 1180 0 0 25 0 1 0 19732551 15237120 3157 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3720 3157 413 48 0 3672 0 [pid=5385] vsize: 14880 Current children cumulated CPU time (s) 577.61 Current children cumulated vsize (Kb) 17008 [startup+610.069 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3281 0 0 0 57550 1191 0 0 25 0 1 0 19732551 15237120 3161 4294967295 134512640 134702520 3221223952 3221223232 134552991 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3720 3161 413 48 0 3672 0 [pid=5385] vsize: 14880 Current children cumulated CPU time (s) 587.43 Current children cumulated vsize (Kb) 17008 [startup+620.07 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3284 0 0 0 58525 1200 0 0 25 0 1 0 19732551 15380480 3164 4294967295 134512640 134702520 3221223952 3221222976 134553458 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3755 3164 413 48 0 3707 0 [pid=5385] vsize: 15020 Current children cumulated CPU time (s) 597.27 Current children cumulated vsize (Kb) 17148 [startup+630.071 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3284 0 0 0 59515 1204 0 0 25 0 1 0 19732551 15380480 3164 4294967295 134512640 134702520 3221223952 3221222976 134553333 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3755 3164 413 48 0 3707 0 [pid=5385] vsize: 15020 Current children cumulated CPU time (s) 607.21 Current children cumulated vsize (Kb) 17148 [startup+640.073 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3286 0 0 0 60482 1214 0 0 25 0 1 0 19732551 15335424 3166 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3166 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 616.98 Current children cumulated vsize (Kb) 17104 [startup+650.074 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3288 0 0 0 61448 1225 0 0 25 0 1 0 19732551 15335424 3168 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3168 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 626.75 Current children cumulated vsize (Kb) 17104 [startup+660.074 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3289 0 0 0 62414 1237 0 0 25 0 1 0 19732551 15335424 3169 4294967295 134512640 134702520 3221223952 3221222976 134552351 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3169 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 636.53 Current children cumulated vsize (Kb) 17104 [startup+670.076 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3292 0 0 0 63384 1248 0 0 25 0 1 0 19732551 15335424 3172 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3172 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 646.34 Current children cumulated vsize (Kb) 17104 [startup+680.077 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3293 0 0 0 64356 1257 0 0 25 0 1 0 19732551 15335424 3173 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3173 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 656.15 Current children cumulated vsize (Kb) 17104 [startup+690.078 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3295 0 0 0 65327 1266 0 0 25 0 1 0 19732551 15335424 3175 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3744 3175 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 665.95 Current children cumulated vsize (Kb) 17104 [startup+700.079 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3300 0 0 0 66296 1275 0 0 25 0 1 0 19732551 15335424 3180 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3180 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 675.73 Current children cumulated vsize (Kb) 17104 [startup+710.08 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3304 0 0 0 67264 1287 0 0 25 0 1 0 19732551 15335424 3184 4294967295 134512640 134702520 3221223952 3221222976 134553444 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3184 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 685.53 Current children cumulated vsize (Kb) 17104 [startup+720.081 s] Raw data (loadavg): 0.99 0.97 0.96 1/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3305 0 0 0 68235 1298 0 0 25 0 1 0 19732551 15335424 3185 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3744 3185 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 695.35 Current children cumulated vsize (Kb) 17104 [startup+730.082 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3305 0 0 0 69209 1308 0 0 25 0 1 0 19732551 15335424 3185 4294967295 134512640 134702520 3221223952 3221222976 134551048 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3185 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 705.19 Current children cumulated vsize (Kb) 17104 [startup+740.083 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3305 0 0 0 70197 1312 0 0 25 0 1 0 19732551 15335424 3185 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3185 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 715.11 Current children cumulated vsize (Kb) 17104 [startup+750.084 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3306 0 0 0 71166 1324 0 0 25 0 1 0 19732551 15335424 3186 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3186 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 724.92 Current children cumulated vsize (Kb) 17104 [startup+760.085 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3307 0 0 0 72138 1332 0 0 25 0 1 0 19732551 15335424 3187 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3187 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 734.72 Current children cumulated vsize (Kb) 17104 [startup+770.086 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3310 0 0 0 73112 1341 0 0 25 0 1 0 19732551 15335424 3190 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3190 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 744.55 Current children cumulated vsize (Kb) 17104 [startup+780.087 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3312 0 0 0 74083 1351 0 0 25 0 1 0 19732551 15335424 3192 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3192 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 754.36 Current children cumulated vsize (Kb) 17104 [startup+790.087 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3315 0 0 0 75048 1363 0 0 25 0 1 0 19732551 15335424 3195 4294967295 134512640 134702520 3221223952 3221223232 134552345 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3744 3195 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 764.13 Current children cumulated vsize (Kb) 17104 [startup+800.088 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3318 0 0 0 76020 1372 0 0 25 0 1 0 19732551 15335424 3198 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3744 3198 413 48 0 3696 0 [pid=5385] vsize: 14976 Current children cumulated CPU time (s) 773.94 Current children cumulated vsize (Kb) 17104 [startup+810.089 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3320 0 0 0 76989 1382 0 0 25 0 1 0 19732551 15441920 3200 4294967295 134512640 134702520 3221223952 3221223232 134552891 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3200 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 783.73 Current children cumulated vsize (Kb) 17208 [startup+820.091 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3323 0 0 0 77959 1394 0 0 25 0 1 0 19732551 15441920 3203 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3203 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 793.55 Current children cumulated vsize (Kb) 17208 [startup+830.092 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3324 0 0 0 78923 1406 0 0 25 0 1 0 19732551 15441920 3204 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3204 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 803.31 Current children cumulated vsize (Kb) 17208 [startup+840.092 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3326 0 0 0 79892 1416 0 0 25 0 1 0 19732551 15441920 3206 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3206 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 813.1 Current children cumulated vsize (Kb) 17208 [startup+850.094 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3329 0 0 0 80862 1427 0 0 25 0 1 0 19732551 15441920 3209 4294967295 134512640 134702520 3221223952 3221223232 134554270 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3209 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 822.91 Current children cumulated vsize (Kb) 17208 [startup+860.095 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3330 0 0 0 81832 1436 0 0 25 0 1 0 19732551 15441920 3210 4294967295 134512640 134702520 3221223952 3221223172 134550224 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3210 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 832.7 Current children cumulated vsize (Kb) 17208 [startup+870.096 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3332 0 0 0 82806 1447 0 0 25 0 1 0 19732551 15441920 3212 4294967295 134512640 134702520 3221223952 3221222976 134550642 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3212 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 842.55 Current children cumulated vsize (Kb) 17208 [startup+880.097 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3332 0 0 0 83794 1451 0 0 25 0 1 0 19732551 15441920 3212 4294967295 134512640 134702520 3221223952 3221222976 134552882 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3212 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 852.47 Current children cumulated vsize (Kb) 17208 [startup+890.098 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3334 0 0 0 84767 1461 0 0 25 0 1 0 19732551 15441920 3214 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3214 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 862.3 Current children cumulated vsize (Kb) 17208 [startup+900.099 s] Raw data (loadavg): 0.99 0.97 0.96 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3336 0 0 0 85728 1473 0 0 25 0 1 0 19732551 15441920 3216 4294967295 134512640 134702520 3221223952 3221222976 134552301 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3216 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 872.03 Current children cumulated vsize (Kb) 17208 [startup+910.1 s] Raw data (loadavg): 1.07 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3337 0 0 0 86690 1486 0 0 25 0 1 0 19732551 15441920 3217 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3217 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 881.78 Current children cumulated vsize (Kb) 17208 [startup+920.101 s] Raw data (loadavg): 1.06 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3339 0 0 0 87649 1500 0 0 25 0 1 0 19732551 15441920 3219 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3219 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 891.51 Current children cumulated vsize (Kb) 17208 [startup+930.102 s] Raw data (loadavg): 1.05 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3340 0 0 0 88591 1521 0 0 25 0 1 0 19732551 15441920 3220 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3770 3220 413 48 0 3722 0 [pid=5385] vsize: 15080 Current children cumulated CPU time (s) 901.14 Current children cumulated vsize (Kb) 17208 [startup+940.102 s] Raw data (loadavg): 1.04 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3341 0 0 0 89540 1541 0 0 25 0 1 0 19732551 15552512 3221 4294967295 134512640 134702520 3221223952 3221223344 134605875 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3221 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 910.83 Current children cumulated vsize (Kb) 17316 [startup+950.103 s] Raw data (loadavg): 1.04 0.99 0.97 1/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3341 0 0 0 90486 1560 0 0 25 0 1 0 19732551 15552512 3221 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3797 3221 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 920.48 Current children cumulated vsize (Kb) 17316 [startup+960.104 s] Raw data (loadavg): 1.03 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3343 0 0 0 91439 1576 0 0 25 0 1 0 19732551 15552512 3223 4294967295 134512640 134702520 3221223952 3221222976 134553111 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3223 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 930.17 Current children cumulated vsize (Kb) 17316 [startup+970.106 s] Raw data (loadavg): 1.03 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3343 0 0 0 92375 1599 0 0 25 0 1 0 19732551 15552512 3223 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3223 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 939.76 Current children cumulated vsize (Kb) 17316 [startup+980.107 s] Raw data (loadavg): 1.02 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3345 0 0 0 93338 1611 0 0 25 0 1 0 19732551 15552512 3225 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3225 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 949.51 Current children cumulated vsize (Kb) 17316 [startup+990.108 s] Raw data (loadavg): 1.02 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3345 0 0 0 94298 1626 0 0 25 0 1 0 19732551 15552512 3225 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3797 3225 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 959.26 Current children cumulated vsize (Kb) 17316 [startup+1000.11 s] Raw data (loadavg): 1.01 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3345 0 0 0 95289 1630 0 0 25 0 1 0 19732551 15552512 3225 4294967295 134512640 134702520 3221223952 3221222976 134552492 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3225 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 969.21 Current children cumulated vsize (Kb) 17316 [startup+1010.11 s] Raw data (loadavg): 1.01 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3346 0 0 0 96238 1647 0 0 25 0 1 0 19732551 15552512 3226 4294967295 134512640 134702520 3221223952 3221223352 134607261 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3226 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 978.87 Current children cumulated vsize (Kb) 17316 [startup+1020.11 s] Raw data (loadavg): 1.01 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3346 0 0 0 97174 1669 0 0 25 0 1 0 19732551 15552512 3226 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3797 3226 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 988.45 Current children cumulated vsize (Kb) 17316 [startup+1030.11 s] Raw data (loadavg): 1.01 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3348 0 0 0 98115 1687 0 0 25 0 1 0 19732551 15552512 3228 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3228 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 998.04 Current children cumulated vsize (Kb) 17316 [startup+1040.11 s] Raw data (loadavg): 1.01 0.99 0.97 1/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3349 0 0 0 99076 1703 0 0 25 0 1 0 19732551 15552512 3229 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3797 3229 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1007.81 Current children cumulated vsize (Kb) 17316 [startup+1050.11 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3353 0 0 0 100019 1723 0 0 25 0 1 0 19732551 15552512 3233 4294967295 134512640 134702520 3221223952 3221222976 134552345 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3233 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1017.44 Current children cumulated vsize (Kb) 17316 [startup+1060.11 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3354 0 0 0 100974 1739 0 0 25 0 1 0 19732551 15552512 3234 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3234 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1027.15 Current children cumulated vsize (Kb) 17316 [startup+1070.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3356 0 0 0 101929 1756 0 0 25 0 1 0 19732551 15552512 3236 4294967295 134512640 134702520 3221223952 3221223352 134607291 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3236 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1036.87 Current children cumulated vsize (Kb) 17316 [startup+1080.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3358 0 0 0 102891 1768 0 0 25 0 1 0 19732551 15552512 3238 4294967295 134512640 134702520 3221223952 3221222976 134553095 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3238 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1046.61 Current children cumulated vsize (Kb) 17316 [startup+1090.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3358 0 0 0 103880 1773 0 0 25 0 1 0 19732551 15552512 3238 4294967295 134512640 134702520 3221223952 3221222976 134553093 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3238 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1056.55 Current children cumulated vsize (Kb) 17316 [startup+1100.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3358 0 0 0 104847 1783 0 0 25 0 1 0 19732551 15552512 3238 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3238 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1066.32 Current children cumulated vsize (Kb) 17316 [startup+1110.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3361 0 0 0 105799 1799 0 0 25 0 1 0 19732551 15552512 3241 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3241 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1076 Current children cumulated vsize (Kb) 17316 [startup+1120.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3362 0 0 0 106738 1820 0 0 25 0 1 0 19732551 15552512 3242 4294967295 134512640 134702520 3221223952 3221222976 134553125 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3242 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1085.6 Current children cumulated vsize (Kb) 17316 [startup+1130.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3362 0 0 0 107688 1837 0 0 25 0 1 0 19732551 15552512 3242 4294967295 134512640 134702520 3221223952 3221223344 134604468 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3242 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1095.27 Current children cumulated vsize (Kb) 17316 [startup+1140.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3362 0 0 0 108635 1856 0 0 25 0 1 0 19732551 15552512 3242 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3242 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1104.93 Current children cumulated vsize (Kb) 17316 [startup+1150.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3362 0 0 0 109552 1886 0 0 25 0 1 0 19732551 15552512 3242 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3242 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1114.4 Current children cumulated vsize (Kb) 17316 [startup+1160.12 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3364 0 0 0 110516 1898 0 0 25 0 1 0 19732551 15552512 3244 4294967295 134512640 134702520 3221223952 3221223232 134552891 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3244 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1124.16 Current children cumulated vsize (Kb) 17316 [startup+1170.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3365 0 0 0 111482 1909 0 0 25 0 1 0 19732551 15552512 3245 4294967295 134512640 134702520 3221223952 3221223072 134584497 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3797 3245 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1133.93 Current children cumulated vsize (Kb) 17316 [startup+1180.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3366 0 0 0 112451 1922 0 0 25 0 1 0 19732551 15552512 3246 4294967295 134512640 134702520 3221223952 3221223232 134557529 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3246 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1143.75 Current children cumulated vsize (Kb) 17316 [startup+1190.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3367 0 0 0 113421 1932 0 0 25 0 1 0 19732551 15552512 3247 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3247 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1153.55 Current children cumulated vsize (Kb) 17316 [startup+1200.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3367 0 0 0 114407 1936 0 0 25 0 1 0 19732551 15552512 3247 4294967295 134512640 134702520 3221223952 3221222976 134553499 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3247 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1163.45 Current children cumulated vsize (Kb) 17316 [startup+1210.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3367 0 0 0 115369 1951 0 0 25 0 1 0 19732551 15552512 3247 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3247 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1173.22 Current children cumulated vsize (Kb) 17316 [startup+1220.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3369 0 0 0 116326 1964 0 0 25 0 1 0 19732551 15552512 3249 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3249 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1182.92 Current children cumulated vsize (Kb) 17316 [startup+1230.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3369 0 0 0 117279 1978 0 0 20 0 1 0 19732551 15552512 3249 4294967295 134512640 134702520 3221223952 3221223232 134553118 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3249 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1192.59 Current children cumulated vsize (Kb) 17316 [startup+1240.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3370 0 0 0 118243 1990 0 0 25 0 1 0 19732551 15552512 3250 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5385/statm): 3797 3250 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1202.35 Current children cumulated vsize (Kb) 17316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1240.13 s] Raw data (loadavg): 1.00 0.99 0.97 2/56 5385 Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5382/statm): 532 242 485 147 0 385 0 [pid=5382] vsize: 2128 Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3370 0 0 0 118243 1990 0 0 25 0 1 0 19732551 15552512 3250 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5385/statm): 3797 3250 413 48 0 3749 0 [pid=5385] vsize: 15188 Current children cumulated CPU time (s) 1202.35 Current children cumulated vsize (Kb) 17316 Sending SIGTERM to -5382 Sleeping 2 seconds New process pid=5387 New process pid=5388 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf 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/36/stat open syscall for file /proc/36/status open syscall for file /proc/36/cmdline open syscall for file /proc/36/environ open syscall for file /proc/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/826/stat open syscall for file /proc/826/status open syscall for file /proc/826/cmdline open syscall for file /proc/826/environ open syscall for file /proc/827/stat open syscall for file /proc/827/status open syscall for file /proc/827/cmdline open syscall for file /proc/827/environ open syscall for file /proc/1260/stat open syscall for file /proc/1260/status open syscall for file /proc/1260/cmdline open syscall for file /proc/1260/environ open syscall for file /proc/1264/stat open syscall for file /proc/1264/status open syscall for file /proc/1264/cmdline open syscall for file /proc/1264/environ open syscall for file /proc/1286/stat open syscall for file /proc/1286/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1286/cmdline open syscall for file /proc/1286/environ open syscall for file /proc/1316/stat open syscall for file /proc/1316/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1316/cmdline open syscall for file /proc/1316/environ open syscall for file /proc/1360/stat open syscall for file /proc/1360/status open syscall for file /proc/1360/cmdline open syscall for file /proc/1360/environ open syscall for file /proc/1388/stat open syscall for file /proc/1388/status open syscall for file /proc/1388/cmdline open syscall for file /proc/1388/environ open syscall for file /proc/1452/stat open syscall for file /proc/1452/status open syscall for file /proc/1452/cmdline open syscall for file /proc/1452/environ open syscall for file /proc/1479/stat open syscall for file /proc/1479/status open syscall for file /proc/1479/cmdline open syscall for file /proc/1479/environ open syscall for file /proc/1504/stat open syscall for file /proc/1504/status open syscall for file /proc/1504/cmdline open syscall for file /proc/1504/environ open syscall for file /proc/1545/stat open syscall for file /proc/1545/status open syscall for file /proc/1545/cmdline open syscall for file /proc/1545/environ open syscall for file /proc/1569/stat open syscall for file /proc/1569/status open syscall for file /proc/1569/cmdline open syscall for file /proc/1569/environ open syscall for file /proc/1592/stat open syscall for file /proc/1592/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1592/cmdline open syscall for file /proc/1592/environ open syscall for file /proc/1623/stat open syscall for file /proc/1623/status open syscall for file /proc/1623/cmdline open syscall for file /proc/1623/environ open syscall for file /proc/1681/stat open syscall for file /proc/1681/status open syscall for file /proc/1681/cmdline open syscall for file /proc/1681/environ open syscall for file /proc/1686/stat open syscall for file /proc/1686/status open syscall for file /proc/1686/cmdline open syscall for file /proc/1686/environ open syscall for file /proc/1687/stat open syscall for file /proc/1687/status open syscall for file /proc/1687/cmdline open syscall for file /proc/1687/environ open syscall for file /proc/1688/stat open syscall for file /proc/1688/status open syscall for file /proc/1688/cmdline open syscall for file /proc/1688/environ open syscall for file /proc/1689/stat open syscall for file /proc/1689/status open syscall for file /proc/1689/cmdline open syscall for file /proc/1689/environ open syscall for file /proc/1690/stat open syscall for file /proc/1690/status open syscall for file /proc/1690/cmdline open syscall for file /proc/1690/environ open syscall for file /proc/1691/stat open syscall for file /proc/1691/status open syscall for file /proc/1691/cmdline open syscall for file /proc/1691/environ open syscall for file /proc/1692/stat open syscall for file /proc/1692/status open syscall for file /proc/1692/cmdline open syscall for file /proc/1692/environ open syscall for file /proc/3987/stat open syscall for file /proc/3987/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/3987/cmdline open syscall for file /proc/3987/environ open syscall for file /proc/4013/stat open syscall for file /proc/4013/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/4013/cmdline open syscall for file /proc/4013/environ open syscall for file /proc/5343/stat open syscall for file /proc/5343/status open syscall for file /proc/5343/cmdline open syscall for file /proc/5343/environ open syscall for file /proc/5381/stat open syscall for file /proc/5381/status open syscall for file /proc/5381/cmdline open syscall for file /proc/5381/environ open syscall for file /proc/5382/stat open syscall for file /proc/5382/status open syscall for file /proc/5382/cmdline open syscall for file /proc/5382/environ open syscall for file /proc/5385/stat open syscall for file /proc/5385/status open syscall for file /proc/5385/cmdline open syscall for file /proc/5385/environ open syscall for file /proc/5387/stat open syscall for file /proc/5387/status open syscall for file /proc/5387/cmdline open syscall for file /proc/5387/environ open syscall for file /proc/5388/stat open syscall for file /proc/5388/status open syscall for file /proc/5388/cmdline open syscall for file /proc/5388/environ One traced child (pid=5387) exited with status: 0 One traced child (pid=5388) exited with status: 0 New process pid=5389 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=5389) exited with status: 0 New process pid=5390 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 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=5385) exited with status: 3 One traced child (pid=5390) exited with status: 0 New process pid=5391 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=5391) exited with status: 0 New process pid=5392 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=5392) exited with status: 0 One traced child (pid=5382) 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): 1240.77 CPU time (s): 1203.11 CPU user time (s): 1183 CPU system time (s): 20.1119 CPU usage (%): 96.9644 Max. virtual memory (cumulated for all children) (Kb): 17316
ERROR: no interpretation found !