Name | mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb |
MD5SUM | 69337cf8d2b6f6cf8cc02fedc291ffcc |
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.31 |
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 wulflinc14 THE 2005-09-23 12:20:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8030 boxname=wulflinc14 idbench=998 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 69337cf8d2b6f6cf8cc02fedc291ffcc /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-air03.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-air03.opb 0 IDLAUNCH: 8030 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.058 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.058 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 997952 kB Buffers: 452 kB Cached: 18792 kB SwapCached: 0 kB Active: 17804 kB Inactive: 4372 kB HighTotal: 131008 kB HighFree: 107884 kB LowTotal: 903652 kB LowFree: 890068 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6984 kB Slab: 8756 kB Committed_AS: 63644 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 12:41:19 (client local time) WITH STATUS 0 IN 1206.15 SECONDS stats: 8030 7 1206.15 0
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 2 (#equs: 2) #decisions: 3160; #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: 13412418 (336542:>=*); #decisions: 3161; #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: 13422040 (326920:>=*); #decisions: 3161; #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: 13425195 (323765:>=*); #decisions: 3160; #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: 13425216 (323744:>=*); #decisions: 3163; #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: 13426141 (322819:>=*); #decisions: 3162; #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: 13434838 (314122:>=*); #decisions: 3165; #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: 13443670 (305290:>=*); #decisions: 3166; #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: 13444616 (304344:>=*); #decisions: 3163; #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: 13453313 (295647:>=*); #decisions: 3167; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 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: 13453452 (295508:>=*); #decisions: 3165; #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: 13462149 (286811:>=*); #decisions: 3175; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 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: 13478249 (270711:>=*); #decisions: 3158; #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: 13486946 (262014:>=*); #decisions: 3162; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 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: 13487201 (261759:>=*); #decisions: 3173; #end-nodes: 20; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 20 / 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: 13487338 (261622:>=*); #decisions: 3174; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 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: 13487525 (261435:>=*); #decisions: 3172; #end-nodes: 23; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 23 / 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: 13487919 (261041:>=*); #decisions: 3203; #end-nodes: 53; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 53 / 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: 13487972 (260988:>=*); #decisions: 3173; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 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: 13487998 (260962:>=*); #decisions: 3169; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 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: 13488232 (260728:>=*); #decisions: 3175; #end-nodes: 20; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 20 / 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: 13488726 (260234:>=*); #decisions: 5413; #end-nodes: 258; #proof improvement attempts: 0; #restarts: 2 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: 13490763 (258197:>=*); #decisions: 193; #end-nodes: 68; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 68 / 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: 13492674 (256286:>=*); #decisions: 158; #end-nodes: 38; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 38 / 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: 13492909 (256051:>=*); #decisions: 15054; #end-nodes: 1260; #proof improvement attempts: 0; #restarts: 15 Current batch, end-nodes: 12 / 89 (83) #axs: 251, #non-axs: 14 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: 13500225 (248735:>=*); #decisions: 172; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 251, #non-axs: 14 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: 13500460 (248500:>=*); #decisions: 358; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 83 (80) #axs: 251, #non-axs: 14 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: 13504442 (244518:>=*); #decisions: 183; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 251, #non-axs: 14 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: 13504676 (244284:>=*); #decisions: 360; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 83 (80) #axs: 251, #non-axs: 14 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: 13504936 (244024:>=*); #decisions: 181; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 251, #non-axs: 14 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: 13505170 (243790:>=*); #decisions: 370; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 83 (80) #axs: 251, #non-axs: 14 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: 13505317 (243643:>=*); #decisions: 389; #end-nodes: 33; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 33 / 83 (80) #axs: 251, #non-axs: 14 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: 13512656 (236304:>=*); #decisions: 38923; #end-nodes: 2338; #proof improvement attempts: 0; #restarts: 27 Current batch, end-nodes: 44 / 86 (86) #axs: 251, #non-axs: 16 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 13513206 (235754:>=*); #decisions: 4220; #end-nodes: 449; #proof improvement attempts: 0; #restarts: 4 Current batch, end-nodes: 32 / 81 (81) #axs: 251, #non-axs: 26 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: 13513796 (235164:>=*); #decisions: 2708; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 251, #non-axs: 26 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: 13522463 (226497:>=*); #decisions: 2744; #end-nodes: 31; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 31 / 80 (80) #axs: 251, #non-axs: 26 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: 13522467 (226493:>=*); #decisions: 2687; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 251, #non-axs: 26 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: 13522963 (225997:>=*); #decisions: 2697; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 251, #non-axs: 26 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: 13523694 (225266:>=*); #decisions: 31673; #end-nodes: 1749; #proof improvement attempts: 0; #restarts: 21 Current batch, end-nodes: 10 / 85 (85) #axs: 251, #non-axs: 51 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: 13525981 (222979:>=*); #decisions: 356; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 251, #non-axs: 51 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: 13527865 (221095:>=*); #decisions: 360; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 80 (80) #axs: 251, #non-axs: 51 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: 13528192 (220768:>=*); #decisions: 397; #end-nodes: 61; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 61 / 80 (80) #axs: 251, #non-axs: 51 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: 13528335 (220625:>=*); #decisions: 25883; #end-nodes: 2089; #proof improvement attempts: 0; #restarts: 24 Current batch, end-nodes: 79 / 86 (86) #axs: 251, #non-axs: 52 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: 13530114 (218846:>=*); #decisions: 337; #end-nodes: 36; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 36 / 80 (80) #axs: 251, #non-axs: 52 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: 13530120 (218840:>=*); #decisions: 363; #end-nodes: 61; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 61 / 80 (80) #axs: 251, #non-axs: 52 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: 13530177 (218783:>=*); #decisions: 339; #end-nodes: 38; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 38 / 80 (80) #axs: 251, #non-axs: 52 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: 13530314 (218646:>=*); #decisions: 36766; #end-nodes: 3768; #proof improvement attempts: 0; #restarts: 43 Current batch, end-nodes: 10 / 90 (90) #axs: 251, #non-axs: 52 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: 13539332 (209628:>=*); #decisions: 125; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 251, #non-axs: 52 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: 13539493 (209467:>=*); #decisions: 117; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 251, #non-axs: 52 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: 13539592 (2 Interupt; Current theory and settings are copied here: /tmp/vallst_sh_out_theory.vnf /tmp/vallst_sh_changing_setting.options 09368:>=*); #decisions: 117; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 251, #non-axs: 52 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: 13539678 (209282:>=*); #decisions: 124; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 251, #non-axs: 52 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: 13539744 (209216:>=*); #decisions: 124; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 251, #non-axs: 52 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: 13539843 (209117:>=*); #decisions: 116; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 251, #non-axs: 52 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: 13539929 (209031:>=*); #decisions: 489291; #end-nodes: 113780; #proof improvement attempts: 0; #restarts: 528 Current batch, end-nodes: 3 / 212 (212) #axs: 251, #non-axs: 791 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 20 loose: meta-meta: start: 9, end: 14; meta: start: 25, end (keep): 39 Model found with constant: 13541448 (207512:>=*); #decisions: 336; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 251, #non-axs: 791 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 20 loose: meta-meta: start: 9, end: 14; meta: start: 25, end (keep): 39 Model found with constant: 13541683 (207277:>=*); #decisions: 338; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 251, #non-axs: 791 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 20 loose: meta-meta: start: 9, end: 14; meta: start: 25, end (keep): 39 Model found with constant: 13541687 (207273:>=*); Interupt request received. #decisions: 377515; #end-nodes: 81793; #proof improvement attempts: 0; #restarts: 453 Current batch, end-nodes: 58 / 193 (193) #axs: 251, #non-axs: 1197 tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 12 loose: meta-meta: start: 8, end: 12; meta: start: 20, end (keep): 32 Model found with constant: (pushed:) 13541687 (207273:>=*) 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: 10566 (#equs: 2) Time taken: 20 min, 5 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/5801/stat): 5801 (vallstSAT2005PB) R 5800 5801 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20141263 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/5801/statm): 174 3 169 147 0 27 0 [pid=5801] 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=5802 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=5802) exited with status: 0 New process pid=5803 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=5803) exited with status: 0 New process pid=5804 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/wulflinc14/normalized-mps-v2-13-7-air03.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0038 s] Raw data (loadavg): 0.88 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 1341 0 0 0 968 11 0 0 25 0 1 0 20141271 7528448 1221 4294967295 134512640 134702520 3221223952 3221223216 134550393 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 1838 1221 413 48 0 1790 0 [pid=5804] vsize: 7352 Current children cumulated CPU time (s) 9.81 Current children cumulated vsize (Kb) 9480 [startup+20.0045 s] Raw data (loadavg): 0.89 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 1376 0 0 0 1943 20 0 0 25 0 1 0 20141271 14815232 1256 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3617 1256 413 48 0 3569 0 [pid=5804] vsize: 14468 Current children cumulated CPU time (s) 19.65 Current children cumulated vsize (Kb) 16596 [startup+30.0051 s] Raw data (loadavg): 0.91 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 1389 0 0 0 2844 53 0 0 25 0 1 0 20141271 14815232 1269 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3617 1269 413 48 0 3569 0 [pid=5804] vsize: 14468 Current children cumulated CPU time (s) 28.99 Current children cumulated vsize (Kb) 16596 [startup+40.0058 s] Raw data (loadavg): 0.92 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 1418 0 0 0 3750 88 0 0 25 0 1 0 20141271 14815232 1298 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3617 1298 413 48 0 3569 0 [pid=5804] vsize: 14468 Current children cumulated CPU time (s) 38.4 Current children cumulated vsize (Kb) 16596 [startup+50.0065 s] Raw data (loadavg): 0.93 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 1531 0 0 0 4657 122 0 0 25 0 1 0 20141271 14815232 1411 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3617 1411 413 48 0 3569 0 [pid=5804] vsize: 14468 Current children cumulated CPU time (s) 47.81 Current children cumulated vsize (Kb) 16596 [startup+60.0072 s] Raw data (loadavg): 0.94 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 2003 0 0 0 5580 150 0 0 25 0 1 0 20141271 14815232 1883 4294967295 134512640 134702520 3221223952 3221222100 1074493944 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3617 1883 413 48 0 3569 0 [pid=5804] vsize: 14468 Current children cumulated CPU time (s) 57.32 Current children cumulated vsize (Kb) 16596 [startup+70.0089 s] Raw data (loadavg): 0.95 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 2296 0 0 0 6496 179 0 0 23 0 1 0 20141271 15015936 2176 4294967295 134512640 134702520 3221223952 3221223232 134550611 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3666 2176 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 66.77 Current children cumulated vsize (Kb) 16792 [startup+80.0095 s] Raw data (loadavg): 0.96 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 2296 0 0 0 7416 206 0 0 25 0 1 0 20141271 15015936 2176 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 2176 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 76.24 Current children cumulated vsize (Kb) 16792 [startup+90.0102 s] Raw data (loadavg): 0.97 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 2420 0 0 0 8330 237 0 0 25 0 1 0 20141271 15015936 2300 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 2300 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 85.69 Current children cumulated vsize (Kb) 16792 [startup+100.011 s] Raw data (loadavg): 0.97 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3088 0 0 0 9242 268 0 0 25 0 1 0 20141271 15015936 2968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 2968 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 95.12 Current children cumulated vsize (Kb) 16792 [startup+110.013 s] Raw data (loadavg): 0.97 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3088 0 0 0 10168 294 0 0 25 0 1 0 20141271 15015936 2968 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3666 2968 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 104.64 Current children cumulated vsize (Kb) 16792 [startup+120.013 s] Raw data (loadavg): 0.98 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3088 0 0 0 11100 318 0 0 25 0 1 0 20141271 15015936 2968 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 2968 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 114.2 Current children cumulated vsize (Kb) 16792 [startup+130.014 s] Raw data (loadavg): 0.98 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3088 0 0 0 12036 341 0 0 25 0 1 0 20141271 15015936 2968 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3666 2968 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 123.79 Current children cumulated vsize (Kb) 16792 [startup+140.016 s] Raw data (loadavg): 0.98 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3169 0 0 0 12973 363 0 0 19 0 1 0 20141271 15015936 3049 4294967295 134512640 134702520 3221223952 3221223344 134605942 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3666 3049 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 133.38 Current children cumulated vsize (Kb) 16792 [startup+150.016 s] Raw data (loadavg): 0.98 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3182 0 0 0 13913 382 0 0 25 0 1 0 20141271 15015936 3062 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3062 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 142.97 Current children cumulated vsize (Kb) 16792 [startup+160.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3190 0 0 0 14848 405 0 0 25 0 1 0 20141271 15015936 3070 4294967295 134512640 134702520 3221223952 3221222976 134552864 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3070 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 152.55 Current children cumulated vsize (Kb) 16792 [startup+170.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3190 0 0 0 15786 427 0 0 25 0 1 0 20141271 15015936 3070 4294967295 134512640 134702520 3221223952 3221222976 134551065 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3070 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (Kb) 16792 [startup+180.018 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3190 0 0 0 16699 455 0 0 25 0 1 0 20141271 15015936 3070 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3070 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 171.56 Current children cumulated vsize (Kb) 16792 [startup+190.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3190 0 0 0 17632 477 0 0 25 0 1 0 20141271 15015936 3070 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3666 3070 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 181.11 Current children cumulated vsize (Kb) 16792 [startup+200.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3202 0 0 0 18566 499 0 0 25 0 1 0 20141271 15015936 3082 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3666 3082 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 190.67 Current children cumulated vsize (Kb) 16792 [startup+210.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 19519 514 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 200.35 Current children cumulated vsize (Kb) 16792 [startup+220.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 20471 530 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 210.03 Current children cumulated vsize (Kb) 16792 [startup+230.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 21460 534 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221222976 134553277 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 219.96 Current children cumulated vsize (Kb) 16792 [startup+240.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 22398 554 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 229.54 Current children cumulated vsize (Kb) 16792 [startup+250.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 23336 576 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 239.14 Current children cumulated vsize (Kb) 16792 [startup+260.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 24274 599 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223344 134605854 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 248.75 Current children cumulated vsize (Kb) 16792 [startup+270.025 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 25194 627 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 258.23 Current children cumulated vsize (Kb) 16792 [startup+280.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 26133 648 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 267.83 Current children cumulated vsize (Kb) 16792 [startup+290.027 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 27087 664 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 277.53 Current children cumulated vsize (Kb) 16792 [startup+300.026 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 28032 684 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 287.18 Current children cumulated vsize (Kb) 16792 [startup+310.028 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 28969 705 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 296.76 Current children cumulated vsize (Kb) 16792 [startup+320.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 29957 710 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221222976 134553100 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 306.69 Current children cumulated vsize (Kb) 16792 [startup+330.03 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 30916 722 0 0 19 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 316.4 Current children cumulated vsize (Kb) 16792 [startup+340.031 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 31857 741 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 326 Current children cumulated vsize (Kb) 16792 [startup+350.032 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 32801 762 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 335.65 Current children cumulated vsize (Kb) 16792 [startup+360.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 33746 781 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223072 134578986 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 345.29 Current children cumulated vsize (Kb) 16792 [startup+370.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 34694 798 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 354.94 Current children cumulated vsize (Kb) 16792 [startup+380.034 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 35656 812 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 364.7 Current children cumulated vsize (Kb) 16792 [startup+390.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 36616 826 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 374.44 Current children cumulated vsize (Kb) 16792 [startup+400.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 37576 839 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 384.17 Current children cumulated vsize (Kb) 16792 [startup+410.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 38553 847 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 394.02 Current children cumulated vsize (Kb) 16792 [startup+420.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 39543 851 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 403.96 Current children cumulated vsize (Kb) 16792 [startup+430.036 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3227 0 0 0 40506 864 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 413.72 Current children cumulated vsize (Kb) 16792 [startup+440.037 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3227 0 0 0 41474 874 0 0 25 0 1 0 20141271 15015936 3107 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3107 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 423.5 Current children cumulated vsize (Kb) 16792 [startup+450.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3231 0 0 0 42435 887 0 0 25 0 1 0 20141271 15015936 3111 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3666 3111 413 48 0 3618 0 [pid=5804] vsize: 14664 Current children cumulated CPU time (s) 433.24 Current children cumulated vsize (Kb) 16792 [startup+460.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3239 0 0 0 43412 896 0 0 25 0 1 0 20141271 15151104 3119 4294967295 134512640 134702520 3221223952 3221223232 134553157 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3699 3119 413 48 0 3651 0 [pid=5804] vsize: 14796 Current children cumulated CPU time (s) 443.1 Current children cumulated vsize (Kb) 16924 [startup+470.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3242 0 0 0 44381 906 0 0 25 0 1 0 20141271 15151104 3122 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3699 3122 413 48 0 3651 0 [pid=5804] vsize: 14796 Current children cumulated CPU time (s) 452.89 Current children cumulated vsize (Kb) 16924 [startup+480.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3247 0 0 0 45355 914 0 0 25 0 1 0 20141271 15151104 3127 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3699 3127 413 48 0 3651 0 [pid=5804] vsize: 14796 Current children cumulated CPU time (s) 462.71 Current children cumulated vsize (Kb) 16924 [startup+490.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3252 0 0 0 46332 922 0 0 25 0 1 0 20141271 15151104 3132 4294967295 134512640 134702520 3221223952 3221223232 134557259 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3699 3132 413 48 0 3651 0 [pid=5804] vsize: 14796 Current children cumulated CPU time (s) 472.56 Current children cumulated vsize (Kb) 16924 [startup+500.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3261 0 0 0 47292 937 0 0 25 0 1 0 20141271 15151104 3141 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3699 3141 413 48 0 3651 0 [pid=5804] vsize: 14796 Current children cumulated CPU time (s) 482.31 Current children cumulated vsize (Kb) 16924 [startup+510.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3266 0 0 0 48259 949 0 0 25 0 1 0 20141271 15151104 3146 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3699 3146 413 48 0 3651 0 [pid=5804] vsize: 14796 Current children cumulated CPU time (s) 492.1 Current children cumulated vsize (Kb) 16924 [startup+520.04 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3266 0 0 0 49244 955 0 0 25 0 1 0 20141271 15151104 3146 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3699 3146 413 48 0 3651 0 [pid=5804] vsize: 14796 Current children cumulated CPU time (s) 502.01 Current children cumulated vsize (Kb) 16924 [startup+530.041 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3266 0 0 0 50218 963 0 0 18 0 1 0 20141271 15151104 3146 4294967295 134512640 134702520 3221223952 3221223352 134607252 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3699 3146 413 48 0 3651 0 [pid=5804] vsize: 14796 Current children cumulated CPU time (s) 511.83 Current children cumulated vsize (Kb) 16924 [startup+540.042 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3270 0 0 0 51188 974 0 0 25 0 1 0 20141271 15314944 3150 4294967295 134512640 134702520 3221223952 3221222976 134550404 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3739 3150 413 48 0 3691 0 [pid=5804] vsize: 14956 Current children cumulated CPU time (s) 521.64 Current children cumulated vsize (Kb) 17084 [startup+550.042 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3272 0 0 0 52149 988 0 0 25 0 1 0 20141271 15269888 3152 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3728 3152 413 48 0 3680 0 [pid=5804] vsize: 14912 Current children cumulated CPU time (s) 531.39 Current children cumulated vsize (Kb) 17040 [startup+560.042 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3274 0 0 0 53114 1001 0 0 25 0 1 0 20141271 15269888 3154 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3728 3154 413 48 0 3680 0 [pid=5804] vsize: 14912 Current children cumulated CPU time (s) 541.17 Current children cumulated vsize (Kb) 17040 [startup+570.043 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3277 0 0 0 54083 1011 0 0 25 0 1 0 20141271 15269888 3157 4294967295 134512640 134702520 3221223952 3221223072 134578979 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3728 3157 413 48 0 3680 0 [pid=5804] vsize: 14912 Current children cumulated CPU time (s) 550.96 Current children cumulated vsize (Kb) 17040 [startup+580.043 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3280 0 0 0 55057 1019 0 0 25 0 1 0 20141271 15269888 3160 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3728 3160 413 48 0 3680 0 [pid=5804] vsize: 14912 Current children cumulated CPU time (s) 560.78 Current children cumulated vsize (Kb) 17040 [startup+590.044 s] Raw data (loadavg): 1.07 1.01 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3283 0 0 0 56027 1030 0 0 25 0 1 0 20141271 15269888 3163 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3728 3163 413 48 0 3680 0 [pid=5804] vsize: 14912 Current children cumulated CPU time (s) 570.59 Current children cumulated vsize (Kb) 17040 [startup+600.045 s] Raw data (loadavg): 1.06 1.01 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3286 0 0 0 57002 1039 0 0 25 0 1 0 20141271 15269888 3166 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3728 3166 413 48 0 3680 0 [pid=5804] vsize: 14912 Current children cumulated CPU time (s) 580.43 Current children cumulated vsize (Kb) 17040 [startup+610.044 s] Raw data (loadavg): 1.05 1.01 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3287 0 0 0 57958 1055 0 0 25 0 1 0 20141271 15269888 3167 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3728 3167 413 48 0 3680 0 [pid=5804] vsize: 14912 Current children cumulated CPU time (s) 590.15 Current children cumulated vsize (Kb) 17040 [startup+620.045 s] Raw data (loadavg): 1.04 1.01 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3292 0 0 0 58930 1064 0 0 25 0 1 0 20141271 15269888 3172 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3728 3172 413 48 0 3680 0 [pid=5804] vsize: 14912 Current children cumulated CPU time (s) 599.96 Current children cumulated vsize (Kb) 17040 [startup+630.046 s] Raw data (loadavg): 1.04 1.01 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3298 0 0 0 59905 1074 0 0 25 0 1 0 20141271 15269888 3178 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3728 3178 413 48 0 3680 0 [pid=5804] vsize: 14912 Current children cumulated CPU time (s) 609.81 Current children cumulated vsize (Kb) 17040 [startup+640.046 s] Raw data (loadavg): 1.03 1.01 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3300 0 0 0 60893 1078 0 0 25 0 1 0 20141271 15421440 3180 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3765 3180 413 48 0 3717 0 [pid=5804] vsize: 15060 Current children cumulated CPU time (s) 619.73 Current children cumulated vsize (Kb) 17188 [startup+650.047 s] Raw data (loadavg): 1.03 1.01 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3300 0 0 0 61874 1084 0 0 25 0 1 0 20141271 15376384 3180 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3754 3180 413 48 0 3706 0 [pid=5804] vsize: 15016 Current children cumulated CPU time (s) 629.6 Current children cumulated vsize (Kb) 17144 [startup+660.047 s] Raw data (loadavg): 1.02 1.01 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3303 0 0 0 62845 1093 0 0 25 0 1 0 20141271 15376384 3183 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3754 3183 413 48 0 3706 0 [pid=5804] vsize: 15016 Current children cumulated CPU time (s) 639.4 Current children cumulated vsize (Kb) 17144 [startup+670.048 s] Raw data (loadavg): 1.02 1.01 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3306 0 0 0 63809 1106 0 0 25 0 1 0 20141271 15376384 3186 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3754 3186 413 48 0 3706 0 [pid=5804] vsize: 15016 Current children cumulated CPU time (s) 649.17 Current children cumulated vsize (Kb) 17144 [startup+680.049 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3310 0 0 0 64782 1116 0 0 25 0 1 0 20141271 15376384 3190 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3754 3190 413 48 0 3706 0 [pid=5804] vsize: 15016 Current children cumulated CPU time (s) 659 Current children cumulated vsize (Kb) 17144 [startup+690.05 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3314 0 0 0 65752 1126 0 0 25 0 1 0 20141271 15376384 3194 4294967295 134512640 134702520 3221223952 3221223232 134552891 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3754 3194 413 48 0 3706 0 [pid=5804] vsize: 15016 Current children cumulated CPU time (s) 668.8 Current children cumulated vsize (Kb) 17144 [startup+700.05 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3319 0 0 0 66724 1136 0 0 25 0 1 0 20141271 15376384 3199 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3754 3199 413 48 0 3706 0 [pid=5804] vsize: 15016 Current children cumulated CPU time (s) 678.62 Current children cumulated vsize (Kb) 17144 [startup+710.05 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3322 0 0 0 67700 1144 0 0 25 0 1 0 20141271 15376384 3202 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3754 3202 413 48 0 3706 0 [pid=5804] vsize: 15016 Current children cumulated CPU time (s) 688.46 Current children cumulated vsize (Kb) 17144 [startup+720.051 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3325 0 0 0 68677 1153 0 0 25 0 1 0 20141271 15376384 3205 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3754 3205 413 48 0 3706 0 [pid=5804] vsize: 15016 Current children cumulated CPU time (s) 698.32 Current children cumulated vsize (Kb) 17144 [startup+730.051 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3327 0 0 0 69652 1162 0 0 25 0 1 0 20141271 15376384 3207 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3754 3207 413 48 0 3706 0 [pid=5804] vsize: 15016 Current children cumulated CPU time (s) 708.16 Current children cumulated vsize (Kb) 17144 [startup+740.052 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3330 0 0 0 70626 1172 0 0 25 0 1 0 20141271 15376384 3210 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3754 3210 413 48 0 3706 0 [pid=5804] vsize: 15016 Current children cumulated CPU time (s) 718 Current children cumulated vsize (Kb) 17144 [startup+750.052 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3333 0 0 0 71595 1184 0 0 25 0 1 0 20141271 15499264 3213 4294967295 134512640 134702520 3221223952 3221223232 134557278 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3784 3213 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 727.81 Current children cumulated vsize (Kb) 17264 [startup+760.051 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3335 0 0 0 72556 1198 0 0 25 0 1 0 20141271 15499264 3215 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3215 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 737.56 Current children cumulated vsize (Kb) 17264 [startup+770.052 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3337 0 0 0 73521 1208 0 0 25 0 1 0 20141271 15499264 3217 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3217 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 747.31 Current children cumulated vsize (Kb) 17264 [startup+780.052 s] Raw data (loadavg): 1.00 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3338 0 0 0 74472 1225 0 0 25 0 1 0 20141271 15499264 3218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3218 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 756.99 Current children cumulated vsize (Kb) 17264 [startup+790.052 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3340 0 0 0 75419 1244 0 0 25 0 1 0 20141271 15499264 3220 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3220 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 766.65 Current children cumulated vsize (Kb) 17264 [startup+800.053 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3341 0 0 0 76366 1263 0 0 25 0 1 0 20141271 15499264 3221 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3221 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 776.31 Current children cumulated vsize (Kb) 17264 [startup+810.054 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3341 0 0 0 77316 1278 0 0 25 0 1 0 20141271 15499264 3221 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3221 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 785.96 Current children cumulated vsize (Kb) 17264 [startup+820.054 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3342 0 0 0 78263 1295 0 0 25 0 1 0 20141271 15499264 3222 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3222 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 795.6 Current children cumulated vsize (Kb) 17264 [startup+830.054 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3342 0 0 0 79229 1307 0 0 25 0 1 0 20141271 15499264 3222 4294967295 134512640 134702520 3221223952 3221222976 134553175 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3222 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 805.38 Current children cumulated vsize (Kb) 17264 [startup+840.055 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3342 0 0 0 80218 1310 0 0 25 0 1 0 20141271 15499264 3222 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3222 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 815.3 Current children cumulated vsize (Kb) 17264 [startup+850.056 s] Raw data (loadavg): 1.00 1.00 0.99 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3343 0 0 0 81162 1329 0 0 25 0 1 0 20141271 15499264 3223 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3223 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 824.93 Current children cumulated vsize (Kb) 17264 [startup+860.055 s] Raw data (loadavg): 1.08 1.02 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3344 0 0 0 82107 1348 0 0 25 0 1 0 20141271 15499264 3224 4294967295 134512640 134702520 3221223952 3221223352 134607263 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3784 3224 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 834.57 Current children cumulated vsize (Kb) 17264 [startup+870.056 s] Raw data (loadavg): 1.07 1.02 1.00 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3344 0 0 0 83064 1362 0 0 25 0 1 0 20141271 15499264 3224 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3224 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 844.28 Current children cumulated vsize (Kb) 17264 [startup+880.057 s] Raw data (loadavg): 1.06 1.01 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3345 0 0 0 84004 1384 0 0 25 0 1 0 20141271 15499264 3225 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3225 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 853.9 Current children cumulated vsize (Kb) 17264 [startup+890.057 s] Raw data (loadavg): 1.05 1.01 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3345 0 0 0 84942 1405 0 0 25 0 1 0 20141271 15499264 3225 4294967295 134512640 134702520 3221223952 3221223232 134553100 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3225 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 863.49 Current children cumulated vsize (Kb) 17264 [startup+900.058 s] Raw data (loadavg): 1.04 1.01 1.00 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3345 0 0 0 85893 1421 0 0 25 0 1 0 20141271 15499264 3225 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3225 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 873.16 Current children cumulated vsize (Kb) 17264 [startup+910.059 s] Raw data (loadavg): 1.03 1.01 1.00 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3347 0 0 0 86844 1438 0 0 25 0 1 0 20141271 15499264 3227 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3227 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 882.84 Current children cumulated vsize (Kb) 17264 [startup+920.059 s] Raw data (loadavg): 1.03 1.01 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3348 0 0 0 87788 1457 0 0 25 0 1 0 20141271 15499264 3228 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3228 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 892.47 Current children cumulated vsize (Kb) 17264 [startup+930.06 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3348 0 0 0 88773 1463 0 0 25 0 1 0 20141271 15499264 3228 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3228 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 902.38 Current children cumulated vsize (Kb) 17264 [startup+940.061 s] Raw data (loadavg): 1.02 1.01 1.00 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3348 0 0 0 89740 1473 0 0 25 0 1 0 20141271 15499264 3228 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3228 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 912.15 Current children cumulated vsize (Kb) 17264 [startup+950.061 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3348 0 0 0 90677 1495 0 0 25 0 1 0 20141271 15499264 3228 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3228 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 921.74 Current children cumulated vsize (Kb) 17264 [startup+960.061 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3348 0 0 0 91616 1516 0 0 25 0 1 0 20141271 15499264 3228 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3228 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 931.34 Current children cumulated vsize (Kb) 17264 [startup+970.062 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3349 0 0 0 92569 1533 0 0 24 0 1 0 20141271 15499264 3229 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3229 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 941.04 Current children cumulated vsize (Kb) 17264 [startup+980.062 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3350 0 0 0 93525 1548 0 0 25 0 1 0 20141271 15499264 3230 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3230 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 950.75 Current children cumulated vsize (Kb) 17264 [startup+990.063 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3351 0 0 0 94460 1572 0 0 25 0 1 0 20141271 15499264 3231 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3784 3231 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 960.34 Current children cumulated vsize (Kb) 17264 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3353 0 0 0 95404 1592 0 0 25 0 1 0 20141271 15499264 3233 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3784 3233 413 48 0 3736 0 [pid=5804] vsize: 15136 Current children cumulated CPU time (s) 969.98 Current children cumulated vsize (Kb) 17264 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3355 0 0 0 96367 1604 0 0 25 0 1 0 20141271 15618048 3235 4294967295 134512640 134702520 3221223952 3221223352 134607256 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3235 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 979.73 Current children cumulated vsize (Kb) 17380 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3356 0 0 0 97330 1616 0 0 25 0 1 0 20141271 15618048 3236 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3236 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 989.48 Current children cumulated vsize (Kb) 17380 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3356 0 0 0 98319 1620 0 0 25 0 1 0 20141271 15618048 3236 4294967295 134512640 134702520 3221223952 3221222976 134552254 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3236 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 999.41 Current children cumulated vsize (Kb) 17380 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3357 0 0 0 99293 1628 0 0 25 0 1 0 20141271 15618048 3237 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3813 3237 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1009.23 Current children cumulated vsize (Kb) 17380 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3360 0 0 0 100261 1638 0 0 25 0 1 0 20141271 15618048 3240 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3240 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1019.01 Current children cumulated vsize (Kb) 17380 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3361 0 0 0 101238 1647 0 0 25 0 1 0 20141271 15618048 3241 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3241 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1028.87 Current children cumulated vsize (Kb) 17380 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3361 0 0 0 102214 1654 0 0 25 0 1 0 20141271 15618048 3241 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3241 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1038.7 Current children cumulated vsize (Kb) 17380 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3361 0 0 0 103182 1666 0 0 25 0 1 0 20141271 15618048 3241 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3241 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1048.5 Current children cumulated vsize (Kb) 17380 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3361 0 0 0 104147 1679 0 0 25 0 1 0 20141271 15618048 3241 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3241 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1058.28 Current children cumulated vsize (Kb) 17380 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3362 0 0 0 105111 1691 0 0 25 0 1 0 20141271 15618048 3242 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3813 3242 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1068.04 Current children cumulated vsize (Kb) 17380 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3365 0 0 0 106086 1700 0 0 25 0 1 0 20141271 15618048 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3813 3245 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1077.88 Current children cumulated vsize (Kb) 17380 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3370 0 0 0 107057 1709 0 0 25 0 1 0 20141271 15618048 3250 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3250 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1087.68 Current children cumulated vsize (Kb) 17380 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3370 0 0 0 108030 1717 0 0 25 0 1 0 20141271 15618048 3250 4294967295 134512640 134702520 3221223952 3221222976 134551090 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3250 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1097.49 Current children cumulated vsize (Kb) 17380 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3372 0 0 0 108999 1728 0 0 25 0 1 0 20141271 15618048 3252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3252 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1107.29 Current children cumulated vsize (Kb) 17380 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3372 0 0 0 109969 1739 0 0 25 0 1 0 20141271 15618048 3252 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3252 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1117.1 Current children cumulated vsize (Kb) 17380 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3374 0 0 0 110940 1751 0 0 25 0 1 0 20141271 15618048 3254 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3254 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1126.93 Current children cumulated vsize (Kb) 17380 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3374 0 0 0 111928 1755 0 0 25 0 1 0 20141271 15618048 3254 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3254 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1136.85 Current children cumulated vsize (Kb) 17380 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3375 0 0 0 112898 1765 0 0 25 0 1 0 20141271 15618048 3255 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3255 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1146.65 Current children cumulated vsize (Kb) 17380 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3376 0 0 0 113862 1779 0 0 25 0 1 0 20141271 15618048 3256 4294967295 134512640 134702520 3221223952 3221223172 134550217 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3256 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1156.43 Current children cumulated vsize (Kb) 17380 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3377 0 0 0 114832 1789 0 0 25 0 1 0 20141271 15618048 3257 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5804/statm): 3813 3257 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1166.23 Current children cumulated vsize (Kb) 17380 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3379 0 0 0 115798 1802 0 0 25 0 1 0 20141271 15618048 3259 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3259 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1176.02 Current children cumulated vsize (Kb) 17380 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3380 0 0 0 116770 1812 0 0 25 0 1 0 20141271 15618048 3260 4294967295 134512640 134702520 3221223952 3221223172 134550176 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3260 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1185.84 Current children cumulated vsize (Kb) 17380 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) R 5801 5801 4060 0 -1 0 3382 0 0 0 117737 1824 0 0 25 0 1 0 20141271 15618048 3262 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3262 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1195.63 Current children cumulated vsize (Kb) 17380 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3383 0 0 0 118699 1838 0 0 25 0 1 0 20141271 15618048 3263 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3263 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1205.39 Current children cumulated vsize (Kb) 17380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5804 Raw data (/proc/5801/stat): 5801 (vallstSAT2005PB) S 5800 5801 4060 0 -1 0 330 232 0 0 1 1 0 0 16 0 1 0 20141263 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/5801/statm): 532 242 485 147 0 385 0 [pid=5801] vsize: 2128 Raw data (/proc/5804/stat): 5804 (vallst) T 5801 5801 4060 0 -1 0 3383 0 0 0 118699 1838 0 0 25 0 1 0 20141271 15618048 3263 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5804/statm): 3813 3263 413 48 0 3765 0 [pid=5804] vsize: 15252 Current children cumulated CPU time (s) 1205.39 Current children cumulated vsize (Kb) 17380 Sending SIGTERM to -5801 Sleeping 2 seconds open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=5806 New process pid=5807 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/1453/stat open syscall for file /proc/1453/status open syscall for file /proc/1453/cmdline open syscall for file /proc/1453/environ open syscall for file /proc/1480/stat open syscall for file /proc/1480/status open syscall for file /proc/1480/cmdline open syscall for file /proc/1480/environ open syscall for file /proc/1504/stat open syscall for file /proc/1504/status open syscall for file /proc/1504/cmdline open syscall for file /proc/1504/environ open syscall for file /proc/1545/stat open syscall for file /proc/1545/status open syscall for file /proc/1545/cmdline open syscall for file /proc/1545/environ open syscall for file /proc/1569/stat open syscall for file /proc/1569/status open syscall for file /proc/1569/cmdline open syscall for file /proc/1569/environ open syscall for file /proc/1592/stat open syscall for file /proc/1592/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1592/cmdline open syscall for file /proc/1592/environ open syscall for file /proc/1623/stat open syscall for file /proc/1623/status open syscall for file /proc/1623/cmdline open syscall for file /proc/1623/environ open syscall for file /proc/1681/stat open syscall for file /proc/1681/status open syscall for file /proc/1681/cmdline open syscall for file /proc/1681/environ open syscall for file /proc/1686/stat open syscall for file /proc/1686/status open syscall for file /proc/1686/cmdline open syscall for file /proc/1686/environ open syscall for file /proc/1687/stat open syscall for file /proc/1687/status open syscall for file /proc/1687/cmdline open syscall for file /proc/1687/environ open syscall for file /proc/1688/stat open syscall for file /proc/1688/status open syscall for file /proc/1688/cmdline open syscall for file /proc/1688/environ open syscall for file /proc/1689/stat open syscall for file /proc/1689/status open syscall for file /proc/1689/cmdline open syscall for file /proc/1689/environ open syscall for file /proc/1690/stat open syscall for file /proc/1690/status open syscall for file /proc/1690/cmdline open syscall for file /proc/1690/environ open syscall for file /proc/1691/stat open syscall for file /proc/1691/status open syscall for file /proc/1691/cmdline open syscall for file /proc/1691/environ open syscall for file /proc/1692/stat open syscall for file /proc/1692/status open syscall for file /proc/1692/cmdline open syscall for file /proc/1692/environ open syscall for file /proc/4042/stat open syscall for file /proc/4042/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/4042/cmdline open syscall for file /proc/4042/environ open syscall for file /proc/4068/stat open syscall for file /proc/4068/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/4068/cmdline open syscall for file /proc/4068/environ open syscall for file /proc/5762/stat open syscall for file /proc/5762/status open syscall for file /proc/5762/cmdline open syscall for file /proc/5762/environ open syscall for file /proc/5800/stat open syscall for file /proc/5800/status open syscall for file /proc/5800/cmdline open syscall for file /proc/5800/environ open syscall for file /proc/5801/stat open syscall for file /proc/5801/status open syscall for file /proc/5801/cmdline open syscall for file /proc/5801/environ open syscall for file /proc/5804/stat open syscall for file /proc/5804/status open syscall for file /proc/5804/cmdline open syscall for file /proc/5804/environ open syscall for file /proc/5806/stat open syscall for file /proc/5806/status open syscall for file /proc/5806/cmdline open syscall for file /proc/5806/environ open syscall for file /proc/5807/stat open syscall for file /proc/5807/status open syscall for file /proc/5807/cmdline open syscall for file /proc/5807/environ One traced child (pid=5806) exited with status: 0 One traced child (pid=5807) exited with status: 0 New process pid=5808 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=5808) exited with status: 0 New process pid=5809 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=5809) exited with status: 0 New process pid=5810 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 One traced child (pid=5804) exited with status: 3 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=5810) exited with status: 0 New process pid=5811 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=5811) exited with status: 0 One traced child (pid=5801) 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.71 CPU time (s): 1206.15 CPU user time (s): 1187.53 CPU system time (s): 18.6112 CPU usage (%): 97.2139 Max. virtual memory (cumulated for all children) (Kb): 17380
ERROR: no interpretation found !