Name | mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-liu.opb |
MD5SUM | 7c5b217de8d505f751f776306b4ebb3a |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2182184958 |
Number of bits of the biggest sum of numbers | 32 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 3099 |
Total number of constraints | 3267 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1089 |
Number of constraints which are nor clauses,nor cardinality constraints | 2178 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
LAUNCH ON wulflinc3 THE 2005-09-19 06:23:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7602 boxname=wulflinc3 idbench=570 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 7c5b217de8d505f751f776306b4ebb3a /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-liu.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-liu.opb 0 IDLAUNCH: 7602 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 896712 kB Buffers: 35904 kB Cached: 75168 kB SwapCached: 856 kB Active: 72316 kB Inactive: 41412 kB HighTotal: 131008 kB HighFree: 54348 kB LowTotal: 903652 kB LowFree: 842364 kB SwapTotal: 2097136 kB SwapFree: 2095712 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5720 kB Slab: 18560 kB Committed_AS: 72360 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 06:45:51 (client local time) WITH STATUS 0 IN 1208.87 SECONDS stats: 7602 7 1208.87 0
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 0 (#equs: 0) #decisions: 102123; #end-nodes: 3374; #proof improvement attempts: 0; #restarts: 39 Current batch, end-nodes: 54 / 89 (89) #axs: 2179, #non-axs: 244 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: 469762046 (603979776:>=*); #decisions: 13159; #end-nodes: 138; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 58 / 80 (80) #axs: 2179, #non-axs: 259 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: 528406190 (545335632:>=*); #decisions: 35462; #end-nodes: 604; #proof improvement attempts: 0; #restarts: 7 Current batch, end-nodes: 39 / 81 (81) #axs: 2179, #non-axs: 408 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: 529008254 (544733568:>=*); #decisions: 227642; #end-nodes: 4477; #proof improvement attempts: 0; #restarts: 51 Current batch, end-nodes: 83 / 92 (92) #axs: 2179, #non-axs: 792 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: 530656171 (543085651:>=*); #decisions: 9049; #end-nodes: 74; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 74 / 80 (80) #axs: 2179, #non-axs: 792 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: 531828096 (541913726:>=*); #decisions: 155850; #end-nodes: 2846; #proof improvement attempts: 0; #restarts: 33 Current batch, end-nodes: 61 / 92 (88) #axs: 2179, #non-axs: 960 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: 531857115 (541884707:>=*); #decisions: 33218; #end-nodes: 688; #proof improvement attempts: 0; #restarts: 8 Current batch, end-nodes: 42 / 82 (82) #axs: 2179, #non-axs: 1023 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: 532735951 (541005871:>=*); #decisions: 8803; #end-nodes: 76; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 76 / 80 (80) #axs: 2179, #non-axs: 1024 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: 532781609 (540960213:>=*); #decisions: 534333; #end-nodes: 11008; #proof improvement attempts: 0; #restarts: 116 Current batch, end-nodes: 31 / 109 (109) #axs: 2179, #non-axs: 583 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: 533726832 (540014990:>=*); #decisions: 257138; #end-nodes: 6094; #proof improvement attempts: 0; #restarts: 68 Current batch, end-nodes: 44 / 97 (97) #axs: 2179, #non-axs: 1087 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: 533741494 (540000328:>=*); #decisions: 88437; #end-nodes: 2072; #proof improvement attempts: 0; #restarts: 24 Current batch, end-nodes: 69 / 86 (86) #axs: 2179, #non-axs: 1188 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: 534117048 (539624774:>=*); #decisions: 4751; #end-nodes: 32; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 32 / 80 (80) #axs: 2179, #non-axs: 1188 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: 534163454 (539578368:>=*); #decisions: 10043; #end-nodes: 79; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 79 / 80 (80) #axs: 2179, #non-axs: 1190 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: 534183604 (539558218:>=*); #decisions: 9322; #end-nodes: 76; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 76 / 80 (80) #axs: 2179, #non-axs: 1191 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: 534188990 (539552832:>=*); #decisions: 1161718; #end-nodes: 34160; #proof improvement attempts: 0; #restarts: 292 Current batch, end-nodes: 54 / 153 (153) #axs: 2179, #non-axs: 669 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: 662700030 (411041792:>=*); #decisions: 284086; #end-nodes: 8819; #proof improvement attempts: 0; #restarts: 96 Current batch, end-nodes: 0 / 103 (103) #axs: 2179, #non-axs: 103 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: (pushed:) 662700030 (411041792:>=*) No proof was found though that an increment of the last pushed constraint doesn't have a model. result: the time limit has been exceeded (2) seed: 0 Nr of vars set: 67 (#equs: 0) Time taken: 12 min, 49 sec 2: seed: 0 Nr of vars set: 67 (#equs: 0) Nr of vars set: 67 (#equs: 0) #decisions: 186379; #end-nodes: 6617; #proof improvement attempts: 0; #restarts: 52 Current batch, end-nodes: 30 / 133 (133) #axs: 2179, #non-axs: 1093 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: 201326590 (335544320:>=*); #decisions: 24925; #end-nodes: 755; #proof improvement attempts: 0; #restarts: 6 Current batch, end-nodes: 22 / 123 (121) #axs: 2179, #non-axs: 1332 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: 234881022 (301989888:>=*); #decisions: 116287; #end-nodes: 5106; #proof improvement attempts: 0; #restarts: 40 Current batch, end-nodes: 81 / 130 (130) #axs: 2179, #non-axs: 2071 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: 236961580 (299909330:>=*); #decisions: 7050; #end-nodes: 51; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 51 / 120 (120) #axs: 2179, #non-axs: 2072 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: 238548990 (298321920:>=*); #decisions: 139793; #end-nodes: 4976; #proof improvement attempts: 0; #restarts: 39 Current batch, end-nodes: 95 / 130 (129) #axs: 2179, #non-axs: 2662 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: 255836074 (281034836:>=*); #decisions: 82214; #end-nodes: 3213; #proof improvement attempts: 0; #restarts: 25 Current batch, end-nodes: 113 / 126 (126) #axs: 2179, #non-axs: 3129 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: 258946029 (277924881:>=*); #decisions: 9552; #end-nodes: 104; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 104 / 120 (120) #axs: 2179, #non-axs: 3129 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: 261816045 (275054865:>=*); #decisions: 9834; #end-nodes: 94; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 94 / 120 (120) #axs: 2179, #non-axs: 3131 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: 261848958 (275021952:>=*); #decisions: 64678; #end-nodes: 1973; #proof improvement attempts: 0; #restarts: 16 Current batch, end-nodes: 15 / 124 (124) #axs: 2179, #non-axs: 3128 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: 263192574 (273678336:>=*); #decisions: 70082; #end-nodes: 1740; #proof improvement attempts: 0; #restarts: 14 Current batch, end-nodes: 24 / 123 (123) #axs: 2179, #non-axs: 3599 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: 263470122 (273400788:>=*); #decisions: 3916; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 120 (120) #axs: 2179, #non-axs: 3599 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: 263471167 (273399743:>=*); #decisions: 9100; #end-nodes: 88; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 88 / 120 (120) #axs: 2179, #non-axs: 3599 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: 263527634 (273343276:>=*); #decisions: 6055; #end-nodes: 50; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 50 / 120 (120) #axs: 2179, #non-axs: 3600 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: 263529039 (273341871:>=*); #decisions: 4932; #end-nodes: 42; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 42 / 120 (120) #axs: 2179, #non-axs: 3600 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: 263529731 (273341179:>=*); #decisions: 3151; #end-nodes: 24; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 24 / 120 (120) #axs: 2179, #non-axs: 3600 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: 263529918 (273340992:>=*); #decisions: 3136; #end-nodes: 24; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 24 / 120 (120) #axs: 2179, #non-axs: 3600 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: 263529978 (273340932:>=*); #decisions: 8273; #end-nodes: 77; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 77 / 120 (120) #axs: 2179, #non-axs: 3600 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: 263529980 (273340930:>=*); #decisions: 46305; #end-nodes: 806; #proof improvement attempts: 0; #restarts: 6 Current batch, end-nodes: 84 / 121 (121) #axs: 2179, #non-axs: 3626 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: 265289726 (271581184:>=*); #decisions: 54282; #end-nodes: 904; #proof improvement attempts: 0; #restarts: 7 Current batch, end-nodes: 56 / 121 (121) #axs: 2179, #non-axs: 3780 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: 266076158 (270794752:>=*); #decisions: 143326; #end-nodes: 2871; #proof improvement attempts: 0; #restarts: 23 Current batch, end-nodes: 37 / 125 (125) #axs: 2179, #non-axs: 3746 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: 266098686 (270772224:>=*); #decisions: 2239; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 120 (120) #axs: 2179, #non-axs: 3746 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: 266104702 (270766208:>=*); #decisions: 8251; #end-nodes: 87; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 87 / 120 (120) #axs: 2179, #non-axs: 3746 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: 266104798 (270766112:>=*); #decisions: 2657; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 120 (120) #axs: 2179, #non-axs: 3746 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: 266105094 (270765816:>=*); #decisions: 2503; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 120 (120) #axs: 2179, #non-axs: 3746 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: 266105117 (270765793:>=*); #decisions: 2414; #end-nodes: 24; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 24 / 120 (120) #axs: 2179, #non-axs: 3746 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: 266105161 (270765749:>=*); #decisions: 2563; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 120 (120) #axs: 2179, #non-axs: 3746 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: 266105166 (270765744:>=*); #decisions: 2354; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 120 (120) #axs: 2179, #non-axs: 3746 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: 266105179 (270765731:>=*); #decisions: 5986; #end-nodes: 59; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 59 / 120 (120) #axs: 2179, #non-axs: 3751 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: 266107902 (270763008:>=*); #decisions: 2000; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 120 (120) #axs: 2179, #non-axs: 3751 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: 266121214 (270749696:>=*); #decisions: 6025; #end-nodes: 41; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 41 / 120 (120) #axs: 2179, #non-axs: 3760 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: 266121491 (270749419:>=*); #decisions: 3080; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 120 (120) #axs: 2179, #non-axs: 3760 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: 266121496 (270749414:>=*); #decisions: 2862; #end-nodes: 19; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 19 / 120 (120) #axs: 2179, #non-axs: 3760 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: 266121502 (270749408:>=*); #decisions: 1951; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 120 (120) #axs: 2179, #non-axs: 3760 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: 266121537 (270749373:>=*); #decisions: 2066; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 120 (120) #axs: 2179, #non-axs: 3760 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: 266121539 (270749371:>=*); #decisions: 10629; #end-nodes: 117; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 117 / 120 (120) #axs: 2179, #non-axs: 3764 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: 266121550 (270749360:>=*); #decisions: 177682; #end-nodes: 6211; #proof improvement attempts: 0; #restarts: 49 Current batch, end-nodes: 14 / 132 (132) #axs: 2179, #non-axs: 4302 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: 266124779 (270746131:>=*); #decisions: 5999; #end-nodes: 39; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 39 / 120 (120) #axs: 2179, #non-axs: 4302 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: 266141780 (270729130:>=*); #decisions: 3221; #end-nodes: 24; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 24 / 120 (120) #axs: 2179, #non-axs: 4302 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: 266143031 (270727879:>=*); #decisions: 4457; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266149951 (270720959:>=*); #decisions: 4077; #end-nodes: 24; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 24 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266149959 (270720951:>=*); #decisions: 4213; #end-nodes: 20; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 20 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151493 (270719417:>=*); #decisions: 4310; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151687 (270719223:>=*); #decisions: 2686; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151747 (270719163:>=*); #decisions: 2947; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151751 (270719159:>=*); #decisions: 3967; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151806 (270719104:>=*); #decisions: 3232; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151829 (270719081:>=*); #decisions: 4088; #end-nodes: 32; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 32 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151849 (270719061:>=*); #decisions: 3946; #end-nodes: 31; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 31 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151855 (270719055:>=*); #decisions: 3699; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151870 (270719040:>=*); #decisions: 4547; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151899 (270719011:>=*); #decisions: 5221; #end-nodes: 36; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 36 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151930 (270718980:>=*); #decisions: 2612; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151931 (270718979:>=*); #decisions: 3935; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 120 (120) #axs: 2179, #non-axs: 4303 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: 266151934 (270718976:>=*); Interupt request received. #decisions: 505067; #end-nodes: 15243; #proof improvement attempts: 0; #restarts: 113 Current batch, end-nodes: 21 / 148 (148) #axs: 2179, #non-axs: 1317 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: (pushed:) 266151934 (270718976:>=*) 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: 736 (#equs: 0) Time taken: 7 min, 18 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/29787/stat): 29787 (vallstSAT2005PB) R 29786 29787 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789465943 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/29787/statm): 174 3 169 147 0 27 0 [pid=29787] 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=29788 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=29788) exited with status: 0 New process pid=29789 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=29789) exited with status: 0 New process pid=29790 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/wulflinc3/normalized-mps-v2-20-10-liu.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0038 s] Raw data (loadavg): 0.79 0.94 0.98 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 767 0 0 0 804 67 0 0 21 0 1 0 1789465950 5013504 737 4294967295 134512640 134702520 3221223952 3221223088 134552296 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 1224 737 413 48 0 1176 0 [pid=29790] vsize: 4896 Current children cumulated CPU time (s) 8.73 Current children cumulated vsize (Kb) 7024 [startup+20.0047 s] Raw data (loadavg): 0.82 0.94 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 767 0 0 0 1576 143 0 0 21 0 1 0 1789465950 5013504 737 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 1224 737 413 48 0 1176 0 [pid=29790] vsize: 4896 Current children cumulated CPU time (s) 17.21 Current children cumulated vsize (Kb) 7024 [startup+30.0065 s] Raw data (loadavg): 0.85 0.94 0.98 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 836 0 0 0 2406 196 0 0 20 0 1 0 1789465950 9461760 806 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2310 806 413 48 0 2262 0 [pid=29790] vsize: 9240 Current children cumulated CPU time (s) 26.04 Current children cumulated vsize (Kb) 11368 [startup+40.0074 s] Raw data (loadavg): 0.95 0.96 0.98 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 851 0 0 0 3202 266 0 0 17 0 1 0 1789465950 9461760 821 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2310 821 413 48 0 2262 0 [pid=29790] vsize: 9240 Current children cumulated CPU time (s) 34.7 Current children cumulated vsize (Kb) 11368 [startup+50.0082 s] Raw data (loadavg): 0.96 0.96 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 860 0 0 0 4003 332 0 0 22 0 1 0 1789465950 9601024 830 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2344 830 413 48 0 2296 0 [pid=29790] vsize: 9376 Current children cumulated CPU time (s) 43.37 Current children cumulated vsize (Kb) 11504 [startup+60.009 s] Raw data (loadavg): 0.96 0.96 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 873 0 0 0 4794 400 0 0 18 0 1 0 1789465950 9601024 843 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2344 843 413 48 0 2296 0 [pid=29790] vsize: 9376 Current children cumulated CPU time (s) 51.96 Current children cumulated vsize (Kb) 11504 [startup+70.0099 s] Raw data (loadavg): 0.97 0.96 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 884 0 0 0 5589 468 0 0 23 0 1 0 1789465950 9601024 854 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2344 854 413 48 0 2296 0 [pid=29790] vsize: 9376 Current children cumulated CPU time (s) 60.59 Current children cumulated vsize (Kb) 11504 [startup+80.0107 s] Raw data (loadavg): 0.97 0.96 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 891 0 0 0 6421 525 0 0 23 0 1 0 1789465950 9601024 861 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2344 861 413 48 0 2296 0 [pid=29790] vsize: 9376 Current children cumulated CPU time (s) 69.48 Current children cumulated vsize (Kb) 11504 [startup+90.0116 s] Raw data (loadavg): 0.98 0.96 0.98 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 897 0 0 0 7219 596 0 0 23 0 1 0 1789465950 9736192 867 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2377 867 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 78.17 Current children cumulated vsize (Kb) 11636 [startup+100.011 s] Raw data (loadavg): 0.98 0.97 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 899 0 0 0 8051 651 0 0 17 0 1 0 1789465950 9736192 869 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2377 869 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 87.04 Current children cumulated vsize (Kb) 11636 [startup+110.012 s] Raw data (loadavg): 0.98 0.97 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 905 0 0 0 8868 714 0 0 21 0 1 0 1789465950 9736192 875 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2377 875 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 95.84 Current children cumulated vsize (Kb) 11636 [startup+120.013 s] Raw data (loadavg): 0.98 0.97 0.98 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 905 0 0 0 9663 781 0 0 23 0 1 0 1789465950 9736192 875 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2377 875 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 104.46 Current children cumulated vsize (Kb) 11636 [startup+130.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 909 0 0 0 10481 845 0 0 24 0 1 0 1789465950 9736192 879 4294967295 134512640 134702520 3221223952 3221222848 134552220 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2377 879 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 113.28 Current children cumulated vsize (Kb) 11636 [startup+140.015 s] Raw data (loadavg): 0.99 0.97 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 910 0 0 0 11301 908 0 0 23 0 1 0 1789465950 9736192 880 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2377 880 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 122.11 Current children cumulated vsize (Kb) 11636 [startup+150.016 s] Raw data (loadavg): 0.99 0.97 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 912 0 0 0 12129 965 0 0 23 0 1 0 1789465950 9736192 882 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2377 882 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 130.96 Current children cumulated vsize (Kb) 11636 [startup+160.016 s] Raw data (loadavg): 0.99 0.97 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 913 0 0 0 12926 1035 0 0 22 0 1 0 1789465950 9736192 883 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2377 883 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 139.63 Current children cumulated vsize (Kb) 11636 [startup+170.017 s] Raw data (loadavg): 0.99 0.97 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 917 0 0 0 13732 1098 0 0 23 0 1 0 1789465950 9736192 887 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2377 887 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 148.32 Current children cumulated vsize (Kb) 11636 [startup+180.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 921 0 0 0 14548 1163 0 0 22 0 1 0 1789465950 9736192 891 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2377 891 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 157.13 Current children cumulated vsize (Kb) 11636 [startup+190.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 921 0 0 0 15342 1232 0 0 23 0 1 0 1789465950 9736192 891 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2377 891 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 165.76 Current children cumulated vsize (Kb) 11636 [startup+200.021 s] Raw data (loadavg): 0.99 0.97 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 927 0 0 0 16166 1290 0 0 23 0 1 0 1789465950 9736192 897 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2377 897 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 174.58 Current children cumulated vsize (Kb) 11636 [startup+210.023 s] Raw data (loadavg): 0.99 0.97 0.98 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 928 0 0 0 16989 1350 0 0 22 0 1 0 1789465950 9736192 898 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2377 898 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 183.41 Current children cumulated vsize (Kb) 11636 [startup+220.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 930 0 0 0 17813 1409 0 0 24 0 1 0 1789465950 9736192 900 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2377 900 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 192.24 Current children cumulated vsize (Kb) 11636 [startup+230.024 s] Raw data (loadavg): 1.07 0.99 0.99 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 933 0 0 0 18639 1466 0 0 25 0 1 0 1789465950 9736192 903 4294967295 134512640 134702520 3221223952 3221222848 134552293 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2377 903 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 201.07 Current children cumulated vsize (Kb) 11636 [startup+240.025 s] Raw data (loadavg): 1.06 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 933 0 0 0 19448 1532 0 0 24 0 1 0 1789465950 9736192 903 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2377 903 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 209.82 Current children cumulated vsize (Kb) 11636 [startup+250.026 s] Raw data (loadavg): 1.05 0.99 0.99 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 939 0 0 0 20288 1588 0 0 21 0 1 0 1789465950 9736192 909 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2377 909 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 218.78 Current children cumulated vsize (Kb) 11636 [startup+260.027 s] Raw data (loadavg): 1.04 0.99 0.99 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 942 0 0 0 21102 1647 0 0 22 0 1 0 1789465950 9736192 912 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2377 912 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 227.51 Current children cumulated vsize (Kb) 11636 [startup+270.028 s] Raw data (loadavg): 1.04 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 944 0 0 0 21993 1683 0 0 25 0 1 0 1789465950 9736192 914 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2377 914 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 236.78 Current children cumulated vsize (Kb) 11636 [startup+280.029 s] Raw data (loadavg): 1.03 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 944 0 0 0 22946 1701 0 0 25 0 1 0 1789465950 9736192 914 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2377 914 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 246.49 Current children cumulated vsize (Kb) 11636 [startup+290.029 s] Raw data (loadavg): 1.03 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 944 0 0 0 23761 1766 0 0 23 0 1 0 1789465950 9736192 914 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2377 914 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 255.29 Current children cumulated vsize (Kb) 11636 [startup+300.03 s] Raw data (loadavg): 1.02 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 944 0 0 0 24574 1832 0 0 23 0 1 0 1789465950 9736192 914 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2377 914 413 48 0 2329 0 [pid=29790] vsize: 9508 Current children cumulated CPU time (s) 264.08 Current children cumulated vsize (Kb) 11636 [startup+310.031 s] Raw data (loadavg): 1.02 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 947 0 0 0 25393 1892 0 0 23 0 1 0 1789465950 9859072 917 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 917 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 272.87 Current children cumulated vsize (Kb) 11756 [startup+320.032 s] Raw data (loadavg): 1.01 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 947 0 0 0 26210 1952 0 0 23 0 1 0 1789465950 9859072 917 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 917 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 281.64 Current children cumulated vsize (Kb) 11756 [startup+330.034 s] Raw data (loadavg): 1.01 0.99 0.99 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 948 0 0 0 27038 2010 0 0 19 0 1 0 1789465950 9859072 918 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2407 918 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 290.5 Current children cumulated vsize (Kb) 11756 [startup+340.035 s] Raw data (loadavg): 1.01 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 948 0 0 0 27871 2065 0 0 24 0 1 0 1789465950 9859072 918 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 918 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 299.38 Current children cumulated vsize (Kb) 11756 [startup+350.034 s] Raw data (loadavg): 1.01 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 948 0 0 0 28702 2121 0 0 23 0 1 0 1789465950 9859072 918 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2407 918 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 308.25 Current children cumulated vsize (Kb) 11756 [startup+360.036 s] Raw data (loadavg): 1.01 0.99 0.99 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 950 0 0 0 29541 2173 0 0 25 0 1 0 1789465950 9859072 920 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2407 920 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 317.16 Current children cumulated vsize (Kb) 11756 [startup+370.037 s] Raw data (loadavg): 1.00 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 951 0 0 0 30356 2236 0 0 21 0 1 0 1789465950 9859072 921 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 921 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 325.94 Current children cumulated vsize (Kb) 11756 [startup+380.038 s] Raw data (loadavg): 1.00 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 953 0 0 0 31197 2289 0 0 25 0 1 0 1789465950 9859072 923 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 923 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 334.88 Current children cumulated vsize (Kb) 11756 [startup+390.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 954 0 0 0 32007 2351 0 0 25 0 1 0 1789465950 9859072 924 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 924 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 343.6 Current children cumulated vsize (Kb) 11756 [startup+400.04 s] Raw data (loadavg): 1.00 0.99 0.99 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 954 0 0 0 32824 2415 0 0 17 0 1 0 1789465950 9859072 924 4294967295 134512640 134702520 3221223952 3221223232 134554363 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2407 924 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 352.41 Current children cumulated vsize (Kb) 11756 [startup+410.04 s] Raw data (loadavg): 1.00 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 954 0 0 0 33637 2481 0 0 25 0 1 0 1789465950 9859072 924 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2407 924 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 361.2 Current children cumulated vsize (Kb) 11756 [startup+420.041 s] Raw data (loadavg): 1.00 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 958 0 0 0 34473 2537 0 0 23 0 1 0 1789465950 9859072 928 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 928 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 370.12 Current children cumulated vsize (Kb) 11756 [startup+430.042 s] Raw data (loadavg): 1.00 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 959 0 0 0 35322 2586 0 0 23 0 1 0 1789465950 9859072 929 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 929 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 379.1 Current children cumulated vsize (Kb) 11756 [startup+440.043 s] Raw data (loadavg): 1.00 0.99 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 960 0 0 0 36146 2642 0 0 22 0 1 0 1789465950 9859072 930 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 930 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 387.9 Current children cumulated vsize (Kb) 11756 [startup+450.044 s] Raw data (loadavg): 1.08 1.00 0.99 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 963 0 0 0 36981 2696 0 0 23 0 1 0 1789465950 9859072 933 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2407 933 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 396.79 Current children cumulated vsize (Kb) 11756 [startup+460.046 s] Raw data (loadavg): 1.07 1.00 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 964 0 0 0 37835 2745 0 0 25 0 1 0 1789465950 9859072 934 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 934 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 405.82 Current children cumulated vsize (Kb) 11756 [startup+470.046 s] Raw data (loadavg): 1.06 1.00 0.99 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 965 0 0 0 38650 2804 0 0 24 0 1 0 1789465950 9859072 935 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2407 935 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 414.56 Current children cumulated vsize (Kb) 11756 [startup+480.048 s] Raw data (loadavg): 1.05 1.00 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 968 0 0 0 39498 2859 0 0 24 0 1 0 1789465950 9859072 938 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 938 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 423.59 Current children cumulated vsize (Kb) 11756 [startup+490.05 s] Raw data (loadavg): 1.04 1.00 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 969 0 0 0 40320 2921 0 0 24 0 1 0 1789465950 9859072 939 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 939 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 432.43 Current children cumulated vsize (Kb) 11756 [startup+500.05 s] Raw data (loadavg): 1.03 1.00 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 971 0 0 0 41257 2944 0 0 25 0 1 0 1789465950 9859072 941 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 941 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 442.03 Current children cumulated vsize (Kb) 11756 [startup+510.051 s] Raw data (loadavg): 1.03 1.00 0.99 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 971 0 0 0 42162 2976 0 0 22 0 1 0 1789465950 9859072 941 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2407 941 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 451.4 Current children cumulated vsize (Kb) 11756 [startup+520.052 s] Raw data (loadavg): 1.10 1.02 1.00 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 971 0 0 0 42968 3041 0 0 18 0 1 0 1789465950 9859072 941 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2407 941 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 460.11 Current children cumulated vsize (Kb) 11756 [startup+530.053 s] Raw data (loadavg): 1.08 1.02 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 972 0 0 0 43803 3102 0 0 23 0 1 0 1789465950 9859072 942 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2407 942 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 469.07 Current children cumulated vsize (Kb) 11756 [startup+540.053 s] Raw data (loadavg): 1.07 1.01 1.00 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 978 0 0 0 44634 3159 0 0 23 0 1 0 1789465950 9859072 948 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 948 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 477.95 Current children cumulated vsize (Kb) 11756 [startup+550.054 s] Raw data (loadavg): 1.06 1.01 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 978 0 0 0 45468 3215 0 0 24 0 1 0 1789465950 9859072 948 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 948 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 486.85 Current children cumulated vsize (Kb) 11756 [startup+560.056 s] Raw data (loadavg): 1.05 1.01 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 981 0 0 0 46311 3270 0 0 25 0 1 0 1789465950 9859072 951 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 951 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 495.83 Current children cumulated vsize (Kb) 11756 [startup+570.057 s] Raw data (loadavg): 1.04 1.01 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 981 0 0 0 47145 3324 0 0 21 0 1 0 1789465950 9859072 951 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2407 951 413 48 0 2359 0 [pid=29790] vsize: 9628 Current children cumulated CPU time (s) 504.71 Current children cumulated vsize (Kb) 11756 [startup+580.057 s] Raw data (loadavg): 1.03 1.01 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 983 0 0 0 47987 3379 0 0 24 0 1 0 1789465950 9977856 953 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2436 953 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 513.68 Current children cumulated vsize (Kb) 11872 [startup+590.058 s] Raw data (loadavg): 1.03 1.01 1.00 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 983 0 0 0 48826 3433 0 0 25 0 1 0 1789465950 9977856 953 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2436 953 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 522.61 Current children cumulated vsize (Kb) 11872 [startup+600.058 s] Raw data (loadavg): 1.02 1.01 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 986 0 0 0 49664 3488 0 0 22 0 1 0 1789465950 9977856 956 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2436 956 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 531.54 Current children cumulated vsize (Kb) 11872 [startup+610.059 s] Raw data (loadavg): 1.02 1.01 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 988 0 0 0 50513 3538 0 0 25 0 1 0 1789465950 9977856 958 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2436 958 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 540.53 Current children cumulated vsize (Kb) 11872 [startup+620.06 s] Raw data (loadavg): 1.02 1.01 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 988 0 0 0 51461 3557 0 0 25 0 1 0 1789465950 9977856 958 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2436 958 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 550.2 Current children cumulated vsize (Kb) 11872 [startup+630.061 s] Raw data (loadavg): 1.01 1.01 1.00 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 988 0 0 0 52321 3604 0 0 22 0 1 0 1789465950 9977856 958 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2436 958 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 559.27 Current children cumulated vsize (Kb) 11872 [startup+640.062 s] Raw data (loadavg): 1.01 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 989 0 0 0 53148 3663 0 0 23 0 1 0 1789465950 9977856 959 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2436 959 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 568.13 Current children cumulated vsize (Kb) 11872 [startup+650.063 s] Raw data (loadavg): 1.01 1.00 1.00 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 993 0 0 0 53972 3723 0 0 24 0 1 0 1789465950 9977856 963 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2436 963 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 576.97 Current children cumulated vsize (Kb) 11872 [startup+660.063 s] Raw data (loadavg): 1.01 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 995 0 0 0 54799 3781 0 0 21 0 1 0 1789465950 9977856 965 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2436 965 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 585.82 Current children cumulated vsize (Kb) 11872 [startup+670.065 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 996 0 0 0 55640 3836 0 0 25 0 1 0 1789465950 9977856 966 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2436 966 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 594.78 Current children cumulated vsize (Kb) 11872 [startup+680.066 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 999 0 0 0 56462 3896 0 0 25 0 1 0 1789465950 9977856 969 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2436 969 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 603.6 Current children cumulated vsize (Kb) 11872 [startup+690.067 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1000 0 0 0 57291 3954 0 0 25 0 1 0 1789465950 9977856 970 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2436 970 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 612.47 Current children cumulated vsize (Kb) 11872 [startup+700.068 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1011 0 0 0 58134 4007 0 0 25 0 1 0 1789465950 9977856 981 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2436 981 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 621.43 Current children cumulated vsize (Kb) 11872 [startup+710.069 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1012 0 0 0 58970 4060 0 0 23 0 1 0 1789465950 9977856 982 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2436 982 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 630.32 Current children cumulated vsize (Kb) 11872 [startup+720.069 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1014 0 0 0 59798 4118 0 0 20 0 1 0 1789465950 9977856 984 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2436 984 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 639.18 Current children cumulated vsize (Kb) 11872 [startup+730.07 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1015 0 0 0 60610 4180 0 0 23 0 1 0 1789465950 9977856 985 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2436 985 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 647.92 Current children cumulated vsize (Kb) 11872 [startup+740.071 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1016 0 0 0 61465 4229 0 0 25 0 1 0 1789465950 9977856 986 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2436 986 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 656.96 Current children cumulated vsize (Kb) 11872 [startup+750.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1016 0 0 0 62412 4244 0 0 25 0 1 0 1789465950 9977856 986 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2436 986 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 666.58 Current children cumulated vsize (Kb) 11872 [startup+760.073 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1017 0 0 0 63288 4289 0 0 24 0 1 0 1789465950 9977856 987 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2436 987 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 675.79 Current children cumulated vsize (Kb) 11872 [startup+770.074 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1017 0 0 0 64123 4345 0 0 23 0 1 0 1789465950 9977856 987 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2436 987 413 48 0 2388 0 [pid=29790] vsize: 9744 Current children cumulated CPU time (s) 684.7 Current children cumulated vsize (Kb) 11872 [startup+780.074 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1022 0 0 0 64985 4386 0 0 25 0 1 0 1789465950 9986048 992 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2438 992 413 48 0 2390 0 [pid=29790] vsize: 9752 Current children cumulated CPU time (s) 693.73 Current children cumulated vsize (Kb) 11880 [startup+790.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 1023 0 0 0 65829 4438 0 0 25 0 1 0 1789465950 10096640 993 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2465 993 413 48 0 2417 0 [pid=29790] vsize: 9860 Current children cumulated CPU time (s) 702.69 Current children cumulated vsize (Kb) 11988 [startup+800.076 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1025 0 0 0 66680 4488 0 0 24 0 1 0 1789465950 10096640 995 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2465 995 413 48 0 2417 0 [pid=29790] vsize: 9860 Current children cumulated CPU time (s) 711.7 Current children cumulated vsize (Kb) 11988 [startup+810.078 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1026 0 0 0 67528 4539 0 0 22 0 1 0 1789465950 10096640 996 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2465 996 413 48 0 2417 0 [pid=29790] vsize: 9860 Current children cumulated CPU time (s) 720.69 Current children cumulated vsize (Kb) 11988 [startup+820.079 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1028 0 0 0 68380 4590 0 0 25 0 1 0 1789465950 10096640 998 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2465 998 413 48 0 2417 0 [pid=29790] vsize: 9860 Current children cumulated CPU time (s) 729.72 Current children cumulated vsize (Kb) 11988 [startup+830.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1028 0 0 0 69251 4635 0 0 25 0 1 0 1789465950 10096640 998 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2465 998 413 48 0 2417 0 [pid=29790] vsize: 9860 Current children cumulated CPU time (s) 738.88 Current children cumulated vsize (Kb) 11988 [startup+840.081 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1030 0 0 0 70093 4688 0 0 25 0 1 0 1789465950 10096640 1000 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2465 1000 413 48 0 2417 0 [pid=29790] vsize: 9860 Current children cumulated CPU time (s) 747.83 Current children cumulated vsize (Kb) 11988 [startup+850.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) R 29787 29787 31915 0 -1 0 1031 0 0 0 70983 4725 0 0 25 0 1 0 1789465950 10096640 1001 4294967295 134512640 134702520 3221223952 3221222848 134553287 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29790/statm): 2465 1001 413 48 0 2417 0 [pid=29790] vsize: 9860 Current children cumulated CPU time (s) 757.1 Current children cumulated vsize (Kb) 11988 [startup+860.082 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29790 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 330 232 0 0 0 1 0 1 23 0 1 0 1789465943 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 242 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29790/stat): 29790 (vallst) T 29787 29787 31915 0 -1 0 1031 0 0 0 71917 4747 0 0 25 0 1 0 1789465950 10096640 1001 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29790/statm): 2465 1001 413 48 0 2417 0 [pid=29790] vsize: 9860 Current children cumulated CPU time (s) 766.66 Current children cumulated vsize (Kb) 11988 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=29790) exited with status: 2 New process pid=29791 execve syscall for /usr/bin/head 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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=29791) exited with status: 0 New process pid=29792 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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf [startup+870.083 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 753 0 0 0 493 45 0 0 20 0 1 0 1789552341 4952064 723 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 1209 723 413 48 0 1161 0 [pid=29792] vsize: 4836 Current children cumulated CPU time (s) 775.62 Current children cumulated vsize (Kb) 6964 [startup+880.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 753 0 0 0 1240 132 0 0 21 0 1 0 1789552341 4952064 723 4294967295 134512640 134702520 3221223712 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 1209 723 413 48 0 1161 0 [pid=29792] vsize: 4836 Current children cumulated CPU time (s) 783.96 Current children cumulated vsize (Kb) 6964 [startup+890.084 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 823 0 0 0 2029 207 0 0 25 0 1 0 1789552341 9252864 793 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2259 793 413 48 0 2211 0 [pid=29792] vsize: 9036 Current children cumulated CPU time (s) 792.6 Current children cumulated vsize (Kb) 11164 [startup+900.085 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 847 0 0 0 2810 281 0 0 19 0 1 0 1789552341 9388032 817 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2292 817 413 48 0 2244 0 [pid=29792] vsize: 9168 Current children cumulated CPU time (s) 801.15 Current children cumulated vsize (Kb) 11296 [startup+910.086 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 863 0 0 0 3630 341 0 0 18 0 1 0 1789552341 9388032 833 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2292 833 413 48 0 2244 0 [pid=29792] vsize: 9168 Current children cumulated CPU time (s) 809.95 Current children cumulated vsize (Kb) 11296 [startup+920.087 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 873 0 0 0 4421 413 0 0 18 0 1 0 1789552341 9388032 843 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2292 843 413 48 0 2244 0 [pid=29792] vsize: 9168 Current children cumulated CPU time (s) 818.58 Current children cumulated vsize (Kb) 11296 [startup+930.088 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 886 0 0 0 5255 465 0 0 23 0 1 0 1789552341 9388032 856 4294967295 134512640 134702520 3221223712 3221222736 134552319 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2292 856 413 48 0 2244 0 [pid=29792] vsize: 9168 Current children cumulated CPU time (s) 827.44 Current children cumulated vsize (Kb) 11296 [startup+940.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 897 0 0 0 6070 531 0 0 25 0 1 0 1789552341 9392128 867 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2293 867 413 48 0 2245 0 [pid=29792] vsize: 9172 Current children cumulated CPU time (s) 836.25 Current children cumulated vsize (Kb) 11300 [startup+950.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 912 0 0 0 6888 592 0 0 21 0 1 0 1789552341 9527296 882 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2326 882 413 48 0 2278 0 [pid=29792] vsize: 9304 Current children cumulated CPU time (s) 845.04 Current children cumulated vsize (Kb) 11432 [startup+960.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 923 0 0 0 7740 643 0 0 22 0 1 0 1789552341 9527296 893 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2326 893 413 48 0 2278 0 [pid=29792] vsize: 9304 Current children cumulated CPU time (s) 854.07 Current children cumulated vsize (Kb) 11432 [startup+970.091 s] Raw data (loadavg): 1.15 1.03 1.01 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 927 0 0 0 8587 695 0 0 25 0 1 0 1789552341 9527296 897 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2326 897 413 48 0 2278 0 [pid=29792] vsize: 9304 Current children cumulated CPU time (s) 863.06 Current children cumulated vsize (Kb) 11432 [startup+980.092 s] Raw data (loadavg): 1.13 1.03 1.01 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 932 0 0 0 9415 752 0 0 25 0 1 0 1789552341 9527296 902 4294967295 134512640 134702520 3221223712 3221222992 134553118 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2326 902 413 48 0 2278 0 [pid=29792] vsize: 9304 Current children cumulated CPU time (s) 871.91 Current children cumulated vsize (Kb) 11432 [startup+990.093 s] Raw data (loadavg): 1.11 1.03 1.01 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 941 0 0 0 10250 811 0 0 24 0 1 0 1789552341 9527296 911 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2326 911 413 48 0 2278 0 [pid=29792] vsize: 9304 Current children cumulated CPU time (s) 880.85 Current children cumulated vsize (Kb) 11432 [startup+1000.09 s] Raw data (loadavg): 1.09 1.03 1.01 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 947 0 0 0 11103 861 0 0 17 0 1 0 1789552341 9527296 917 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2326 917 413 48 0 2278 0 [pid=29792] vsize: 9304 Current children cumulated CPU time (s) 889.88 Current children cumulated vsize (Kb) 11432 [startup+1010.1 s] Raw data (loadavg): 1.08 1.03 1.01 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 952 0 0 0 11933 919 0 0 24 0 1 0 1789552341 9527296 922 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2326 922 413 48 0 2278 0 [pid=29792] vsize: 9304 Current children cumulated CPU time (s) 898.76 Current children cumulated vsize (Kb) 11432 [startup+1020.1 s] Raw data (loadavg): 1.06 1.03 1.01 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 955 0 0 0 12756 976 0 0 25 0 1 0 1789552341 9527296 925 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2326 925 413 48 0 2278 0 [pid=29792] vsize: 9304 Current children cumulated CPU time (s) 907.56 Current children cumulated vsize (Kb) 11432 [startup+1030.1 s] Raw data (loadavg): 1.05 1.02 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 966 0 0 0 13603 1028 0 0 25 0 1 0 1789552341 9654272 936 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2357 936 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 916.55 Current children cumulated vsize (Kb) 11556 [startup+1040.1 s] Raw data (loadavg): 1.05 1.02 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 968 0 0 0 14423 1089 0 0 21 0 1 0 1789552341 9654272 938 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2357 938 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 925.36 Current children cumulated vsize (Kb) 11556 [startup+1050.1 s] Raw data (loadavg): 1.04 1.02 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 970 0 0 0 15229 1153 0 0 25 0 1 0 1789552341 9654272 940 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2357 940 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 934.06 Current children cumulated vsize (Kb) 11556 [startup+1060.1 s] Raw data (loadavg): 1.03 1.02 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 978 0 0 0 16055 1213 0 0 21 0 1 0 1789552341 9654272 948 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2357 948 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 942.92 Current children cumulated vsize (Kb) 11556 [startup+1070.1 s] Raw data (loadavg): 1.03 1.02 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 980 0 0 0 16878 1270 0 0 23 0 1 0 1789552341 9654272 950 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2357 950 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 951.72 Current children cumulated vsize (Kb) 11556 [startup+1080.1 s] Raw data (loadavg): 1.02 1.02 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 982 0 0 0 17669 1341 0 0 22 0 1 0 1789552341 9654272 952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2357 952 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 960.34 Current children cumulated vsize (Kb) 11556 [startup+1090.1 s] Raw data (loadavg): 1.02 1.02 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 984 0 0 0 18472 1408 0 0 23 0 1 0 1789552341 9654272 954 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2357 954 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 969.04 Current children cumulated vsize (Kb) 11556 [startup+1100.1 s] Raw data (loadavg): 1.02 1.02 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 987 0 0 0 19267 1481 0 0 22 0 1 0 1789552341 9654272 957 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2357 957 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 977.72 Current children cumulated vsize (Kb) 11556 [startup+1110.1 s] Raw data (loadavg): 1.01 1.02 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 991 0 0 0 20070 1545 0 0 23 0 1 0 1789552341 9654272 961 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2357 961 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 986.39 Current children cumulated vsize (Kb) 11556 [startup+1120.1 s] Raw data (loadavg): 1.01 1.02 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 996 0 0 0 20887 1605 0 0 23 0 1 0 1789552341 9654272 966 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2357 966 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 995.16 Current children cumulated vsize (Kb) 11556 [startup+1130.1 s] Raw data (loadavg): 1.01 1.02 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 1000 0 0 0 21712 1665 0 0 24 0 1 0 1789552341 9654272 970 4294967295 134512640 134702520 3221223712 3221222992 134551020 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2357 970 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 1004.01 Current children cumulated vsize (Kb) 11556 [startup+1140.11 s] Raw data (loadavg): 1.01 1.01 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1001 0 0 0 22507 1732 0 0 22 0 1 0 1789552341 9654272 971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2357 971 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 1012.63 Current children cumulated vsize (Kb) 11556 [startup+1150.11 s] Raw data (loadavg): 1.00 1.01 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1002 0 0 0 23305 1799 0 0 24 0 1 0 1789552341 9654272 972 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2357 972 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 1021.28 Current children cumulated vsize (Kb) 11556 [startup+1160.11 s] Raw data (loadavg): 1.00 1.01 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1004 0 0 0 24125 1863 0 0 24 0 1 0 1789552341 9654272 974 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2357 974 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 1030.12 Current children cumulated vsize (Kb) 11556 [startup+1170.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 1007 0 0 0 24976 1912 0 0 25 0 1 0 1789552341 9654272 977 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2357 977 413 48 0 2309 0 [pid=29792] vsize: 9428 Current children cumulated CPU time (s) 1039.12 Current children cumulated vsize (Kb) 11556 [startup+1180.11 s] Raw data (loadavg): 1.00 1.01 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1012 0 0 0 25820 1966 0 0 25 0 1 0 1789552341 9789440 982 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2390 982 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1048.1 Current children cumulated vsize (Kb) 11688 [startup+1190.11 s] Raw data (loadavg): 1.00 1.01 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1015 0 0 0 26633 2027 0 0 22 0 1 0 1789552341 9789440 985 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2390 985 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1056.84 Current children cumulated vsize (Kb) 11688 [startup+1200.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 1022 0 0 0 27448 2089 0 0 21 0 1 0 1789552341 9789440 992 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2390 992 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1065.61 Current children cumulated vsize (Kb) 11688 [startup+1210.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 1022 0 0 0 28235 2162 0 0 24 0 1 0 1789552341 9789440 992 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2390 992 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1074.21 Current children cumulated vsize (Kb) 11688 [startup+1220.11 s] Raw data (loadavg): 1.00 1.01 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1023 0 0 0 29060 2221 0 0 25 0 1 0 1789552341 9789440 993 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2390 993 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1083.05 Current children cumulated vsize (Kb) 11688 [startup+1230.12 s] Raw data (loadavg): 1.00 1.01 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 1028 0 0 0 29920 2269 0 0 25 0 1 0 1789552341 9789440 998 4294967295 134512640 134702520 3221223712 3221222964 134564338 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2390 998 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1092.13 Current children cumulated vsize (Kb) 11688 [startup+1240.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 1029 0 0 0 30754 2327 0 0 25 0 1 0 1789552341 9789440 999 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2390 999 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1101.05 Current children cumulated vsize (Kb) 11688 [startup+1250.12 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1035 0 0 0 31589 2383 0 0 25 0 1 0 1789552341 9789440 1005 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2390 1005 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1109.96 Current children cumulated vsize (Kb) 11688 [startup+1260.12 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1036 0 0 0 32408 2439 0 0 25 0 1 0 1789552341 9789440 1006 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2390 1006 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1118.71 Current children cumulated vsize (Kb) 11688 [startup+1270.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 1042 0 0 0 33251 2491 0 0 24 0 1 0 1789552341 9789440 1012 4294967295 134512640 134702520 3221223712 3221222992 134553142 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2390 1012 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1127.66 Current children cumulated vsize (Kb) 11688 [startup+1280.12 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1043 0 0 0 34073 2546 0 0 25 0 1 0 1789552341 9789440 1013 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2390 1013 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1136.43 Current children cumulated vsize (Kb) 11688 [startup+1290.12 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1047 0 0 0 34914 2603 0 0 24 0 1 0 1789552341 9789440 1017 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2390 1017 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1145.41 Current children cumulated vsize (Kb) 11688 [startup+1300.12 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1053 0 0 0 35739 2659 0 0 20 0 1 0 1789552341 9789440 1023 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2390 1023 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1154.22 Current children cumulated vsize (Kb) 11688 [startup+1310.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1056 0 0 0 36578 2714 0 0 23 0 1 0 1789552341 9789440 1026 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2390 1026 413 48 0 2342 0 [pid=29792] vsize: 9560 Current children cumulated CPU time (s) 1163.16 Current children cumulated vsize (Kb) 11688 [startup+1320.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 1068 0 0 0 37426 2767 0 0 25 0 1 0 1789552341 9924608 1038 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2423 1038 413 48 0 2375 0 [pid=29792] vsize: 9692 Current children cumulated CPU time (s) 1172.17 Current children cumulated vsize (Kb) 11820 [startup+1330.12 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1068 0 0 0 38352 2792 0 0 25 0 1 0 1789552341 9924608 1038 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2423 1038 413 48 0 2375 0 [pid=29792] vsize: 9692 Current children cumulated CPU time (s) 1181.68 Current children cumulated vsize (Kb) 11820 [startup+1340.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) R 29787 29787 31915 0 -1 0 1068 0 0 0 39236 2831 0 0 24 0 1 0 1789552341 9900032 1038 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/29792/statm): 2417 1038 413 48 0 2369 0 [pid=29792] vsize: 9668 Current children cumulated CPU time (s) 1190.91 Current children cumulated vsize (Kb) 11796 [startup+1350.13 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1073 0 0 0 40009 2908 0 0 22 0 1 0 1789552341 9900032 1043 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2417 1043 413 48 0 2369 0 [pid=29792] vsize: 9668 Current children cumulated CPU time (s) 1199.41 Current children cumulated vsize (Kb) 11796 [startup+1360.13 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1075 0 0 0 40845 2961 0 0 22 0 1 0 1789552341 9900032 1045 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2417 1045 413 48 0 2369 0 [pid=29792] vsize: 9668 Current children cumulated CPU time (s) 1208.3 Current children cumulated vsize (Kb) 11796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1360.13 s] Raw data (loadavg): 1.00 1.00 1.00 1/57 29792 Raw data (/proc/29787/stat): 29787 (vallstSAT2005PB) S 29786 29787 31915 0 -1 0 378 1406 0 0 1 1 72260 4762 18 0 1 0 1789465943 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/29787/statm): 532 248 485 147 0 385 0 [pid=29787] vsize: 2128 Raw data (/proc/29792/stat): 29792 (vallst) T 29787 29787 31915 0 -1 0 1075 0 0 0 40845 2961 0 0 22 0 1 0 1789552341 9900032 1045 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/29792/statm): 2417 1045 413 48 0 2369 0 [pid=29792] vsize: 9668 Current children cumulated CPU time (s) 1208.3 Current children cumulated vsize (Kb) 11796 Sending SIGTERM to -29787 Sleeping 2 seconds open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf New process pid=29794 New process pid=29795 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/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/826/stat open syscall for file /proc/826/status open syscall for file /proc/826/cmdline open syscall for file /proc/826/environ open syscall for file /proc/827/stat open syscall for file /proc/827/status open syscall for file /proc/827/cmdline open syscall for file /proc/827/environ open syscall for file /proc/1260/stat open syscall for file /proc/1260/status open syscall for file /proc/1260/cmdline open syscall for file /proc/1260/environ open syscall for file /proc/1264/stat open syscall for file /proc/1264/status open syscall for file /proc/1264/cmdline open syscall for file /proc/1264/environ open syscall for file /proc/1286/stat open syscall for file /proc/1286/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1286/cmdline open syscall for file /proc/1286/environ open syscall for file /proc/1316/stat open syscall for file /proc/1316/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1316/cmdline open syscall for file /proc/1316/environ open syscall for file /proc/1360/stat open syscall for file /proc/1360/status open syscall for file /proc/1360/cmdline open syscall for file /proc/1360/environ open syscall for file /proc/1518/stat open syscall for file /proc/1518/status open syscall for file /proc/1518/cmdline open syscall for file /proc/1518/environ open syscall for file /proc/1542/stat open syscall for file /proc/1542/status open syscall for file /proc/1542/cmdline open syscall for file /proc/1542/environ open syscall for file /proc/1565/stat open syscall for file /proc/1565/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1565/cmdline open syscall for file /proc/1565/environ open syscall for file /proc/1659/stat open syscall for file /proc/1659/status open syscall for file /proc/1659/cmdline open syscall for file /proc/1659/environ open syscall for file /proc/1660/stat open syscall for file /proc/1660/status open syscall for file /proc/1660/cmdline open syscall for file /proc/1660/environ open syscall for file /proc/1661/stat open syscall for file /proc/1661/status open syscall for file /proc/1661/cmdline open syscall for file /proc/1661/environ open syscall for file /proc/1662/stat open syscall for file /proc/1662/status open syscall for file /proc/1662/cmdline open syscall for file /proc/1662/environ open syscall for file /proc/1663/stat open syscall for file /proc/1663/status open syscall for file /proc/1663/cmdline open syscall for file /proc/1663/environ open syscall for file /proc/1664/stat open syscall for file /proc/1664/status open syscall for file /proc/1664/cmdline open syscall for file /proc/1664/environ open syscall for file /proc/1665/stat open syscall for file /proc/1665/status open syscall for file /proc/1665/cmdline open syscall for file /proc/1665/environ open syscall for file /proc/31324/stat open syscall for file /proc/31324/status open syscall for file /proc/31324/cmdline open syscall for file /proc/31324/environ open syscall for file /proc/10661/stat open syscall for file /proc/10661/status open syscall for file /proc/10661/cmdline open syscall for file /proc/10661/environ open syscall for file /proc/10688/stat open syscall for file /proc/10688/status open syscall for file /proc/10688/cmdline open syscall for file /proc/10688/environ open syscall for file /proc/10712/stat open syscall for file /proc/10712/status open syscall for file /proc/10712/cmdline open syscall for file /proc/10712/environ open syscall for file /proc/24729/stat open syscall for file /proc/24729/status open syscall for file /proc/24729/cmdline open syscall for file /proc/24729/environ open syscall for file /proc/24730/stat open syscall for file /proc/24730/status open syscall for file /proc/24730/cmdline open syscall for file /proc/24730/environ open syscall for file /proc/2696/stat open syscall for file /proc/2696/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/2696/cmdline open syscall for file /proc/2696/environ open syscall for file /proc/2731/stat open syscall for file /proc/2731/status open syscall for file /proc/2731/cmdline open syscall for file /proc/2731/environ open syscall for file /proc/31915/stat open syscall for file /proc/31915/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/31915/cmdline open syscall for file /proc/31915/environ open syscall for file /proc/31916/stat open syscall for file /proc/31916/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/31916/cmdline open syscall for file /proc/31916/environ open syscall for file /proc/31925/stat open syscall for file /proc/31925/status open syscall for file /proc/31925/cmdline open syscall for file /proc/31925/environ open syscall for file /proc/29750/stat open syscall for file /proc/29750/status open syscall for file /proc/29750/cmdline open syscall for file /proc/29750/environ open syscall for file /proc/29786/stat open syscall for file /proc/29786/status open syscall for file /proc/29786/cmdline open syscall for file /proc/29786/environ open syscall for file /proc/29787/stat open syscall for file /proc/29787/status open syscall for file /proc/29787/cmdline open syscall for file /proc/29787/environ open syscall for file /proc/29792/stat open syscall for file /proc/29792/status open syscall for file /proc/29792/cmdline open syscall for file /proc/29792/environ open syscall for file /proc/29794/stat open syscall for file /proc/29794/status open syscall for file /proc/29794/cmdline open syscall for file /proc/29794/environ open syscall for file /proc/29795/stat open syscall for file /proc/29795/status open syscall for file /proc/29795/cmdline open syscall for file /proc/29795/environ One traced child (pid=29794) exited with status: 0 One traced child (pid=29795) exited with status: 0 New process pid=29796 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 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options One traced child (pid=29792) exited with status: 3 One traced child (pid=29796) exited with status: 0 New process pid=29797 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=29797) exited with status: 0 One traced child (pid=29787) 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): 1360.64 CPU time (s): 1208.87 CPU user time (s): 1131.48 CPU system time (s): 77.3852 CPU usage (%): 88.8457 Max. virtual memory (cumulated for all children) (Kb): 11988
ERROR: no interpretation found !