| Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-cap6000.opb |
| MD5SUM | f72618c4c62a4e83b66d53971e0bdc53 |
| 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.13 |
| 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 wulflinc17 THE 2005-09-23 11:48:46 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7977 boxname=wulflinc17 idbench=945 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f72618c4c62a4e83b66d53971e0bdc53 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-cap6000.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-cap6000.opb 0 IDLAUNCH: 7977 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 943812 kB Buffers: 12316 kB Cached: 59900 kB SwapCached: 0 kB Active: 43680 kB Inactive: 31348 kB HighTotal: 131008 kB HighFree: 66864 kB LowTotal: 903652 kB LowFree: 876948 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6976 kB Slab: 10100 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 12:09:58 (client local time) WITH STATUS 0 IN 1200.71 SECONDS stats: 7977 7 1200.71 0
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 46 (#equs: 76) #decisions: 5792; #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: 220087 (12749515:>=*); #decisions: 5818; #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: 223278 (12746324:>=*); #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: 223329 (12746273:>=*); #decisions: 5798; #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: 223649 (12745953:>=*); #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: 223731 (12745871:>=*); #decisions: 5805; #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: 223821 (12745781:>=*); #decisions: 5805; #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: 224286 (12745316:>=*); #decisions: 5803; #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: 224368 (12745234:>=*); #decisions: 5803; #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: 224476 (12745126:>=*); #decisions: 5806; #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: 224868 (12744734:>=*); #decisions: 5805; #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: 224950 (12744652:>=*); #decisions: 5803; #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: 225058 (12744544:>=*); #decisions: 5806; #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: 225255 (12744347:>=*); #decisions: 5802; #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: 225267 (12744335:>=*); #decisions: 5801; #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: 225293 (12744309:>=*); #decisions: 5800; #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: 225375 (12744227:>=*); #decisions: 5803; #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: 225587 (12744015:>=*); #decisions: 5807; #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: 226190 (12743412:>=*); #decisions: 5796; #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: 226278 (12743324:>=*); #decisions: 5801; #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: 226309 (12743293:>=*); #decisions: 5806; #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: 226321 (12743281:>=*); #decisions: 5800; #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: 226429 (12743173:>=*); #decisions: 5800; #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: 226464 (12743138:>=*); #decisions: 5806; #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: 226882 (12742720:>=*); #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: 227230 (12742372:>=*); #decisions: 5810; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 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: 227238 (12742364:>=*); #decisions: 5798; #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: 227346 (12742256:>=*); #decisions: 5817; #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: 227492 (12742110:>=*); #decisions: 5819; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 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: 227504 (12742098:>=*); #decisions: 5815; #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: 227530 (12742072:>=*); #decisions: 5802; #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: 227612 (12741990:>=*); #decisions: 5821; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 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: 227646 (12741956:>=*); #decisions: 5858; #end-nodes: 65; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 65 / 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: 227650 (12741952:>=*); #decisions: 5800; #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: 227684 (12741918:>=*); #decisions: 5803; #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: 227758 (12741844:>=*); #decisions: 5823; #end-nodes: 32; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 32 / 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: 227767 (12741835:>=*); #decisions: 5825; #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: 227979 (12741623:>=*); #decisions: 5822; #end-nodes: 30; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 30 / 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: 228005 (12741597:>=*); #decisions: 5831; #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: 228087 (12741515:>=*); #decisions: 5839; #end-nodes: 47; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 47 / 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: 228168 (12741434:>=*); #decisions: 5806; #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: 228206 (12741396:>=*); #decisions: 5806; #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: 228288 (12741314:>=*); #decisions: 5829; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 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: 230065 (12739537:>=*); #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: 230447 (12739155:>=*); #decisions: 5798; #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: 230545 (12739057:>=*); #decisions: 5800; #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: 230865 (12738737:>=*); #decisions: 5801; #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: 231057 (12738545:>=*); #decisions: 5819; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 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: 231101 (12738501:>=*); #decisions: 5800; #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: 231163 (12738439:>=*); #decisions: 5814; #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: 231201 (12738401:>=*); #decisions: 5822; #end-nodes: 29; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 29 / 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: 231247 (12738355:>=*); #decisions: 5812; #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: 231370 (12738232:>=*); #decisions: 5798; #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: 231401 (12738201:>=*); #decisions: 5806; #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: 231435 (12738167:>=*); #decisions: 5801; #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: 231517 (12738085:>=*); #decisions: 5815; #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: 231581 (12738021:>=*); #decisions: 5816; #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: 231663 (12737939:>=*); #decisions: 5820; #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: 231741 (12737861:>=*); #decisions: 5798; #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: 231823 (12737779:>=*); #decisions: 5799; #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: 231887 (12737715:>=*); #decisions: 5798; #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: 231969 (12737633:>=*); #decisions: 5820; #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: 232077 (12737525:>=*); #decisions: 5806; #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: 232111 (12737491:>=*); #decisions: 5820; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 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: 232193 (12737409:>=*); #decisions: 5804; #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: 232231 (12737371:>=*); #decisions: 5795; #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: 232313 (12737289:>=*); #decisions: 5803; #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: 232514 (12737088:>=*); #decisions: 5838; #end-nodes: 45; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 45 / 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: 232732 (12736870:>=*); #decisions: 5809; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 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: 232770 (12736832:>=*); #decisions: 35055; #end-nodes: 402; #proof improvement attempts: 0; #restarts: 5 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: 233526 (12736076:>=*); #decisions: 5802; #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: 234108 (12735494:>=*); #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: 234265 (12735337:>=*); #decisions: 5796; #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: 234300 (12735302:>=*); #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: 234575 (12735027:>=*); #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: 234614 (12734988:>=*); #decisions: 5794; #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: 234690 (12734912:>=*); #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: 235149 (12734453:>=*); #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: 235225 (12734377:>=*); #decisions: 5792; #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: 235228 (12734374:>=*); #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: 235259 (12734343:>=*); #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: 235419 (12734183:>=*); #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: 235576 (12734026:>=*); #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: 235607 (12733995:>=*); #decisions: 5794; #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: 235610 (12733992:>=*); #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: 235686 (12733916:>=*); #decisions: 5792; #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: 235725 (12733877:>=*); #decisions: 5802; #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: 236335 (12733267:>=*); #decisions: 5798; #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: 236419 (12733183:>=*); #decisions: 5794; #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: 236576 (12733026:>=*); #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: 236607 (12732995:>=*); #decisions: 5792; #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: 236610 (12732992:>=*); #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: 236686 (12732916:>=*); #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: 236691 (12732911:>=*); #decisions: 5795; #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: 236708 (12732894:>=*); #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: 237363 (12732239:>=*); #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: 237515 (12732087:>=*); #decisions: 5795; #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: 237588 (12732014:>=*); #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: 237863 (12731739:>=*); #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: 237866 (12731736:>=*); #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: 237897 (12731705:>=*); #decisions: 5798; #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: 238331 (12731271:>=*); #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: 238334 (12731268:>=*); #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: 238423 (12731179:>=*); #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: 238451 (12731151:>=*); #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: 238599 (12731003:>=*); #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: 238604 (12730998:>=*); #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: 238879 (12730723:>=*); #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: 238882 (12730720:>=*); #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: 238913 (12730689:>=*); #decisions: 5788; #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: 238955 (12730647:>=*); #decisions: 5830; #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: 239017 (12730585:>=*); #decisions: 5793; #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: 239095 (12730507:>=*); #decisions: 23371; #end-nodes: 240; #proof improvement attempts: 0; #restarts: 3 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: 287013 (12682589:>=*); #decisions: 5786; #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: 287191 (12682411:>=*); #decisions: 5787; #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: 287417 (12682185:>=*); #decisions: 5785; #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: 287656 (12681946:>=*); #decisions: 5788; #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: 288040 (12681562:>=*); #decisions: 5783; #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: 288266 (12681336:>=*); #decisions: 5784; #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: 288310 (12681292:>=*); #decisions: 5795; #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: 288844 (12680758:>=*); #decisions: 5817; #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: 296817 (12672785:>=*); #decisions: 5787; #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: 296989 (12672613:>=*); #decisions: 5785; #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: 296995 (12672607:>=*); #decisions: 5785; #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: 296997 (12672605:>=*); #decisions: 5786; #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: 297247 (12672355:>=*); #decisions: 5786; #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: 297299 (12672303:>=*); #decisions: 5784; #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: 297305 (12672297:>=*); #decisions: 5785; #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: 297373 (12672229:>=*); #decisions: 5786; #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: 297390 (12672212:>=*); #decisions: 5784; #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: 297608 (12671994:>=*); #decisions: 5783; #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: 297623 (12671979:>=*); #decisions: 5782; #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: 297631 (12671971:>=*); #decisions: 5783; #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: 297857 (12671745:>=*); #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: 298234 (12671368:>=*); #decisions: 5787; #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: 298316 (12671286:>=*); #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: 298711 (12670891:>=*); #decisions: 5786; #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: 299035 (12670567:>=*); #decisions: 5783; #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: 299043 (12670559:>=*); #decisions: 5784; #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: 299059 (12670543:>=*); #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: 299524 (12670078:>=*); #decisions: 5783; #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: 299609 (12669993:>=*); #decisions: 5789; #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: 300018 (12669584:>=*); #decisions: 5784; #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: 300344 (12669258:>=*); #decisions: 5783; #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: 300367 (12669235:>=*); #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: 300736 (12668866:>=*); #decisions: 5783; #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: 300742 (12668860:>=*); #decisions: 5785; #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: 300907 (12668695:>=*); #decisions: 5783; #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: 300913 (12668689:>=*); #decisions: 5785; #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: 300918 (12668684:>=*); #decisions: 5785; #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: 300920 (12668682:>=*); #decisions: 5783; #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: 300926 (12668676:>=*); #decisions: 5786; #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: 301144 (12668458:>=*); #decisions: 5784; #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: 301152 (12668450:>=*); #decisions: 5784; #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: 301197 (12668405:>=*); #decisions: 5784; #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: 301254 (12668348:>=*); #decisions: 5784; #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: 301271 (12668331:>=*); #decisions: 5789; #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: 301606 (12667996:>=*); #decisions: 5782; #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: 301832 (12667770:>=*); #decisions: 5783; #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: 301985 (12667617:>=*); #decisions: 5784; #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: 302309 (12667293:>=*); #decisions: 5782; #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: 302454 (12667148:>=*); #decisions: 5780; #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: 302693 (12666909:>=*); #decisions: 5786; #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: 302780 (12666822:>=*); #decisions: 5784; #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: 302786 (12666816:>=*); #decisions: 5787; #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: 302872 (12666730:>=*); #decisions: 5785; #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: 302878 (12666724:>=*); #decisions: 5786; #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: 303104 (12666498:>=*); #decisions: 5785; #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: 303112 (12666490:>=*); #decisions: 5787; #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: 303436 (12666166:>=*); #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: 305872 (12663730:>=*); #decisions: 5788; #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: 306186 (12663416:>=*); #decisions: 5785; #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: 306327 (12663275:>=*); #decisions: 5785; #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: 306427 (12663175:>=*); #decisions: 5785; #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: 306653 (12662949:>=*); #decisions: 5782; #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: 306661 (12662941:>=*); #decisions: 5783; #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: 306722 (12662880:>=*); #decisions: 5783; #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: 306812 (12662790:>=*); #decisions: 5784; #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: 306888 (12662714:>=*); #decisions: 5784; #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: 307130 (12662472:>=*); #decisions: 5787; #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: 307358 (12662244:>=*); #decisions: 5786; #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: 307682 (12661920:>=*); #decisions: 5785; #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: 307932 (12661670:>=*); #decisions: 5787; #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: 307936 (12661666:>=*); #decisions: 5788; #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: 307961 (12661641:>=*); #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: 308345 (12661257:>=*); #decisions: 5784; #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: 308571 (12661031:>=*); #decisions: 5783; #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: 308810 (12660792:>=*); #decisions: 5782; #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: 308818 (12660784:>=*); #decisions: 5785; #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: 309144 (12660458:>=*); #decisions: 5785; #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: 309399 (12660203:>=*); #decisions: 5780; #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: 309625 (12659977:>=*); #decisions: 5781; #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: 309722 (12659880:>=*); #decisions: 5782; #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: 309879 (12659723:>=*); #decisions: 5782; #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: 310203 (12659399:>=*); #decisions: 5782; #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: 310414 (12659188:>=*); #decisions: 5780; #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: 310664 (12658938:>=*); #decisions: 5780; #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: 310748 (12658854:>=*); #decisions: 5779; #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: 310824 (12658778:>=*); #decisions: 5780; #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: 311066 (12658536:>=*); #decisions: 5779; #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: 311099 (12658503:>=*); #decisions: 5779; #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: 311123 (12658479:>=*); #decisions: 5778; #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: 311190 (12658412:>=*); #decisions: 5784; #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: 311318 (12658284:>=*); #decisions: 5784; #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: 311420 (12658182:>=*); #decisions: 5789; #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: 311830 (12657772:>=*); #decisions: 5783; #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: 311996 (12657606:>=*); #decisions: 5782; #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: 312246 (12657356:>=*); #decisions: 5782; #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: 312529 (12657073:>=*); #decisions: 5780; #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: 312664 (12656938:>=*); #decisions: 5785; #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: 312747 (12656855:>=*); #decisions: 5789; #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: 312972 (12656630:>=*); #decisions: 5778; #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: 313198 (12656404:>=*); #decisions: 5786; #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: 313221 (12656381:>=*); #decisions: 5789; #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: 313686 (12655916:>=*); #decisions: 5785; #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: 313844 (12655758:>=*); #decisions: 5787; #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: 313916 (12655686:>=*); #decisions: 5783; #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: 313924 (12655678:>=*); #decisions: 5789; #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: 314075 (12655527:>=*); #decisions: 5783; #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: 314083 (12655519:>=*); #decisions: 5782; #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: 314163 (12655439:>=*); #decisions: 5780; #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: 314317 (12655285:>=*); #decisions: 5779; #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: 314515 (12655087:>=*); #decisions: 5781; #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: 314798 (12654804:>=*); #decisions: 5820; #end-nodes: 39; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 39 / 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: 314873 (12654729:>=*); #decisions: 5785; #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: 315003 (12654599:>=*); #decisions: 5819; #end-nodes: 39; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 39 / 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: 315016 (12654586:>=*); #decisions: 5820; #end-nodes: 40; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 40 / 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: 315032 (12654570:>=*); #decisions: 5781; #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: 315242 (12654360:>=*); #decisions: 5804; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 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: 315450 (12654152:>=*); #decisions: 5832; #end-nodes: 52; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 52 / 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: 315526 (12654076:>=*); #decisions: 5818; #end-nodes: 37; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 37 / 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: 315537 (12654065:>=*); #decisions: 5807; #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: 315550 (12654052:>=*); #decisions: 5791; #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: 315696 (12653906:>=*); #decisions: 5810; #end-nodes: 30; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 30 / 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: 315845 (12653757:>=*); #decisions: 5815; #end-nodes: 36; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 36 / 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: 315946 (12653656:>=*); #decisions: 5782; #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: 316173 (12653429:>=*); #decisions: 5780; #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: 316423 (12653179:>=*); #decisions: 5853; #end-nodes: 75; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 75 / 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: 316574 (12653028:>=*); #decisions: 560324; #end-nodes: 8809; #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:) 316574 (12653028:>=*) 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: 17 min, 25 sec 2: seed: 0 Nr of vars set: 46 (#equs: 0) Nr of vars set: 46 (#equs: 0) Interupt request received. #decisions: 339364; #end-nodes: 7230; #proof improvement attempts: 0; #restarts: 57 Current batch, end-nodes: 0 / 134 (134) #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: 4883 (#equs: 0) Time taken: 2 min, 34 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/4988/stat): 4988 (vallstSAT2005PB) R 4987 4988 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19952483 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4988/statm): 174 3 169 147 0 27 0
[pid=4988] 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=4989
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=4989) exited with status: 0
New process pid=4990
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=4990) exited with status: 0
New process pid=4991
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/wulflinc17/normalized-mps-v2-13-7-cap6000.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0029 s]
Raw data (loadavg): 0.97 1.04 1.02 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 548 0 0 0 921 26 0 0 25 0 1 0 19952491 4141056 518 4294967295 134512640 134702520 3221223952 3221223088 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1011 518 413 48 0 963 0
[pid=4991] vsize: 4044
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (Kb) 6172
[startup+20.0046 s]
Raw data (loadavg): 0.98 1.04 1.02 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 634 0 0 0 1844 49 0 0 24 0 1 0 19952491 7180288 604 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 604 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 18.95
Current children cumulated vsize (Kb) 9140
[startup+30.0052 s]
Raw data (loadavg): 0.98 1.04 1.02 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 684 0 0 0 2774 71 0 0 25 0 1 0 19952491 7180288 654 4294967295 134512640 134702520 3221223952 3221223352 134607274 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 654 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 28.47
Current children cumulated vsize (Kb) 9140
[startup+40.0058 s]
Raw data (loadavg): 0.98 1.04 1.02 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 684 0 0 0 3703 96 0 0 25 0 1 0 19952491 7180288 654 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 654 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 38.01
Current children cumulated vsize (Kb) 9140
[startup+50.0074 s]
Raw data (loadavg): 0.98 1.03 1.02 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 684 0 0 0 4631 121 0 0 25 0 1 0 19952491 7180288 654 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 654 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 47.54
Current children cumulated vsize (Kb) 9140
[startup+60.008 s]
Raw data (loadavg): 0.99 1.03 1.02 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 684 0 0 0 5554 146 0 0 25 0 1 0 19952491 7180288 654 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 654 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 57.02
Current children cumulated vsize (Kb) 9140
[startup+70.0096 s]
Raw data (loadavg): 0.99 1.03 1.02 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 690 0 0 0 6480 171 0 0 25 0 1 0 19952491 7180288 660 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 660 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 66.53
Current children cumulated vsize (Kb) 9140
[startup+80.0102 s]
Raw data (loadavg): 0.99 1.03 1.01 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 690 0 0 0 7409 194 0 0 25 0 1 0 19952491 7180288 660 4294967295 134512640 134702520 3221223952 3221223536 134558697 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 660 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 76.05
Current children cumulated vsize (Kb) 9140
[startup+90.0108 s]
Raw data (loadavg): 0.99 1.03 1.01 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 696 0 0 0 8332 222 0 0 25 0 1 0 19952491 7180288 666 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 666 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 85.56
Current children cumulated vsize (Kb) 9140
[startup+100.011 s]
Raw data (loadavg): 0.99 1.03 1.01 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 696 0 0 0 9258 246 0 0 25 0 1 0 19952491 7180288 666 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 666 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 95.06
Current children cumulated vsize (Kb) 9140
[startup+110.013 s]
Raw data (loadavg): 0.99 1.03 1.01 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 725 0 0 0 10184 268 0 0 25 0 1 0 19952491 7180288 695 4294967295 134512640 134702520 3221223952 3221223352 134606956 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 695 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 104.54
Current children cumulated vsize (Kb) 9140
[startup+120.014 s]
Raw data (loadavg): 0.99 1.02 1.01 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 789 0 0 0 11111 293 0 0 25 0 1 0 19952491 7180288 759 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 759 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 114.06
Current children cumulated vsize (Kb) 9140
[startup+130.022 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1018 0 0 0 12038 318 0 0 25 0 1 0 19952491 7180288 988 4294967295 134512640 134702520 3221223952 3221223352 134607270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 988 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 123.58
Current children cumulated vsize (Kb) 9140
[startup+140.023 s]
Raw data (loadavg): 0.99 1.02 1.01 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1174 0 0 0 12971 340 0 0 24 0 1 0 19952491 7180288 1144 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1144 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 133.13
Current children cumulated vsize (Kb) 9140
[startup+150.024 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1174 0 0 0 13902 362 0 0 25 0 1 0 19952491 7180288 1144 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1144 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 142.66
Current children cumulated vsize (Kb) 9140
[startup+160.025 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1261 0 0 0 14832 383 0 0 25 0 1 0 19952491 7180288 1231 4294967295 134512640 134702520 3221223952 3221223536 134558734 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1231 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 152.17
Current children cumulated vsize (Kb) 9140
[startup+170.026 s]
Raw data (loadavg): 0.99 1.02 1.01 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1261 0 0 0 15755 408 0 0 25 0 1 0 19952491 7180288 1231 4294967295 134512640 134702520 3221223952 3221223536 134558734 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1231 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (Kb) 9140
[startup+180.026 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1261 0 0 0 16677 436 0 0 25 0 1 0 19952491 7180288 1231 4294967295 134512640 134702520 3221223952 3221223352 134607237 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1231 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 171.15
Current children cumulated vsize (Kb) 9140
[startup+190.027 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1261 0 0 0 17603 462 0 0 25 0 1 0 19952491 7180288 1231 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1231 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 180.67
Current children cumulated vsize (Kb) 9140
[startup+200.027 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1261 0 0 0 18529 487 0 0 25 0 1 0 19952491 7180288 1231 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1231 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 190.18
Current children cumulated vsize (Kb) 9140
[startup+210.028 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1261 0 0 0 19456 513 0 0 25 0 1 0 19952491 7180288 1231 4294967295 134512640 134702520 3221223952 3221223352 134607270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1231 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 199.71
Current children cumulated vsize (Kb) 9140
[startup+220.03 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1261 0 0 0 20383 538 0 0 25 0 1 0 19952491 7180288 1231 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1231 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 209.23
Current children cumulated vsize (Kb) 9140
[startup+230.03 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1261 0 0 0 21309 563 0 0 25 0 1 0 19952491 7180288 1231 4294967295 134512640 134702520 3221223952 3221223536 134558700 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1231 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 218.74
Current children cumulated vsize (Kb) 9140
[startup+240.031 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1261 0 0 0 22240 586 0 0 23 0 1 0 19952491 7180288 1231 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1231 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 228.28
Current children cumulated vsize (Kb) 9140
[startup+250.032 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1261 0 0 0 23178 605 0 0 25 0 1 0 19952491 7180288 1231 4294967295 134512640 134702520 3221223952 3221223072 134579045 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1231 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 237.85
Current children cumulated vsize (Kb) 9140
[startup+260.033 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 24094 633 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 247.29
Current children cumulated vsize (Kb) 9140
[startup+270.034 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 24998 667 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 256.67
Current children cumulated vsize (Kb) 9140
[startup+280.034 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 25925 692 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607256 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 266.19
Current children cumulated vsize (Kb) 9140
[startup+290.035 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 26850 717 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558700 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 275.69
Current children cumulated vsize (Kb) 9140
[startup+300.035 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 27777 742 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 285.21
Current children cumulated vsize (Kb) 9140
[startup+310.036 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 28704 766 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 294.72
Current children cumulated vsize (Kb) 9140
[startup+320.038 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 29634 789 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 304.25
Current children cumulated vsize (Kb) 9140
[startup+330.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 30561 813 0 0 24 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 313.76
Current children cumulated vsize (Kb) 9140
[startup+340.038 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 31487 838 0 0 24 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 323.27
Current children cumulated vsize (Kb) 9140
[startup+350.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 32419 859 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223232 134552698 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 332.8
Current children cumulated vsize (Kb) 9140
[startup+360.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 33346 881 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (Kb) 9140
[startup+370.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 34273 906 0 0 23 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 351.81
Current children cumulated vsize (Kb) 9140
[startup+380.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 35201 932 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607244 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 361.35
Current children cumulated vsize (Kb) 9140
[startup+390.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 36126 957 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 370.85
Current children cumulated vsize (Kb) 9140
[startup+400.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 37055 979 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 380.36
Current children cumulated vsize (Kb) 9140
[startup+410.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 37980 1003 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558734 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 389.85
Current children cumulated vsize (Kb) 9140
[startup+420.045 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 38892 1032 0 0 18 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 399.26
Current children cumulated vsize (Kb) 9140
[startup+430.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 39814 1058 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223436 134608160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 408.74
Current children cumulated vsize (Kb) 9140
[startup+440.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 40737 1084 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558707 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 418.23
Current children cumulated vsize (Kb) 9140
[startup+450.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 41664 1106 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607355 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 427.72
Current children cumulated vsize (Kb) 9140
[startup+460.047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 42591 1132 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 437.25
Current children cumulated vsize (Kb) 9140
[startup+470.048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 43519 1151 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 446.72
Current children cumulated vsize (Kb) 9140
[startup+480.048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 44449 1174 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 456.25
Current children cumulated vsize (Kb) 9140
[startup+490.049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 45379 1198 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607352 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 465.79
Current children cumulated vsize (Kb) 9140
[startup+500.049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 46303 1224 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607362 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 475.29
Current children cumulated vsize (Kb) 9140
[startup+510.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 47235 1247 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 484.84
Current children cumulated vsize (Kb) 9140
[startup+520.051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 48158 1270 0 0 20 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 494.3
Current children cumulated vsize (Kb) 9140
[startup+530.051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 49084 1296 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 503.82
Current children cumulated vsize (Kb) 9140
[startup+540.051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 50012 1320 0 0 23 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 513.34
Current children cumulated vsize (Kb) 9140
[startup+550.052 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 50941 1344 0 0 23 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 522.87
Current children cumulated vsize (Kb) 9140
[startup+560.053 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 51872 1368 0 0 24 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 532.42
Current children cumulated vsize (Kb) 9140
[startup+570.054 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 52799 1393 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 541.94
Current children cumulated vsize (Kb) 9140
[startup+580.054 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 53727 1416 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 551.45
Current children cumulated vsize (Kb) 9140
[startup+590.054 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 54654 1441 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 560.97
Current children cumulated vsize (Kb) 9140
[startup+600.055 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 55579 1468 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 570.49
Current children cumulated vsize (Kb) 9140
[startup+610.056 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 56507 1490 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 579.99
Current children cumulated vsize (Kb) 9140
[startup+620.057 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 57433 1515 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 589.5
Current children cumulated vsize (Kb) 9140
[startup+630.057 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 58360 1536 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 598.98
Current children cumulated vsize (Kb) 9140
[startup+640.058 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 59287 1560 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558700 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 608.49
Current children cumulated vsize (Kb) 9140
[startup+650.058 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 60215 1582 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223436 134608155 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 617.99
Current children cumulated vsize (Kb) 9140
[startup+660.059 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 61142 1606 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 627.5
Current children cumulated vsize (Kb) 9140
[startup+670.061 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 62070 1629 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 637.01
Current children cumulated vsize (Kb) 9140
[startup+680.061 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 63001 1653 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607291 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 646.56
Current children cumulated vsize (Kb) 9140
[startup+690.062 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 63922 1681 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 656.05
Current children cumulated vsize (Kb) 9140
[startup+700.063 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 64849 1707 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 665.58
Current children cumulated vsize (Kb) 9140
[startup+710.064 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 65776 1734 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 675.12
Current children cumulated vsize (Kb) 9140
[startup+720.065 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 66703 1758 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 684.63
Current children cumulated vsize (Kb) 9140
[startup+730.066 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 4991
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 67632 1782 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 694.16
Current children cumulated vsize (Kb) 9140
[startup+740.067 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 4993
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 68560 1804 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 703.66
Current children cumulated vsize (Kb) 9140
[startup+750.067 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 4993
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 69483 1830 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607341 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 713.15
Current children cumulated vsize (Kb) 9140
[startup+760.068 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 4993
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 70414 1852 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607362 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 722.68
Current children cumulated vsize (Kb) 9140
[startup+770.069 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 4993
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 71340 1877 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 732.19
Current children cumulated vsize (Kb) 9140
[startup+780.069 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 4993
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 72267 1903 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223436 134608162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 741.72
Current children cumulated vsize (Kb) 9140
[startup+790.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 4993
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 73191 1928 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223536 134558700 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 751.21
Current children cumulated vsize (Kb) 9140
[startup+800.071 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 4993
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 74120 1952 0 0 23 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223436 134608135 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 760.74
Current children cumulated vsize (Kb) 9140
[startup+810.072 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 4993
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 75056 1975 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223436 134608157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 770.33
Current children cumulated vsize (Kb) 9140
[startup+820.073 s]
Raw data (loadavg): 1.02 1.01 1.00 1/60 5043
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 75978 2000 0 0 23 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 779.8
Current children cumulated vsize (Kb) 9140
[startup+830.073 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5048
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 76912 2023 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223420 1074230080 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 789.37
Current children cumulated vsize (Kb) 9140
[startup+840.074 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5048
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 77838 2048 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 798.88
Current children cumulated vsize (Kb) 9140
[startup+850.075 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5048
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 78770 2070 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 808.42
Current children cumulated vsize (Kb) 9140
[startup+860.076 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5048
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 79673 2100 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 817.75
Current children cumulated vsize (Kb) 9140
[startup+870.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5048
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 80572 2132 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 827.06
Current children cumulated vsize (Kb) 9140
[startup+880.076 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5048
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 81465 2163 0 0 23 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 836.3
Current children cumulated vsize (Kb) 9140
[startup+890.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5050
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 82361 2196 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 845.59
Current children cumulated vsize (Kb) 9140
[startup+900.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 83264 2227 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 854.93
Current children cumulated vsize (Kb) 9140
[startup+910.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 84168 2257 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223072 134579029 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 864.27
Current children cumulated vsize (Kb) 9140
[startup+920.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 85061 2292 0 0 23 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223436 134608155 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 873.55
Current children cumulated vsize (Kb) 9140
[startup+930.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 85966 2323 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 882.91
Current children cumulated vsize (Kb) 9140
[startup+940.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 86872 2354 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 892.28
Current children cumulated vsize (Kb) 9140
[startup+950.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 87777 2390 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607278 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 901.69
Current children cumulated vsize (Kb) 9140
[startup+960.082 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 88676 2424 0 0 23 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 911.02
Current children cumulated vsize (Kb) 9140
[startup+970.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 89575 2454 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607237 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 920.31
Current children cumulated vsize (Kb) 9140
[startup+980.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 90479 2487 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 929.68
Current children cumulated vsize (Kb) 9140
[startup+990.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 91381 2516 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607355 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 938.99
Current children cumulated vsize (Kb) 9140
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 92286 2548 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607274 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 948.36
Current children cumulated vsize (Kb) 9140
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 93186 2581 0 0 24 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 957.69
Current children cumulated vsize (Kb) 9140
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 94092 2609 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607362 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 967.03
Current children cumulated vsize (Kb) 9140
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 94996 2641 0 0 24 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 976.39
Current children cumulated vsize (Kb) 9140
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 95898 2672 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223352 134607261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 985.72
Current children cumulated vsize (Kb) 9140
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 96796 2704 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 995.02
Current children cumulated vsize (Kb) 9140
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 97707 2731 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223072 134588404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 1004.4
Current children cumulated vsize (Kb) 9140
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 98606 2764 0 0 23 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223436 134608157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 1013.72
Current children cumulated vsize (Kb) 9140
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) T 4988 4988 4060 0 -1 0 1340 0 0 0 99515 2792 0 0 24 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 1023.09
Current children cumulated vsize (Kb) 9140
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 100422 2824 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 1032.48
Current children cumulated vsize (Kb) 9140
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5052
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19952483 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4988/statm): 532 242 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/4991/stat): 4991 (vallst) R 4988 4988 4060 0 -1 0 1340 0 0 0 101331 2855 0 0 25 0 1 0 19952491 7180288 1310 4294967295 134512640 134702520 3221223952 3221222848 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4991/statm): 1753 1310 413 48 0 1705 0
[pid=4991] vsize: 7012
Current children cumulated CPU time (s) 1041.88
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=4991) exited with status: 2
New process pid=5053
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=5053) exited with status: 0
New process pid=5054
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+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5054
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 488 0 0 0 521 27 0 0 25 0 1 0 20062914 3399680 458 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 830 458 413 48 0 782 0
[pid=5054] vsize: 3320
Current children cumulated CPU time (s) 1051.16
Current children cumulated vsize (Kb) 5448
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5054
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 488 0 0 0 1386 74 0 0 25 0 1 0 20062914 3399680 458 4294967295 134512640 134702520 3221223712 3221222848 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 830 458 413 48 0 782 0
[pid=5054] vsize: 3320
Current children cumulated CPU time (s) 1060.28
Current children cumulated vsize (Kb) 5448
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5054
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 959 0 0 0 2273 111 0 0 25 0 1 0 20062914 5038080 929 4294967295 134512640 134702520 3221223712 3221223196 134608133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1230 929 413 48 0 1182 0
[pid=5054] vsize: 4920
Current children cumulated CPU time (s) 1069.52
Current children cumulated vsize (Kb) 7048
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5054
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 960 0 0 0 3185 139 0 0 25 0 1 0 20062914 5038080 930 4294967295 134512640 134702520 3221223712 3221223196 134608162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1230 930 413 48 0 1182 0
[pid=5054] vsize: 4920
Current children cumulated CPU time (s) 1078.92
Current children cumulated vsize (Kb) 7048
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5054
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 960 0 0 0 4086 171 0 0 25 0 1 0 20062914 5038080 930 4294967295 134512640 134702520 3221223712 3221223112 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1230 930 413 48 0 1182 0
[pid=5054] vsize: 4920
Current children cumulated CPU time (s) 1088.25
Current children cumulated vsize (Kb) 7048
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5054
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 960 0 0 0 4992 200 0 0 25 0 1 0 20062914 5038080 930 4294967295 134512640 134702520 3221223712 3221223196 134608135 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1230 930 413 48 0 1182 0
[pid=5054] vsize: 4920
Current children cumulated CPU time (s) 1097.6
Current children cumulated vsize (Kb) 7048
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5054
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) T 4988 4988 4060 0 -1 0 961 0 0 0 5893 232 0 0 25 0 1 0 20062914 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5054/statm): 1231 931 413 48 0 1183 0
[pid=5054] vsize: 4924
Current children cumulated CPU time (s) 1106.93
Current children cumulated vsize (Kb) 7052
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5054
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 961 0 0 0 6796 265 0 0 25 0 1 0 20062914 5042176 931 4294967295 134512640 134702520 3221223712 3221222992 134552712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1231 931 413 48 0 1183 0
[pid=5054] vsize: 4924
Current children cumulated CPU time (s) 1116.29
Current children cumulated vsize (Kb) 7052
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5056
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 961 0 0 0 7695 299 0 0 23 0 1 0 20062914 5042176 931 4294967295 134512640 134702520 3221223712 3221223104 134603857 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1231 931 413 48 0 1183 0
[pid=5054] vsize: 4924
Current children cumulated CPU time (s) 1125.62
Current children cumulated vsize (Kb) 7052
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5056
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 961 0 0 0 8600 329 0 0 23 0 1 0 20062914 5042176 931 4294967295 134512640 134702520 3221223712 3221223196 134608133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1231 931 413 48 0 1183 0
[pid=5054] vsize: 4924
Current children cumulated CPU time (s) 1134.97
Current children cumulated vsize (Kb) 7052
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5056
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 961 0 0 0 9504 359 0 0 25 0 1 0 20062914 5042176 931 4294967295 134512640 134702520 3221223712 3221223112 134607338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1231 931 413 48 0 1183 0
[pid=5054] vsize: 4924
Current children cumulated CPU time (s) 1144.31
Current children cumulated vsize (Kb) 7052
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5056
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 961 0 0 0 10411 389 0 0 25 0 1 0 20062914 5042176 931 4294967295 134512640 134702520 3221223712 3221223112 134607266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1231 931 413 48 0 1183 0
[pid=5054] vsize: 4924
Current children cumulated CPU time (s) 1153.68
Current children cumulated vsize (Kb) 7052
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5056
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 961 0 0 0 11321 420 0 0 25 0 1 0 20062914 5042176 931 4294967295 134512640 134702520 3221223712 3221223112 134607278 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1231 931 413 48 0 1183 0
[pid=5054] vsize: 4924
Current children cumulated CPU time (s) 1163.09
Current children cumulated vsize (Kb) 7052
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5056
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 961 0 0 0 12227 451 0 0 25 0 1 0 20062914 5042176 931 4294967295 134512640 134702520 3221223712 3221223112 134607291 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1231 931 413 48 0 1183 0
[pid=5054] vsize: 4924
Current children cumulated CPU time (s) 1172.46
Current children cumulated vsize (Kb) 7052
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5056
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) T 4988 4988 4060 0 -1 0 961 0 0 0 13133 484 0 0 25 0 1 0 20062914 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1231 931 413 48 0 1183 0
[pid=5054] vsize: 4924
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (Kb) 7052
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5056
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) R 4988 4988 4060 0 -1 0 961 0 0 0 14033 515 0 0 25 0 1 0 20062914 5042176 931 4294967295 134512640 134702520 3221223712 3221223112 134607348 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1231 931 413 48 0 1183 0
[pid=5054] vsize: 4924
Current children cumulated CPU time (s) 1191.16
Current children cumulated vsize (Kb) 7052
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5056
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) T 4988 4988 4060 0 -1 0 961 0 0 0 14936 548 0 0 25 0 1 0 20062914 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1231 931 413 48 0 1183 0
[pid=5054] vsize: 4924
Current children cumulated CPU time (s) 1200.52
Current children cumulated vsize (Kb) 7052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5056
Raw data (/proc/4988/stat): 4988 (vallstSAT2005PB) S 4987 4988 4060 0 -1 0 378 1715 0 0 1 1 101695 2871 19 0 1 0 19952483 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4988/statm): 532 248 485 147 0 385 0
[pid=4988] vsize: 2128
Raw data (/proc/5054/stat): 5054 (vallst) T 4988 4988 4060 0 -1 0 961 0 0 0 14936 548 0 0 25 0 1 0 20062914 5042176 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5054/statm): 1231 931 413 48 0 1183 0
[pid=5054] vsize: 4924
Current children cumulated CPU time (s) 1200.52
Current children cumulated vsize (Kb) 7052
Sending SIGTERM to -4988
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5058
New process pid=5059
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=5054) exited with status: 3
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/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/1693/stat
open syscall for file /proc/1693/status
open syscall for file /proc/1693/cmdline
open syscall for file /proc/1693/environ
open syscall for file /proc/1695/stat
open syscall for file /proc/1695/status
open syscall for file /proc/1695/cmdline
open syscall for file /proc/1695/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/4949/stat
open syscall for file /proc/4949/status
open syscall for file /proc/4949/cmdline
open syscall for file /proc/4949/environ
open syscall for file /proc/4987/stat
open syscall for file /proc/4987/status
open syscall for file /proc/4987/cmdline
open syscall for file /proc/4987/environ
open syscall for file /proc/4988/stat
open syscall for file /proc/4988/status
open syscall for file /proc/4988/cmdline
open syscall for file /proc/4988/environ
open syscall for file /proc/5058/stat
open syscall for file /proc/5058/status
open syscall for file /proc/5058/cmdline
open syscall for file /proc/5058/environ
open syscall for file /proc/5059/stat
open syscall for file /proc/5059/status
open syscall for file /proc/5059/cmdline
open syscall for file /proc/5059/environ
One traced child (pid=5058) exited with status: 0
One traced child (pid=5059) exited with status: 0
New process pid=5060
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=5060) exited with status: 0
New process pid=5061
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=5061) exited with status: 0
One traced child (pid=4988) 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): 1271.61
CPU time (s): 1200.71
CPU user time (s): 1166.43
CPU system time (s): 34.2868
CPU usage (%): 94.4243
Max. virtual memory (cumulated for all children) (Kb): 9140
ERROR: no interpretation found !