Name | mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-cap6000.opb |
MD5SUM | b4da9562dcd40afcc9afd9f695cf339d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -199796 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5995 |
Biggest coefficient in the objective function | 91110 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 12969603 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 800000 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 28761906 |
Number of bits of the biggest sum of numbers | 25 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.12 |
Number of variables | 6000 |
Total number of constraints | 8176 |
Number of constraints which are clauses | 222 |
Number of constraints which are cardinality constraints (but not clauses) | 7919 |
Number of constraints which are nor clauses,nor cardinality constraints | 35 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 6000 |
LAUNCH ON wulflinc11 THE 2005-09-23 12:24:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8036 boxname=wulflinc11 idbench=1004 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: b4da9562dcd40afcc9afd9f695cf339d /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-cap6000.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-cap6000.opb 0 IDLAUNCH: 8036 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 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: 943984 kB Buffers: 11728 kB Cached: 61712 kB SwapCached: 0 kB Active: 45272 kB Inactive: 31048 kB HighTotal: 131008 kB HighFree: 64876 kB LowTotal: 903652 kB LowFree: 879108 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 4 kB Writeback: 0 kB Mapped: 6976 kB Slab: 8816 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 12:45:41 (client local time) WITH STATUS 0 IN 1201.37 SECONDS stats: 8036 7 1201.37 0
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 46 (#equs: 76) #decisions: 5791; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 result: model found (1) Model found with constant: 248417 (12721185:>=*); #decisions: 5798; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 249037 (12720565:>=*); #decisions: 5789; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 249157 (12720445:>=*); #decisions: 5811; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 252107 (12717495:>=*); #decisions: 5794; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 252347 (12717255:>=*); #decisions: 5793; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 252442 (12717160:>=*); #decisions: 5793; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 252837 (12716765:>=*); #decisions: 5791; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 253136 (12716466:>=*); #decisions: 5791; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 253394 (12716208:>=*); #decisions: 5800; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 254038 (12715564:>=*); #decisions: 5791; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 254278 (12715324:>=*); #decisions: 5791; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 254464 (12715138:>=*); #decisions: 5790; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 254750 (12714852:>=*); #decisions: 5789; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 255008 (12714594:>=*); #decisions: 5811; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 258072 (12711530:>=*); #decisions: 5793; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 258403 (12711199:>=*); #decisions: 5791; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 258444 (12711158:>=*); #decisions: 5791; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 258692 (12710910:>=*); #decisions: 5792; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 258788 (12710814:>=*); #decisions: 5790; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 258886 (12710716:>=*); #decisions: 5791; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 259128 (12710474:>=*); #decisions: 5789; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 259236 (12710366:>=*); #decisions: 5793; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 259641 (12709961:>=*); #decisions: 5787; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 259761 (12709841:>=*); #decisions: 5812; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 262715 (12706887:>=*); #decisions: 5790; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 263065 (12706537:>=*); #decisions: 5812; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 263139 (12706463:>=*); #decisions: 5809; #end-nodes: 23; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 23 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 263189 (12706413:>=*); #decisions: 5809; #end-nodes: 24; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 24 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 263309 (12706293:>=*); #decisions: 29231; #end-nodes: 342; #proof improvement attempts: 0; #restarts: 4 Current batch, end-nodes: 20 / 81 (81) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 263539 (12706063:>=*); #decisions: 5779; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 263889 (12705713:>=*); #decisions: 5776; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 263950 (12705652:>=*); #decisions: 5773; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 264034 (12705568:>=*); #decisions: 5773; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 264081 (12705521:>=*); #decisions: 5773; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 264165 (12705437:>=*); #decisions: 5832; #end-nodes: 62; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 62 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 264184 (12705418:>=*); #decisions: 5772; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 264268 (12705334:>=*); #decisions: 40915; #end-nodes: 482; #proof improvement attempts: 0; #restarts: 6 Current batch, end-nodes: 0 / 81 (81) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 273757 (12695845:>=*); #decisions: 5813; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 275555 (12694047:>=*); #decisions: 5804; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 275663 (12693939:>=*); #decisions: 5806; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 276051 (12693551:>=*); #decisions: 5803; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 276408 (12693194:>=*); #decisions: 5805; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 276540 (12693062:>=*); #decisions: 5803; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 276897 (12692705:>=*); #decisions: 5803; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 277262 (12692340:>=*); #decisions: 5801; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 277414 (12692188:>=*); #decisions: 5800; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 277758 (12691844:>=*); #decisions: 5799; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 277811 (12691791:>=*); #decisions: 5807; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 278405 (12691197:>=*); #decisions: 5808; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 279326 (12690276:>=*); #decisions: 5809; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 279972 (12689630:>=*); #decisions: 5807; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 280637 (12688965:>=*); #decisions: 5809; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 281643 (12687959:>=*); #decisions: 5807; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 282564 (12687038:>=*); #decisions: 5806; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 283335 (12686267:>=*); #decisions: 5809; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 284302 (12685300:>=*); #decisions: 5805; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 285073 (12684529:>=*); #decisions: 5808; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 286092 (12683510:>=*); #decisions: 5799; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 286297 (12683305:>=*); #decisions: 5797; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 286396 (12683206:>=*); #decisions: 5799; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 286591 (12683011:>=*); #decisions: 5797; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 286690 (12682912:>=*); #decisions: 5797; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 286848 (12682754:>=*); #decisions: 5801; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 286977 (12682625:>=*); #decisions: 5800; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 286996 (12682606:>=*); #decisions: 5800; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 287294 (12682308:>=*); #decisions: 5802; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 287746 (12681856:>=*); #decisions: 5797; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 287898 (12681704:>=*); #decisions: 5809; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 288950 (12680652:>=*); #decisions: 5800; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 289349 (12680253:>=*); #decisions: 5799; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 289658 (12679944:>=*); #decisions: 5797; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 289664 (12679938:>=*); #decisions: 5796; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 289763 (12679839:>=*); #decisions: 5797; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 289968 (12679634:>=*); #decisions: 5795; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 290120 (12679482:>=*); #decisions: 5795; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 290229 (12679373:>=*); #decisions: 5811; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 291180 (12678422:>=*); #decisions: 5797; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 291233 (12678369:>=*); #decisions: 5804; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 291582 (12678020:>=*); #decisions: 5806; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 292332 (12677270:>=*); #decisions: 5819; #end-nodes: 16; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 16 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 292393 (12677209:>=*); #decisions: 5805; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 292455 (12677147:>=*); #decisions: 5817; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 292492 (12677110:>=*); #decisions: 5801; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 292596 (12677006:>=*); #decisions: 5840; #end-nodes: 41; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 41 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 292609 (12676993:>=*); #decisions: 5808; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 292620 (12676982:>=*); #decisions: 5811; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 292673 (12676929:>=*); #decisions: 5810; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 292778 (12676824:>=*); #decisions: 5816; #end-nodes: 16; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 16 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 292964 (12676638:>=*); #decisions: 5812; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 292975 (12676627:>=*); #decisions: 5809; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 293122 (12676480:>=*); #decisions: 5800; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 293133 (12676469:>=*); #decisions: 5809; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 293285 (12676317:>=*); #decisions: 5810; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 293338 (12676264:>=*); #decisions: 5806; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 293790 (12675812:>=*); #decisions: 116757; #end-nodes: 1563; #proof improvement attempts: 0; #restarts: 19 Current batch, end-nodes: 0 / 84 (84) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 369487 (12600115:>=*); #decisions: 5768; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 369779 (12599823:>=*); #decisions: 5762; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 369868 (12599734:>=*); #decisions: 5761; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 369993 (12599609:>=*); #decisions: 5766; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370234 (12599368:>=*); #decisions: 5764; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370251 (12599351:>=*); #decisions: 5771; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370424 (12599178:>=*); #decisions: 5771; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370439 (12599163:>=*); #decisions: 5770; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370450 (12599152:>=*); #decisions: 5775; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370456 (12599146:>=*); #decisions: 5773; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370487 (12599115:>=*); #decisions: 5767; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370547 (12599055:>=*); #decisions: 5771; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370609 (12598993:>=*); #decisions: 5770; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370624 (12598978:>=*); #decisions: 5772; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370635 (12598967:>=*); #decisions: 5765; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370644 (12598958:>=*); #decisions: 5763; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370650 (12598952:>=*); #decisions: 5765; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370657 (12598945:>=*); #decisions: 5766; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370823 (12598779:>=*); #decisions: 5768; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370859 (12598743:>=*); #decisions: 5770; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370870 (12598732:>=*); #decisions: 5767; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 370984 (12598618:>=*); #decisions: 5765; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 371075 (12598527:>=*); #decisions: 5776; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 371164 (12598438:>=*); #decisions: 5762; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 371261 (12598341:>=*); #decisions: 5767; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 371289 (12598313:>=*); #decisions: 5772; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 371332 (12598270:>=*); #decisions: 5802; #end-nodes: 42; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 42 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 371342 (12598260:>=*); #decisions: 5774; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 371352 (12598250:>=*); #decisions: 5791; #end-nodes: 31; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 31 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 371373 (12598229:>=*); #decisions: 5761; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 371498 (12598104:>=*); #decisions: 5780; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 371541 (12598061:>=*); #decisions: 5781; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 372050 (12597552:>=*); #decisions: 558613; #end-nodes: 8810; #proof improvement attempts: 0; #restarts: 96 Current batch, end-nodes: 0 / 103 (103) #axs: 2371, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: (pushed:) 372050 (12597552:>=*) 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: 46 (#equs: 76) Time taken: 11 min, 36 sec 2: seed: 0 Nr of vars set: 46 (#equs: 0) Nr of vars set: 46 (#equs: 0) Interupt request received. #decisions: 1123827; #end-nodes: 27436; #proof improvement attempts: 0; #restarts: 191 Current batch, end-nodes: 0 / 167 (167) #axs: 2002, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 result: an interupt signal has been received (3) No model found at all. result: an interupt signal has been received (3) seed: 0 Nr of vars set: 2848 (#equs: 0) Time taken: 8 min, 24 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/5522/stat): 5522 (vallstSAT2005PB) R 5521 5522 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20164918 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/5522/statm): 174 3 169 147 0 27 0 [pid=5522] 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=5523 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=5523) exited with status: 0 New process pid=5524 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=5524) exited with status: 0 New process pid=5525 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/wulflinc11/normalized-mps-v2-13-7-cap6000.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0033 s] Raw data (loadavg): 0.93 1.00 0.99 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 548 0 0 0 923 25 0 0 25 0 1 0 20164925 4141056 518 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1011 518 413 48 0 963 0 [pid=5525] vsize: 4044 Current children cumulated CPU time (s) 9.49 Current children cumulated vsize (Kb) 6172 [startup+20.0041 s] Raw data (loadavg): 0.94 1.00 0.99 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 634 0 0 0 1847 50 0 0 24 0 1 0 20164925 7180288 604 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0 Raw data (/proc/5525/statm): 1753 604 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 18.98 Current children cumulated vsize (Kb) 9140 [startup+30.0049 s] Raw data (loadavg): 0.95 1.00 0.99 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 643 0 0 0 2765 74 0 0 25 0 1 0 20164925 7180288 613 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 613 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 28.4 Current children cumulated vsize (Kb) 9140 [startup+40.0057 s] Raw data (loadavg): 0.96 1.00 0.99 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 643 0 0 0 3689 98 0 0 25 0 1 0 20164925 7180288 613 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 613 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 37.88 Current children cumulated vsize (Kb) 9140 [startup+50.0075 s] Raw data (loadavg): 0.96 1.00 0.99 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 643 0 0 0 4613 123 0 0 25 0 1 0 20164925 7180288 613 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 613 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 47.37 Current children cumulated vsize (Kb) 9140 [startup+60.0082 s] Raw data (loadavg): 0.97 1.00 0.99 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 643 0 0 0 5530 153 0 0 24 0 1 0 20164925 7180288 613 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 613 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 56.84 Current children cumulated vsize (Kb) 9140 [startup+70.009 s] Raw data (loadavg): 0.97 1.00 0.99 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 643 0 0 0 6451 183 0 0 25 0 1 0 20164925 7180288 613 4294967295 134512640 134702520 3221223952 3221223352 134607291 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5525/statm): 1753 613 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 66.35 Current children cumulated vsize (Kb) 9140 [startup+80.0098 s] Raw data (loadavg): 1.06 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 643 0 0 0 7377 207 0 0 25 0 1 0 20164925 7180288 613 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 613 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 75.85 Current children cumulated vsize (Kb) 9140 [startup+90.0106 s] Raw data (loadavg): 1.05 1.01 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 643 0 0 0 8303 231 0 0 25 0 1 0 20164925 7180288 613 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 613 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 85.35 Current children cumulated vsize (Kb) 9140 [startup+100.011 s] Raw data (loadavg): 1.11 1.03 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 795 0 0 0 9222 256 0 0 24 0 1 0 20164925 7180288 765 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 765 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 94.79 Current children cumulated vsize (Kb) 9140 [startup+110.012 s] Raw data (loadavg): 1.10 1.03 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1105 0 0 0 10146 282 0 0 25 0 1 0 20164925 7180288 1075 4294967295 134512640 134702520 3221223952 3221223436 134608160 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5525/statm): 1753 1075 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 104.29 Current children cumulated vsize (Kb) 9140 [startup+120.012 s] Raw data (loadavg): 1.08 1.03 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 11050 313 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 113.64 Current children cumulated vsize (Kb) 9140 [startup+130.013 s] Raw data (loadavg): 1.07 1.03 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 11975 339 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 123.15 Current children cumulated vsize (Kb) 9140 [startup+140.014 s] Raw data (loadavg): 1.06 1.03 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1340 0 0 0 12898 365 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607278 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 132.64 Current children cumulated vsize (Kb) 9140 [startup+150.014 s] Raw data (loadavg): 1.05 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 13804 394 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 141.99 Current children cumulated vsize (Kb) 9140 [startup+160.015 s] Raw data (loadavg): 1.04 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 14705 427 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 151.33 Current children cumulated vsize (Kb) 9140 [startup+170.016 s] Raw data (loadavg): 1.03 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 15622 456 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 160.79 Current children cumulated vsize (Kb) 9140 [startup+180.017 s] Raw data (loadavg): 1.03 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 16545 480 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 170.26 Current children cumulated vsize (Kb) 9140 [startup+190.017 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 17468 504 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 179.73 Current children cumulated vsize (Kb) 9140 [startup+200.018 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 18390 532 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 189.23 Current children cumulated vsize (Kb) 9140 [startup+210.019 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 19313 557 0 0 24 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 198.71 Current children cumulated vsize (Kb) 9140 [startup+220.019 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1340 0 0 0 20226 587 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607278 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 208.14 Current children cumulated vsize (Kb) 9140 [startup+230.021 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 21148 614 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 217.63 Current children cumulated vsize (Kb) 9140 [startup+240.021 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 22074 639 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 227.14 Current children cumulated vsize (Kb) 9140 [startup+250.023 s] Raw data (loadavg): 1.01 1.01 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 22993 665 0 0 24 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 236.59 Current children cumulated vsize (Kb) 9140 [startup+260.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1340 0 0 0 23913 690 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744847 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 246.04 Current children cumulated vsize (Kb) 9140 [startup+270.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1340 0 0 0 24831 718 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 255.5 Current children cumulated vsize (Kb) 9140 [startup+280.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 25757 746 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 265.04 Current children cumulated vsize (Kb) 9140 [startup+290.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1340 0 0 0 26681 769 0 0 24 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 274.51 Current children cumulated vsize (Kb) 9140 [startup+300.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 27601 798 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 284 Current children cumulated vsize (Kb) 9140 [startup+310.027 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 28527 822 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 293.5 Current children cumulated vsize (Kb) 9140 [startup+320.028 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 29448 849 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 302.98 Current children cumulated vsize (Kb) 9140 [startup+330.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 30367 875 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 312.43 Current children cumulated vsize (Kb) 9140 [startup+340.029 s] Raw data (loadavg): 1.08 1.02 1.01 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 31280 905 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 321.86 Current children cumulated vsize (Kb) 9140 [startup+350.031 s] Raw data (loadavg): 1.07 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 32177 941 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 331.19 Current children cumulated vsize (Kb) 9140 [startup+360.032 s] Raw data (loadavg): 1.06 1.02 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 33080 976 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 340.57 Current children cumulated vsize (Kb) 9140 [startup+370.033 s] Raw data (loadavg): 1.05 1.02 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1340 0 0 0 33978 1008 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223436 134608143 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 349.87 Current children cumulated vsize (Kb) 9140 [startup+380.033 s] Raw data (loadavg): 1.04 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 34878 1044 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 359.23 Current children cumulated vsize (Kb) 9140 [startup+390.034 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1340 0 0 0 35792 1071 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 368.64 Current children cumulated vsize (Kb) 9140 [startup+400.035 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1340 0 0 0 36715 1096 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558743 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 378.12 Current children cumulated vsize (Kb) 9140 [startup+410.036 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 37637 1122 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 387.6 Current children cumulated vsize (Kb) 9140 [startup+420.037 s] Raw data (loadavg): 1.02 1.01 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 38564 1147 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 397.12 Current children cumulated vsize (Kb) 9140 [startup+430.038 s] Raw data (loadavg): 1.09 1.03 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 39485 1173 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 406.59 Current children cumulated vsize (Kb) 9140 [startup+440.039 s] Raw data (loadavg): 1.07 1.03 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1340 0 0 0 40406 1200 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607270 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 416.07 Current children cumulated vsize (Kb) 9140 [startup+450.04 s] Raw data (loadavg): 1.06 1.03 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 41327 1226 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 425.54 Current children cumulated vsize (Kb) 9140 [startup+460.041 s] Raw data (loadavg): 1.05 1.03 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 42252 1251 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 435.04 Current children cumulated vsize (Kb) 9140 [startup+470.041 s] Raw data (loadavg): 1.04 1.02 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 43172 1276 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 444.49 Current children cumulated vsize (Kb) 9140 [startup+480.041 s] Raw data (loadavg): 1.03 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 44095 1301 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 453.97 Current children cumulated vsize (Kb) 9140 [startup+490.042 s] Raw data (loadavg): 1.03 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 45013 1329 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 463.43 Current children cumulated vsize (Kb) 9140 [startup+500.044 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 45911 1361 0 0 24 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 472.73 Current children cumulated vsize (Kb) 9140 [startup+510.045 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 46812 1391 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 482.04 Current children cumulated vsize (Kb) 9140 [startup+520.044 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 47713 1424 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 491.38 Current children cumulated vsize (Kb) 9140 [startup+530.045 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 48607 1460 0 0 24 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 500.68 Current children cumulated vsize (Kb) 9140 [startup+540.046 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 49506 1493 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 510 Current children cumulated vsize (Kb) 9140 [startup+550.048 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 50405 1527 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 519.33 Current children cumulated vsize (Kb) 9140 [startup+560.049 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 51309 1558 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 528.68 Current children cumulated vsize (Kb) 9140 [startup+570.049 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 52210 1592 0 0 24 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 538.03 Current children cumulated vsize (Kb) 9140 [startup+580.05 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 53110 1625 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 547.36 Current children cumulated vsize (Kb) 9140 [startup+590.051 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 54007 1659 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 556.67 Current children cumulated vsize (Kb) 9140 [startup+600.053 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 54911 1691 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 566.03 Current children cumulated vsize (Kb) 9140 [startup+610.054 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 55807 1722 0 0 24 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 575.3 Current children cumulated vsize (Kb) 9140 [startup+620.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1340 0 0 0 56709 1755 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 584.65 Current children cumulated vsize (Kb) 9140 [startup+630.055 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 57608 1790 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 593.99 Current children cumulated vsize (Kb) 9140 [startup+640.056 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 58511 1821 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 603.33 Current children cumulated vsize (Kb) 9140 [startup+650.057 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1340 0 0 0 59415 1852 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 612.68 Current children cumulated vsize (Kb) 9140 [startup+660.058 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 60321 1882 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 622.04 Current children cumulated vsize (Kb) 9140 [startup+670.058 s] Raw data (loadavg): 1.07 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 61216 1913 0 0 24 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 631.3 Current children cumulated vsize (Kb) 9140 [startup+680.06 s] Raw data (loadavg): 1.06 1.02 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) R 5522 5522 4060 0 -1 0 1340 0 0 0 62116 1948 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607237 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 640.65 Current children cumulated vsize (Kb) 9140 [startup+690.061 s] Raw data (loadavg): 1.05 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 63019 1980 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 650 Current children cumulated vsize (Kb) 9140 [startup+700.062 s] Raw data (loadavg): 1.04 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 63917 2014 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 659.32 Current children cumulated vsize (Kb) 9140 [startup+710.062 s] Raw data (loadavg): 1.04 1.02 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 64820 2044 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 668.65 Current children cumulated vsize (Kb) 9140 [startup+720.062 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 65725 2074 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 678 Current children cumulated vsize (Kb) 9140 [startup+730.063 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 5525 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20164918 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 242 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5525/stat): 5525 (vallst) T 5522 5522 4060 0 -1 0 1340 0 0 0 66642 2102 0 0 25 0 1 0 20164925 7180288 1310 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5525/statm): 1753 1310 413 48 0 1705 0 [pid=5525] vsize: 7012 Current children cumulated CPU time (s) 687.45 Current children cumulated vsize (Kb) 9140 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=5525) exited with status: 2 New process pid=5526 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=5526) exited with status: 0 New process pid=5527 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+740.065 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) R 5522 5522 4060 0 -1 0 432 0 0 0 34 2 0 0 23 0 1 0 20238896 3256320 403 4294967295 134512640 134702520 3221223712 3221223220 134550195 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5527/statm): 795 403 413 48 0 747 0 [pid=5527] vsize: 3180 Current children cumulated CPU time (s) 696.86 Current children cumulated vsize (Kb) 5308 [startup+750.066 s] Raw data (loadavg): 1.02 1.01 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 489 0 0 0 903 49 0 0 25 0 1 0 20238896 3399680 459 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 830 459 413 48 0 782 0 [pid=5527] vsize: 3320 Current children cumulated CPU time (s) 706.02 Current children cumulated vsize (Kb) 5448 [startup+760.066 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) R 5522 5522 4060 0 -1 0 959 0 0 0 1776 89 0 0 25 0 1 0 20238896 5038080 929 4294967295 134512640 134702520 3221223712 3221222832 134588541 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1230 929 413 48 0 1182 0 [pid=5527] vsize: 4920 Current children cumulated CPU time (s) 715.15 Current children cumulated vsize (Kb) 7048 [startup+770.067 s] Raw data (loadavg): 1.01 1.01 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 960 0 0 0 2682 122 0 0 25 0 1 0 20238896 5038080 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1230 930 413 48 0 1182 0 [pid=5527] vsize: 4920 Current children cumulated CPU time (s) 724.54 Current children cumulated vsize (Kb) 7048 [startup+780.069 s] Raw data (loadavg): 1.01 1.01 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 960 0 0 0 3576 156 0 0 24 0 1 0 20238896 5038080 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1230 930 413 48 0 1182 0 [pid=5527] vsize: 4920 Current children cumulated CPU time (s) 733.82 Current children cumulated vsize (Kb) 7048 [startup+790.07 s] Raw data (loadavg): 1.01 1.01 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 960 0 0 0 4480 187 0 0 25 0 1 0 20238896 5038080 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1230 930 413 48 0 1182 0 [pid=5527] vsize: 4920 Current children cumulated CPU time (s) 743.17 Current children cumulated vsize (Kb) 7048 [startup+800.072 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) R 5522 5522 4060 0 -1 0 961 0 0 0 5381 221 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223196 134608133 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 752.52 Current children cumulated vsize (Kb) 7052 [startup+810.072 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 6285 252 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 761.87 Current children cumulated vsize (Kb) 7052 [startup+820.072 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 7193 285 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 771.28 Current children cumulated vsize (Kb) 7052 [startup+830.073 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 8103 317 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 780.7 Current children cumulated vsize (Kb) 7052 [startup+840.074 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 9013 344 0 0 24 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 790.07 Current children cumulated vsize (Kb) 7052 [startup+850.075 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 9916 375 0 0 23 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 799.41 Current children cumulated vsize (Kb) 7052 [startup+860.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 10819 407 0 0 23 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 808.76 Current children cumulated vsize (Kb) 7052 [startup+870.076 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 11727 438 0 0 24 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 818.15 Current children cumulated vsize (Kb) 7052 [startup+880.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 12643 467 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 827.6 Current children cumulated vsize (Kb) 7052 [startup+890.078 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 13540 503 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 836.93 Current children cumulated vsize (Kb) 7052 [startup+900.078 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 14448 534 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 846.32 Current children cumulated vsize (Kb) 7052 [startup+910.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) R 5522 5522 4060 0 -1 0 961 0 0 0 15357 564 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223196 134608162 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 855.71 Current children cumulated vsize (Kb) 7052 [startup+920.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) R 5522 5522 4060 0 -1 0 961 0 0 0 16270 594 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223112 134607278 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 865.14 Current children cumulated vsize (Kb) 7052 [startup+930.082 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 17174 626 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 874.5 Current children cumulated vsize (Kb) 7052 [startup+940.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 18084 655 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 883.89 Current children cumulated vsize (Kb) 7052 [startup+950.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) R 5522 5522 4060 0 -1 0 961 0 0 0 18990 687 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223112 134607261 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 893.27 Current children cumulated vsize (Kb) 7052 [startup+960.083 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 19898 716 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 902.64 Current children cumulated vsize (Kb) 7052 [startup+970.084 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 20802 750 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 912.02 Current children cumulated vsize (Kb) 7052 [startup+980.086 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 21710 781 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 921.41 Current children cumulated vsize (Kb) 7052 [startup+990.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 22622 809 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 930.81 Current children cumulated vsize (Kb) 7052 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 961 0 0 0 23522 841 0 0 25 0 1 0 20238896 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1231 931 413 48 0 1183 0 [pid=5527] vsize: 4924 Current children cumulated CPU time (s) 940.13 Current children cumulated vsize (Kb) 7052 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 24411 879 0 0 22 0 1 0 20238896 5197824 932 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1269 932 413 48 0 1221 0 [pid=5527] vsize: 5076 Current children cumulated CPU time (s) 949.4 Current children cumulated vsize (Kb) 7204 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 25163 960 0 0 21 0 1 0 20238896 5197824 932 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1269 932 413 48 0 1221 0 [pid=5527] vsize: 5076 Current children cumulated CPU time (s) 957.73 Current children cumulated vsize (Kb) 7204 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 25980 1026 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 966.56 Current children cumulated vsize (Kb) 7180 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 26884 1060 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 975.94 Current children cumulated vsize (Kb) 7180 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 27793 1091 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 985.34 Current children cumulated vsize (Kb) 7180 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) R 5522 5522 4060 0 -1 0 962 0 0 0 28696 1124 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 994.7 Current children cumulated vsize (Kb) 7180 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 29599 1156 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1004.05 Current children cumulated vsize (Kb) 7180 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 30512 1185 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1013.47 Current children cumulated vsize (Kb) 7180 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 31420 1218 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1022.88 Current children cumulated vsize (Kb) 7180 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 32328 1250 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1032.28 Current children cumulated vsize (Kb) 7180 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 33238 1278 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1041.66 Current children cumulated vsize (Kb) 7180 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 34140 1313 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1051.03 Current children cumulated vsize (Kb) 7180 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) R 5522 5522 4060 0 -1 0 962 0 0 0 35049 1343 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223112 134607270 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1060.42 Current children cumulated vsize (Kb) 7180 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 35961 1371 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1069.82 Current children cumulated vsize (Kb) 7180 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 36865 1405 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1079.2 Current children cumulated vsize (Kb) 7180 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 37775 1434 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1088.59 Current children cumulated vsize (Kb) 7180 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 38685 1461 0 0 25 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1097.96 Current children cumulated vsize (Kb) 7180 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 962 0 0 0 39595 1491 0 0 24 0 1 0 20238896 5173248 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 932 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1107.36 Current children cumulated vsize (Kb) 7180 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) R 5522 5522 4060 0 -1 0 963 0 0 0 40514 1517 0 0 25 0 1 0 20238896 5173248 933 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 933 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1116.81 Current children cumulated vsize (Kb) 7180 [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 964 0 0 0 41413 1551 0 0 23 0 1 0 20238896 5173248 934 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 934 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1126.14 Current children cumulated vsize (Kb) 7180 [startup+1210.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) R 5522 5522 4060 0 -1 0 965 0 0 0 42325 1579 0 0 25 0 1 0 20238896 5173248 935 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 935 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1135.54 Current children cumulated vsize (Kb) 7180 [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 965 0 0 0 43230 1609 0 0 25 0 1 0 20238896 5173248 935 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 935 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1144.89 Current children cumulated vsize (Kb) 7180 [startup+1230.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 966 0 0 0 44139 1638 0 0 25 0 1 0 20238896 5173248 936 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 936 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1154.27 Current children cumulated vsize (Kb) 7180 [startup+1240.1 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 968 0 0 0 45051 1667 0 0 25 0 1 0 20238896 5173248 938 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 938 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1163.68 Current children cumulated vsize (Kb) 7180 [startup+1250.11 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 968 0 0 0 45956 1697 0 0 25 0 1 0 20238896 5173248 938 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 938 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1173.03 Current children cumulated vsize (Kb) 7180 [startup+1260.11 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 968 0 0 0 46871 1724 0 0 25 0 1 0 20238896 5173248 938 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 938 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1182.45 Current children cumulated vsize (Kb) 7180 [startup+1270.11 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) T 5522 5522 4060 0 -1 0 969 0 0 0 47777 1753 0 0 25 0 1 0 20238896 5173248 939 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5527/statm): 1263 939 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1191.8 Current children cumulated vsize (Kb) 7180 [startup+1280.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) R 5522 5522 4060 0 -1 0 969 0 0 0 48686 1782 0 0 25 0 1 0 20238896 5173248 939 4294967295 134512640 134702520 3221223712 3221223112 134607338 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5527/statm): 1263 939 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1201.18 Current children cumulated vsize (Kb) 7180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1280.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 5527 Raw data (/proc/5522/stat): 5522 (vallstSAT2005PB) S 5521 5522 4060 0 -1 0 378 1715 0 0 1 1 67516 2132 19 0 1 0 20164918 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5522/statm): 532 248 485 147 0 385 0 [pid=5522] vsize: 2128 Raw data (/proc/5527/stat): 5527 (vallst) R 5522 5522 4060 0 -1 0 969 0 0 0 48686 1782 0 0 25 0 1 0 20238896 5173248 939 4294967295 134512640 134702520 3221223712 3221223112 134607338 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5527/statm): 1263 939 413 48 0 1215 0 [pid=5527] vsize: 5052 Current children cumulated CPU time (s) 1201.18 Current children cumulated vsize (Kb) 7180 Sending SIGTERM to -5522 Sleeping 2 seconds New process pid=5529 New process pid=5530 open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf execve syscall for /bin/ps executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libproc.so.2.0.13 open syscall for file tls/i686/libproc.so.2.0.13 open syscall for file tls/mmx/libproc.so.2.0.13 open syscall for file tls/libproc.so.2.0.13 open syscall for file i686/mmx/libproc.so.2.0.13 open syscall for file i686/libproc.so.2.0.13 open syscall for file mmx/libproc.so.2.0.13 open syscall for file libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13 open syscall for file /etc/ld.so.cache open syscall for file /lib/libproc.so.2.0.13 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /proc/self/stat open syscall for file /proc/self/statm open syscall for file /proc/self/status open syscall for file /proc/uptime open syscall for file /proc/meminfo open syscall for file /proc open syscall for file /proc/1/stat open syscall for file /proc/1/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1/cmdline open syscall for file /proc/1/environ open syscall for file /proc/2/stat open syscall for file /proc/2/status open syscall for file /proc/2/cmdline open syscall for file /proc/2/environ open syscall for file /proc/3/stat open syscall for file /proc/3/status open syscall for file /proc/3/cmdline open syscall for file /proc/3/environ open syscall for file /proc/4/stat open syscall for file /proc/4/status open syscall for file /proc/4/cmdline open syscall for file /proc/4/environ open syscall for file /proc/5/stat open syscall for file /proc/5/status open syscall for file /proc/5/cmdline open syscall for file /proc/5/environ open syscall for file /proc/6/stat open syscall for file /proc/6/status open syscall for file /proc/6/cmdline open syscall for file /proc/6/environ open syscall for file /proc/7/stat open syscall for file /proc/7/status open syscall for file /proc/7/cmdline open syscall for file /proc/7/environ open syscall for file /proc/8/stat open syscall for file /proc/8/status open syscall for file /proc/8/cmdline open syscall for file /proc/8/environ open syscall for file /proc/9/stat open syscall for file /proc/9/status open syscall for file /proc/9/cmdline open syscall for file /proc/9/environ open syscall for file /proc/10/stat open syscall for file /proc/10/status open syscall for file /proc/10/cmdline open syscall for file /proc/10/environ open syscall for file /proc/11/stat open syscall for file /proc/11/status open syscall for file /proc/11/cmdline open syscall for file /proc/11/environ open syscall for file /proc/34/stat open syscall for file /proc/34/status open syscall for file /proc/34/cmdline open syscall for file /proc/34/environ open syscall for file /proc/35/stat open syscall for file /proc/35/status open syscall for file /proc/35/cmdline open syscall for file /proc/35/environ open syscall for file /proc/36/stat open syscall for file /proc/36/status open syscall for file /proc/36/cmdline open syscall for file /proc/36/environ open syscall for file /proc/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/826/stat open syscall for file /proc/826/status open syscall for file /proc/826/cmdline open syscall for file /proc/826/environ open syscall for file /proc/827/stat open syscall for file /proc/827/status open syscall for file /proc/827/cmdline open syscall for file /proc/827/environ open syscall for file /proc/1260/stat open syscall for file /proc/1260/status open syscall for file /proc/1260/cmdline open syscall for file /proc/1260/environ open syscall for file /proc/1264/stat open syscall for file /proc/1264/status open syscall for file /proc/1264/cmdline open syscall for file /proc/1264/environ open syscall for file /proc/1286/stat open syscall for file /proc/1286/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1286/cmdline open syscall for file /proc/1286/environ open syscall for file /proc/1316/stat open syscall for file /proc/1316/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1316/cmdline open syscall for file /proc/1316/environ open syscall for file /proc/1360/stat open syscall for file /proc/1360/status open syscall for file /proc/1360/cmdline open syscall for file /proc/1360/environ open syscall for file /proc/1388/stat open syscall for file /proc/1388/status open syscall for file /proc/1388/cmdline open syscall for file /proc/1388/environ open syscall for file /proc/1452/stat open syscall for file /proc/1452/status open syscall for file /proc/1452/cmdline open syscall for file /proc/1452/environ open syscall for file /proc/1480/stat open syscall for file /proc/1480/status open syscall for file /proc/1480/cmdline open syscall for file /proc/1480/environ open syscall for file /proc/1504/stat open syscall for file /proc/1504/status open syscall for file /proc/1504/cmdline open syscall for file /proc/1504/environ open syscall for file /proc/1545/stat open syscall for file /proc/1545/status open syscall for file /proc/1545/cmdline open syscall for file /proc/1545/environ open syscall for file /proc/1569/stat open syscall for file /proc/1569/status open syscall for file /proc/1569/cmdline open syscall for file /proc/1569/environ open syscall for file /proc/1592/stat open syscall for file /proc/1592/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1592/cmdline open syscall for file /proc/1592/environ open syscall for file /proc/1623/stat open syscall for file /proc/1623/status open syscall for file /proc/1623/cmdline open syscall for file /proc/1623/environ open syscall for file /proc/1681/stat open syscall for file /proc/1681/status open syscall for file /proc/1681/cmdline open syscall for file /proc/1681/environ open syscall for file /proc/1686/stat open syscall for file /proc/1686/status open syscall for file /proc/1686/cmdline open syscall for file /proc/1686/environ open syscall for file /proc/1687/stat open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options open syscall for file /proc/1687/status open syscall for file /proc/1687/cmdline open syscall for file /proc/1687/environ open syscall for file /proc/1688/stat open syscall for file /proc/1688/status open syscall for file /proc/1688/cmdline open syscall for file /proc/1688/environ open syscall for file /proc/1689/stat open syscall for file /proc/1689/status open syscall for file /proc/1689/cmdline open syscall for file /proc/1689/environ open syscall for file /proc/1690/stat open syscall for file /proc/1690/status open syscall for file /proc/1690/cmdline open syscall for file /proc/1690/environ open syscall for file /proc/1691/stat open syscall for file /proc/1691/status open syscall for file /proc/1691/cmdline open syscall for file /proc/1691/environ open syscall for file /proc/1692/stat open syscall for file /proc/1692/status One traced child (pid=5527) exited with status: 3 open syscall for file /proc/1692/cmdline open syscall for file /proc/1692/environ open syscall for file /proc/4043/stat open syscall for file /proc/4043/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/4043/cmdline open syscall for file /proc/4043/environ open syscall for file /proc/4068/stat open syscall for file /proc/4068/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/4068/cmdline open syscall for file /proc/4068/environ open syscall for file /proc/5483/stat open syscall for file /proc/5483/status open syscall for file /proc/5483/cmdline open syscall for file /proc/5483/environ open syscall for file /proc/5521/stat open syscall for file /proc/5521/status open syscall for file /proc/5521/cmdline open syscall for file /proc/5521/environ open syscall for file /proc/5522/stat open syscall for file /proc/5522/status open syscall for file /proc/5522/cmdline open syscall for file /proc/5522/environ open syscall for file /proc/5529/stat open syscall for file /proc/5529/status open syscall for file /proc/5529/cmdline open syscall for file /proc/5529/environ open syscall for file /proc/5530/stat open syscall for file /proc/5530/status open syscall for file /proc/5530/cmdline open syscall for file /proc/5530/environ One traced child (pid=5529) exited with status: 0 One traced child (pid=5530) exited with status: 0 New process pid=5531 execve syscall for /bin/sleep executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/tls/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/i686/libm.so.6 open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/librt.so.1 open syscall for file tls/i686/librt.so.1 open syscall for file tls/mmx/librt.so.1 open syscall for file tls/librt.so.1 open syscall for file i686/mmx/librt.so.1 open syscall for file i686/librt.so.1 open syscall for file mmx/librt.so.1 open syscall for file librt.so.1 open syscall for file /oldhome/oroussel/lib/librt.so.1 open syscall for file /lib/tls/librt.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 One traced child (pid=5531) exited with status: 0 New process pid=5532 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=5532) exited with status: 0 One traced child (pid=5522) 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): 1280.59 CPU time (s): 1201.37 CPU user time (s): 1162.14 CPU system time (s): 39.231 CPU usage (%): 93.8136 Max. virtual memory (cumulated for all children) (Kb): 9140
ERROR: no interpretation found !