Name | mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
MD5SUM | ec9eb8bc5f0ce888f87dfc271da55db8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4944 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.04 |
Number of variables | 11247 |
Total number of constraints | 19739 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 15744 |
Number of constraints which are nor clauses,nor cardinality constraints | 3918 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 68 |
LAUNCH ON wulflinc21 THE 2005-09-19 06:31:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7615 boxname=wulflinc21 idbench=583 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: ec9eb8bc5f0ce888f87dfc271da55db8 /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-mzzv11.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-mzzv11.opb 0 IDLAUNCH: 7615 /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 : 890.88 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 897624 kB Buffers: 23464 kB Cached: 85824 kB SwapCached: 804 kB Active: 40864 kB Inactive: 70984 kB HighTotal: 131008 kB HighFree: 44884 kB LowTotal: 903652 kB LowFree: 852740 kB SwapTotal: 2097892 kB SwapFree: 2096456 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5604 kB Slab: 19384 kB Committed_AS: 64368 kB PageTables: 340 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 06:53:44 (client local time) WITH STATUS 3 IN 365.041 SECONDS stats: 7615 7 365.041 3
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 354 (#equs: 73) #decisions: 7256; #end-nodes: 626; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 626 / 725 (80) #axs: 13190, #non-axs: 487 tight: meta-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: 66004 (10856:>=*); #decisions: 303; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 487 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66184 (10676:>=*); #decisions: 284; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 487 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66229 (10631:>=*); #decisions: 282; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 487 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66264 (10596:>=*); #decisions: 284; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13190, #non-axs: 487 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66309 (10551:>=*); #decisions: 261; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 487 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66324 (10536:>=*); #decisions: 280; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 487 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66369 (10491:>=*); #decisions: 270; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13190, #non-axs: 487 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66389 (10471:>=*); #decisions: 259; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 13190, #non-axs: 487 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66399 (10461:>=*); #decisions: 260; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 13190, #non-axs: 487 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66404 (10456:>=*); #decisions: 62340; #end-nodes: 8484; #proof improvement attempts: 0; #restarts: 3 Current batch, end-nodes: 1572 / 1759 (80) #axs: 13190, #non-axs: 5907 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66419 (10441:>=*); #decisions: 49457; #end-nodes: 6345; #proof improvement attempts: 0; #restarts: 4 Current batch, end-nodes: 202 / 257 (81) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66566 (10294:>=*); #decisions: 311; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66581 (10279:>=*); #decisions: 325; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66611 (10249:>=*); #decisions: 310; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66626 (10234:>=*); #decisions: 344; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66686 (10174:>=*); #decisions: 325; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66711 (10149:>=*); #decisions: 345; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66716 (10144:>=*); #decisions: 303; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66726 (10134:>=*); #decisions: 322; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66746 (10114:>=*); #decisions: 343; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66766 (10094:>=*); #decisions: 397; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66776 (10084:>=*); #decisions: 691; #end-nodes: 49; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 49 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66786 (10074:>=*); #decisions: 461; #end-nodes: 30; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 30 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66796 (10064:>=*); #decisions: 684; #end-nodes: 48; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 48 / 80 (80) #axs: 13190, #non-axs: 9939 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66801 (10059:>=*); #decisions: 49158; #end-nodes: 5352; #proof improvement attempts: 0; #restarts: 9 Current batch, end-nodes: 757 / 794 (82) #axs: 13190, #non-axs: 13124 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66806 (10054:>=*); #decisions: 358; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 13190, #non-axs: 13124 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66816 (10044:>=*); #decisions: 336; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 13190, #non-axs: 13124 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66826 (10034:>=*); #decisions: 378; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 80 (80) #axs: 13190, #non-axs: 13124 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66831 (10029:>=*); #decisions: 400; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 13190, #non-axs: 13124 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66841 (10019:>=*); #decisions: 358; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 13190, #non-axs: 13124 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66851 (10009:>=*); #decisions: 385; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 80 (80) #axs: 13190, #non-axs: 13125 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66856 (10004:>=*); #decisions: 427; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 80 (80) #axs: 13190, #non-axs: 13125 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66861 (9999:>=*); #decisions: 456; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 80 (80) #axs: 13190, #non-axs: 13125 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66871 (9989:>=*); #decisions: 401; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 13190, #non-axs: 13125 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66881 (9979:>=*); #decisions: 6142; #end-nodes: 649; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 408 / 617 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66978 (9882:>=*); #decisions: 412; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67158 (9702:>=*); #decisions: 379; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67188 (9672:>=*); #decisions: 360; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67203 (9657:>=*); #decisions: 428; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67278 (9582:>=*); #decisions: 379; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67308 (9552:>=*); #decisions: 380; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67338 (9522:>=*); #decisions: 374; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67368 (9492:>=*); #decisions: 341; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67383 (9477:>=*); #decisions: 372; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67403 (9457:>=*); #decisions: 422; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67448 (9412:>=*); #decisions: 357; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67463 (9397:>=*); #decisions: 417; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67503 (9357:>=*); #decisions: 388; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67533 (9327:>=*); #decisions: 547; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 80 (80) #axs: 13190, #non-axs: 13523 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67538 (9322:>=*); #decisions: 195792; #end-nodes: 20956; #proof improvement attempts: 0; #restarts: 24 Current batch, end-nodes: 366 / 481 (86) #axs: 13235, #non-axs: 22010 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67805 (9055:>=*); #decisions: 590; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 80 (80) #axs: 13235, #non-axs: 22010 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67815 (9045:>=*); #decisions: 577; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 13235, #non-axs: 22010 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67825 (9035:>=*); #decisions: 584; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 13235, #non-axs: 22010 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67830 (9030:>=*); #decisions: 467; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 13235, #non-axs: 22010 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67835 (9025:>=*); #decisions: 500; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 13235, #non-axs: 22010 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67875 (8985:>=*); #decisions: 530; #end-nodes: 19; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 19 / 80 (80) #axs: 13235, #non-axs: 22010 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67880 (8980:>=*); #decisions: 459; #end-nodes: 38; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 38 / 80 (80) #axs: 13235, #non-axs: 22010 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67885 (8975:>=*); #decisions: 443; #end-nodes: 33; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 33 / 80 (80) #axs: 13235, #non-axs: 22010 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67890 (8970:>=*); #decisions: 242116; #end-nodes: 28352; #proof improvement attempts: 0; #restarts: 36 Current batch, end-nodes: 417 / 565 (89) #axs: 13271, #non-axs: 35210 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67891 (8969:>=*); #decisions: 614; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13271, #non-axs: 35210 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67896 (8964:>=*); #decisions: 801; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 80 (80) #axs: 13271, #non-axs: 35210 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67901 (8959:>=*); #decisions: 14774; #end-nodes: 1846; #proof improvement attempts: 0; #restarts: 6 Current batch, end-nodes: 94 / 114 (81) #axs: 13271, #non-axs: 36141 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67905 (8955:>=*); #decisions: 810; #end-nodes: 60; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 60 / 80 (80) #axs: 13271, #non-axs: 36141 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67915 (8945:>=*); #decisions: 620; #end-nodes: 48; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 48 / 80 (80) #axs: 13271, #non-axs: 36141 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67920 (8940:>=*); #decisions: 58241; #end-nodes: 6409; #proof improvement attempts: 0; #restarts: 18 Current batch, end-nodes: 285 / 392 (84) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68269 (8591:>=*); #decisions: 481; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68329 (8531:>=*); #decisions: 378; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68334 (8526:>=*); #decisions: 425; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68344 (8516:>=*); #decisions: 369; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68349 (8511:>=*); #decisions: 406; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68354 (8506:>=*); #decisions: 413; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68359 (8501:>=*); #decisions: 462; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68364 (8496:>=*); #decisions: 482; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68369 (8491:>=*); #decisions: 425; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68379 (8481:>=*); #decisions: 597; #end-nodes: 35; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 35 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68389 (8471:>=*); #decisions: 681; #end-nodes: 50; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 50 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68394 (8466:>=*); #decisions: 523; #end-nodes: 16; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 16 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68404 (8456:>=*); #decisions: 506; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68409 (8451:>=*); #decisions: 512; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68414 (8446:>=*); #decisions: 413; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68419 (8441:>=*); #decisions: 518; #end-nodes: 16; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 16 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68424 (8436:>=*); #decisions: 509; #end-nodes: 23; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 23 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68429 (8431:>=*); #decisions: 439; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68434 (8426:>=*); #decisions: 861; #end-nodes: 68; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 68 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68439 (8421:>=*); #decisions: 702; #end-nodes: 73; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 73 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68444 (8416:>=*); #decisions: 439; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68449 (8411:>=*); #decisions: 404; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68459 (8401:>=*); #decisions: 437; #end-nodes: 16; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 16 / 80 (80) #axs: 13272, #non-axs: 39095 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68469 (8391:>=*); #decisions: 377884; #end-nodes: 39508; #proof improvement attempts: 0; #restarts: 79 Current batch, end-nodes: 268 / 312 (99) #axs: 13280, #non-axs: 48993 tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 13 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68482 (8378:>=*); #decisions: 949; #end-nodes: 58; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 58 / 80 (80) #axs: 13280, #non-axs: 48993 tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 13 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68492 (8368:>=*); #decisions: 521; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 13280, #non-axs: 48993 tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 13 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68497 (8363:>=*); #decisions: 82999; #end-nodes: 7937; #proof improvement attempts: 0; #restarts: 20 Current batch, end-nodes: 569 / 580 (85) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68499 (8361:>=*); #decisions: 397; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68509 (8351:>=*); #decisions: 499; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68514 (8346:>=*); #decisions: 493; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68519 (8341:>=*); #decisions: 400; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68529 (8331:>=*); #decisions: 408; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68539 (8321:>=*); #decisions: 397; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68549 (8311:>=*); #decisions: 429; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68559 (8301:>=*); #decisions: 403; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68569 (8291:>=*); #decisions: 409; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68579 (8281:>=*); #decisions: 486; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68599 (8261:>=*); #decisions: 437; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68609 (8251:>=*); #decisions: 502; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68619 (8241:>=*); #decisions: 480; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68624 (8236:>=*); #decisions: 636; #end-nodes: 30; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 30 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68634 (8226:>=*); #decisions: 848; #end-nodes: 49; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 49 / 80 (80) #axs: 13280, #non-axs: 47671 tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 11 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68639 (8221:>=*); #decisions: 421064; #end-nodes: 40909; #proof improvement attempts: 0; #restarts: 96 Current batch, end-nodes: 0 / 560 (103) #axs: 13353, #non-axs: 39456 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: (pushed:) 68639 (8221:>=*) 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: 3071 (#equs: 236) Time taken: 6 min, 41 sec 2: seed: 0 Nr of vars set: 3071 (#equs: 0) Nr of vars set: 3072 (#equs: 2) #decisions: 28255; #end-nodes: 2451; #proof improvement attempts: 0; #restarts: 5 Current batch, end-nodes: 234 / 282 (121) #axs: 10784, #non-axs: 40050 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 result: model found (1) Model found with constant: 63144 (7716:>=*); #decisions: 32403; #end-nodes: 3134; #proof improvement attempts: 0; #restarts: 4 Current batch, end-nodes: 811 / 986 (121) #axs: 10784, #non-axs: 41123 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63164 (7696:>=*); #decisions: 12516; #end-nodes: 1105; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 597 / 683 (120) #axs: 10784, #non-axs: 41387 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63174 (7686:>=*); #decisions: 85224; #end-nodes: 7784; #proof improvement attempts: 0; #restarts: 14 Current batch, end-nodes: 98 / 296 (123) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63177 (7683:>=*); #decisions: 640; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63182 (7678:>=*); #decisions: 712; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63222 (7638:>=*); #decisions: 798; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63227 (7633:>=*); #decisions: 723; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63232 (7628:>=*); #decisions: 715; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63237 (7623:>=*); #decisions: 642; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63242 (7618:>=*); #decisions: 721; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63282 (7578:>=*); #decisions: 823; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63297 (7563:>=*); #decisions: 748; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63302 (7558:>=*); #decisions: 754; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63312 (7548:>=*); #decisions: 724; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63317 (7543:>=*); #decisions: 781; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63332 (7528:>=*); #decisions: 764; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63337 (7523:>=*); #decisions: 746; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63342 (7518:>=*); #decisions: 701; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63347 (7513:>=*); #decisions: 708; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63352 (7508:>=*); #decisions: 1026; #end-nodes: 16; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 16 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63367 (7493:>=*); #decisions: 1075; #end-nodes: 45; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 45 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63372 (7488:>=*); #decisions: 675; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63382 (7478:>=*); #decisions: 691; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63387 (7473:>=*); #decisions: 923; #end-nodes: 56; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 56 / 120 (120) #axs: 10784, #non-axs: 43900 tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63392 (7468:>=*); #decisions: 1273457; #end-nodes: 124573; #proof improvement attempts: 0; #restarts: 157 Current batch, end-nodes: 455 / 479 (159) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63436 (7424:>=*); #decisions: 466; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63456 (7404:>=*); #decisions: 439; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63461 (7399:>=*); #decisions: 462; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63486 (7374:>=*); #decisions: 463; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63501 (7359:>=*); #decisions: 665; #end-nodes: 45; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 45 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63506 (7354:>=*); #decisions: 640; #end-nodes: 40; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 40 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63511 (7349:>=*); #decisions: 468; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63521 (7339:>=*); #decisions: 578; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63526 (7334:>=*); #decisions: 434; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63536 (7324:>=*); #decisions: 579; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63541 (7319:>=*); #decisions: 451; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63551 (7309:>=*); #decisions: 681; #end-nodes: 33; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 33 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63556 (7304:>=*); #decisions: 451; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63566 (7294:>=*); #decisions: 522; #end-nodes: 36; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 36 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63571 (7289:>=*); #decisions: 491; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63581 (7279:>=*); #decisions: 639; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63596 (7264:>=*); #decisions: 501; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63606 (7254:>=*); #decisions: 543; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63621 (7239:>=*); #decisions: 707; #end-nodes: 36; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 36 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63626 (7234:>=*); #decisions: 591; #end-nodes: 23; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 23 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63641 (7219:>=*); #decisions: 724; #end-nodes: 31; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 31 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63651 (7209:>=*); #decisions: 744; #end-nodes: 44; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 44 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63666 (7194:>=*); #decisions: 464; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63676 (7184:>=*); #decisions: 498; #end-nodes: 23; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 23 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63686 (7174:>=*); #decisions: 458; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63691 (7169:>=*); #decisions: 825; #end-nodes: 62; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 62 / 120 (120) #axs: 10800, #non-axs: 38778 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 63701 (7159:>=*); #decisions: 35231; #end-nodes: 3140; #proof improvement attempts: 0; #restarts: 10 Current batch, end-nodes: 244 / 265 (122) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64175 (6685:>=*); #decisions: 959; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64220 (6640:>=*); #decisions: 891; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64235 (6625:>=*); #decisions: 912; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64340 (6520:>=*); #decisions: 919; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64355 (6505:>=*); #decisions: 910; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64415 (6445:>=*); #decisions: 923; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64450 (6410:>=*); #decisions: 875; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64455 (6405:>=*); #decisions: 840; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64470 (6390:>=*); #decisions: 864; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64480 (6380:>=*); #decisions: 859; #end-nodes: 19; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 19 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64490 (6370:>=*); #decisions: 851; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64500 (6360:>=*); #decisions: 853; #end-nodes: 34; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 34 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64505 (6355:>=*); #decisions: 848; #end-nodes: 36; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 36 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64510 (6350:>=*); #decisions: 943; #end-nodes: 75; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 75 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64525 (6335:>=*); #decisions: 987; #end-nodes: 53; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 53 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64530 (6330:>=*); #decisions: 1034; #end-nodes: 98; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 98 / 120 (120) #axs: 10800, #non-axs: 39159 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64540 (6320:>=*); #decisions: 612098; #end-nodes: 58766; #proof improvement attempts: 0; #restarts: 96 Current batch, end-nodes: 0 / 695 (143) #axs: 10807, #non-axs: 32646 tight: meta-meta: start: 3, end: 4; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: (pushed:) 64540 (6320:>=*) 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: 3184 (#equs: 25) Time taken: 7 min, 20 sec 3: Error: out-theory file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf couldn't be opened. No such file or directory Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened. No such file or directory seed: 0 Nr of vars set: 3184 (#equs: 0) Nr of vars set: 3184 (#equs: 1) Interupt request received. #decisions: 1533876; #end-nodes: 163649; #proof improvement attempts: 0; #restarts: 272 Current batch, end-nodes: 0 / 228 (228) #axs: 10668, #non-axs: 61447 tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3 loose: meta-meta: start: 8, end: 12; meta: start: 23, end (keep): 38 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: 3225 (#equs: 10) Time taken: 6 min, 5 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) R 3645 3646 20602 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1725022519 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/3646/statm): 174 3 169 147 0 27 0 [pid=3646] 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=3647 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=3647) exited with status: 0 New process pid=3648 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=3648) exited with status: 0 New process pid=3649 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/wulflinc21/normalized-mps-v2-20-10-mzzv11.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0026 s] Raw data (loadavg): 0.93 0.96 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1325 0 0 0 889 38 0 0 25 0 1 0 1725022526 7524352 1223 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 1837 1223 413 48 0 1789 0 [pid=3649] vsize: 7348 Current children cumulated CPU time (s) 9.28 Current children cumulated vsize (Kb) 9476 [startup+20.0033 s] Raw data (loadavg): 0.94 0.96 0.98 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 1353 0 0 0 1787 74 0 0 21 0 1 0 1725022526 14778368 1251 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3649/statm): 3608 1251 413 48 0 3560 0 [pid=3649] vsize: 14432 Current children cumulated CPU time (s) 18.62 Current children cumulated vsize (Kb) 16560 [startup+30.004 s] Raw data (loadavg): 0.95 0.96 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1513 0 0 0 2577 146 0 0 21 0 1 0 1725022526 14778368 1411 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 3608 1411 413 48 0 3560 0 [pid=3649] vsize: 14432 Current children cumulated CPU time (s) 27.24 Current children cumulated vsize (Kb) 16560 [startup+40.0047 s] Raw data (loadavg): 0.96 0.96 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1604 0 0 0 3381 211 0 0 23 0 1 0 1725022526 14778368 1502 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 3608 1502 413 48 0 3560 0 [pid=3649] vsize: 14432 Current children cumulated CPU time (s) 35.93 Current children cumulated vsize (Kb) 16560 [startup+50.0063 s] Raw data (loadavg): 0.96 0.96 0.98 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 1639 0 0 0 4177 277 0 0 21 0 1 0 1725022526 14778368 1537 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3649/statm): 3608 1537 413 48 0 3560 0 [pid=3649] vsize: 14432 Current children cumulated CPU time (s) 44.55 Current children cumulated vsize (Kb) 16560 [startup+60.007 s] Raw data (loadavg): 0.97 0.96 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1668 0 0 0 4985 341 0 0 23 0 1 0 1725022526 14778368 1566 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 3608 1566 413 48 0 3560 0 [pid=3649] vsize: 14432 Current children cumulated CPU time (s) 53.27 Current children cumulated vsize (Kb) 16560 [startup+70.0077 s] Raw data (loadavg): 0.97 0.96 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1713 0 0 0 5789 404 0 0 20 0 1 0 1725022526 14913536 1611 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 3641 1611 413 48 0 3593 0 [pid=3649] vsize: 14564 Current children cumulated CPU time (s) 61.94 Current children cumulated vsize (Kb) 16692 [startup+80.0084 s] Raw data (loadavg): 0.98 0.96 0.98 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1763 0 0 0 6594 472 0 0 22 0 1 0 1725022526 14913536 1661 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 3641 1661 413 48 0 3593 0 [pid=3649] vsize: 14564 Current children cumulated CPU time (s) 70.67 Current children cumulated vsize (Kb) 16692 [startup+90.0091 s] Raw data (loadavg): 0.98 0.97 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1841 0 0 0 7422 533 0 0 23 0 1 0 1725022526 16166912 1739 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 3947 1739 413 48 0 3899 0 [pid=3649] vsize: 15788 Current children cumulated CPU time (s) 79.56 Current children cumulated vsize (Kb) 17916 [startup+100.01 s] Raw data (loadavg): 0.98 0.97 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1854 0 0 0 8228 594 0 0 17 0 1 0 1725022526 16166912 1752 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 3947 1752 413 48 0 3899 0 [pid=3649] vsize: 15788 Current children cumulated CPU time (s) 88.23 Current children cumulated vsize (Kb) 17916 [startup+110.01 s] Raw data (loadavg): 0.98 0.97 0.98 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1865 0 0 0 9049 657 0 0 22 0 1 0 1725022526 16166912 1763 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 3947 1763 413 48 0 3899 0 [pid=3649] vsize: 15788 Current children cumulated CPU time (s) 97.07 Current children cumulated vsize (Kb) 17916 [startup+120.01 s] Raw data (loadavg): 0.99 0.97 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1908 0 0 0 9871 717 0 0 24 0 1 0 1725022526 16302080 1806 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 3980 1806 413 48 0 3932 0 [pid=3649] vsize: 15920 Current children cumulated CPU time (s) 105.89 Current children cumulated vsize (Kb) 18048 [startup+130.011 s] Raw data (loadavg): 0.99 0.97 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1958 0 0 0 10686 780 0 0 17 0 1 0 1725022526 16302080 1856 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 3980 1856 413 48 0 3932 0 [pid=3649] vsize: 15920 Current children cumulated CPU time (s) 114.67 Current children cumulated vsize (Kb) 18048 [startup+140.012 s] Raw data (loadavg): 0.99 0.97 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 1978 0 0 0 11534 833 0 0 23 0 1 0 1725022526 16437248 1876 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/3649/statm): 4013 1876 413 48 0 3965 0 [pid=3649] vsize: 16052 Current children cumulated CPU time (s) 123.68 Current children cumulated vsize (Kb) 18180 [startup+150.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 1990 0 0 0 12363 890 0 0 23 0 1 0 1725022526 16437248 1888 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4013 1888 413 48 0 3965 0 [pid=3649] vsize: 16052 Current children cumulated CPU time (s) 132.54 Current children cumulated vsize (Kb) 18180 [startup+160.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2030 0 0 0 13223 936 0 0 22 0 1 0 1725022526 16609280 1928 4294967295 134512640 134702520 3221223952 3221223232 134553035 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4055 1928 413 48 0 4007 0 [pid=3649] vsize: 16220 Current children cumulated CPU time (s) 141.6 Current children cumulated vsize (Kb) 18348 [startup+170.015 s] Raw data (loadavg): 0.99 0.97 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2053 0 0 0 14062 991 0 0 22 0 1 0 1725022526 16609280 1951 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4055 1951 413 48 0 4007 0 [pid=3649] vsize: 16220 Current children cumulated CPU time (s) 150.54 Current children cumulated vsize (Kb) 18348 [startup+180.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2098 0 0 0 14893 1049 0 0 24 0 1 0 1725022526 16609280 1996 4294967295 134512640 134702520 3221223952 3221223232 134557280 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4055 1996 413 48 0 4007 0 [pid=3649] vsize: 16220 Current children cumulated CPU time (s) 159.43 Current children cumulated vsize (Kb) 18348 [startup+190.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2128 0 0 0 15740 1104 0 0 20 0 1 0 1725022526 16797696 2026 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/3649/statm): 4101 2026 413 48 0 4053 0 [pid=3649] vsize: 16404 Current children cumulated CPU time (s) 168.45 Current children cumulated vsize (Kb) 18532 [startup+200.017 s] Raw data (loadavg): 0.99 0.97 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2154 0 0 0 16573 1161 0 0 23 0 1 0 1725022526 16797696 2052 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/3649/statm): 4101 2052 413 48 0 4053 0 [pid=3649] vsize: 16404 Current children cumulated CPU time (s) 177.35 Current children cumulated vsize (Kb) 18532 [startup+210.017 s] Raw data (loadavg): 0.99 0.97 0.98 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2200 0 0 0 17436 1208 0 0 25 0 1 0 1725022526 16814080 2098 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/3649/statm): 4105 2098 413 48 0 4057 0 [pid=3649] vsize: 16420 Current children cumulated CPU time (s) 186.45 Current children cumulated vsize (Kb) 18548 [startup+220.018 s] Raw data (loadavg): 1.07 0.99 0.99 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2211 0 0 0 18272 1264 0 0 24 0 1 0 1725022526 16814080 2109 4294967295 134512640 134702520 3221223952 3221223232 134557229 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4105 2109 413 48 0 4057 0 [pid=3649] vsize: 16420 Current children cumulated CPU time (s) 195.37 Current children cumulated vsize (Kb) 18548 [startup+230.019 s] Raw data (loadavg): 1.06 0.99 0.99 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2252 0 0 0 19106 1321 0 0 25 0 1 0 1725022526 16949248 2150 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4138 2150 413 48 0 4090 0 [pid=3649] vsize: 16552 Current children cumulated CPU time (s) 204.28 Current children cumulated vsize (Kb) 18680 [startup+240.019 s] Raw data (loadavg): 1.05 0.99 0.99 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2266 0 0 0 19976 1367 0 0 23 0 1 0 1725022526 16953344 2164 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4139 2164 413 48 0 4091 0 [pid=3649] vsize: 16556 Current children cumulated CPU time (s) 213.44 Current children cumulated vsize (Kb) 18684 [startup+250.021 s] Raw data (loadavg): 1.04 0.99 0.99 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2273 0 0 0 20805 1428 0 0 21 0 1 0 1725022526 16953344 2171 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4139 2171 413 48 0 4091 0 [pid=3649] vsize: 16556 Current children cumulated CPU time (s) 222.34 Current children cumulated vsize (Kb) 18684 [startup+260.022 s] Raw data (loadavg): 1.03 0.99 0.99 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2284 0 0 0 21660 1477 0 0 21 0 1 0 1725022526 17121280 2182 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4180 2182 413 48 0 4132 0 [pid=3649] vsize: 16720 Current children cumulated CPU time (s) 231.38 Current children cumulated vsize (Kb) 18848 [startup+270.022 s] Raw data (loadavg): 1.03 0.99 0.99 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2293 0 0 0 22510 1527 0 0 25 0 1 0 1725022526 17129472 2191 4294967295 134512640 134702520 3221223952 3221179888 134612103 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4182 2191 413 48 0 4134 0 [pid=3649] vsize: 16728 Current children cumulated CPU time (s) 240.38 Current children cumulated vsize (Kb) 18856 [startup+280.023 s] Raw data (loadavg): 1.02 0.99 0.99 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2301 0 0 0 23351 1577 0 0 17 0 1 0 1725022526 17129472 2199 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/3649/statm): 4182 2199 413 48 0 4134 0 [pid=3649] vsize: 16728 Current children cumulated CPU time (s) 249.29 Current children cumulated vsize (Kb) 18856 [startup+290.024 s] Raw data (loadavg): 1.02 0.99 0.99 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2307 0 0 0 24175 1635 0 0 20 0 1 0 1725022526 17129472 2205 4294967295 134512640 134702520 3221223952 3221223232 134552768 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3649/statm): 4182 2205 413 48 0 4134 0 [pid=3649] vsize: 16728 Current children cumulated CPU time (s) 258.11 Current children cumulated vsize (Kb) 18856 [startup+300.024 s] Raw data (loadavg): 1.02 0.99 0.99 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2313 0 0 0 25004 1694 0 0 25 0 1 0 1725022526 17129472 2211 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4182 2211 413 48 0 4134 0 [pid=3649] vsize: 16728 Current children cumulated CPU time (s) 266.99 Current children cumulated vsize (Kb) 18856 [startup+310.025 s] Raw data (loadavg): 1.01 0.99 0.99 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2377 0 0 0 25891 1731 0 0 19 0 1 0 1725022526 17465344 2275 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4264 2275 413 48 0 4216 0 [pid=3649] vsize: 17056 Current children cumulated CPU time (s) 276.23 Current children cumulated vsize (Kb) 19184 [startup+320.026 s] Raw data (loadavg): 1.01 0.99 0.99 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2381 0 0 0 26716 1791 0 0 22 0 1 0 1725022526 17465344 2279 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4264 2279 413 48 0 4216 0 [pid=3649] vsize: 17056 Current children cumulated CPU time (s) 285.08 Current children cumulated vsize (Kb) 19184 [startup+330.026 s] Raw data (loadavg): 1.08 1.00 0.99 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2388 0 0 0 27543 1847 0 0 19 0 1 0 1725022526 17465344 2286 4294967295 134512640 134702520 3221223952 3221212048 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3649/statm): 4264 2286 413 48 0 4216 0 [pid=3649] vsize: 17056 Current children cumulated CPU time (s) 293.91 Current children cumulated vsize (Kb) 19184 [startup+340.027 s] Raw data (loadavg): 1.07 1.00 0.99 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2394 0 0 0 28417 1887 0 0 21 0 1 0 1725022526 17473536 2292 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/3649/statm): 4266 2292 413 48 0 4218 0 [pid=3649] vsize: 17064 Current children cumulated CPU time (s) 303.05 Current children cumulated vsize (Kb) 19192 [startup+350.028 s] Raw data (loadavg): 1.06 1.00 0.99 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2398 0 0 0 29250 1946 0 0 25 0 1 0 1725022526 17473536 2296 4294967295 134512640 134702520 3221223952 3221175568 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3649/statm): 4266 2296 413 48 0 4218 0 [pid=3649] vsize: 17064 Current children cumulated CPU time (s) 311.97 Current children cumulated vsize (Kb) 19192 [startup+360.029 s] Raw data (loadavg): 1.05 1.00 0.99 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2436 0 0 0 30114 1989 0 0 22 0 1 0 1725022526 17612800 2334 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3649/statm): 4300 2334 413 48 0 4252 0 [pid=3649] vsize: 17200 Current children cumulated CPU time (s) 321.04 Current children cumulated vsize (Kb) 19328 [startup+370.029 s] Raw data (loadavg): 1.04 1.00 0.99 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2436 0 0 0 30956 2043 0 0 25 0 1 0 1725022526 17612800 2334 4294967295 134512640 134702520 3221223952 3221100048 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4300 2334 413 48 0 4252 0 [pid=3649] vsize: 17200 Current children cumulated CPU time (s) 330 Current children cumulated vsize (Kb) 19328 [startup+380.03 s] Raw data (loadavg): 1.03 1.00 0.99 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2436 0 0 0 31800 2095 0 0 19 0 1 0 1725022526 17612800 2334 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4300 2334 413 48 0 4252 0 [pid=3649] vsize: 17200 Current children cumulated CPU time (s) 338.96 Current children cumulated vsize (Kb) 19328 [startup+390.031 s] Raw data (loadavg): 1.03 1.00 0.99 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2436 0 0 0 32653 2145 0 0 25 0 1 0 1725022526 17612800 2334 4294967295 134512640 134702520 3221223952 3221077648 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4300 2334 413 48 0 4252 0 [pid=3649] vsize: 17200 Current children cumulated CPU time (s) 347.99 Current children cumulated vsize (Kb) 19328 [startup+400.031 s] Raw data (loadavg): 1.02 1.00 0.99 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2437 0 0 0 33486 2202 0 0 22 0 1 0 1725022526 17719296 2335 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4326 2335 413 48 0 4278 0 [pid=3649] vsize: 17304 Current children cumulated CPU time (s) 356.89 Current children cumulated vsize (Kb) 19432 [startup+410.032 s] Raw data (loadavg): 1.02 1.00 0.99 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2438 0 0 0 34301 2264 0 0 23 0 1 0 1725022526 17719296 2336 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3649/statm): 4326 2336 413 48 0 4278 0 [pid=3649] vsize: 17304 Current children cumulated CPU time (s) 365.66 Current children cumulated vsize (Kb) 19432 [startup+420.033 s] Raw data (loadavg): 1.02 1.00 0.99 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2442 0 0 0 35178 2302 0 0 21 0 1 0 1725022526 17723392 2340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4327 2340 413 48 0 4279 0 [pid=3649] vsize: 17308 Current children cumulated CPU time (s) 374.81 Current children cumulated vsize (Kb) 19436 [startup+430.034 s] Raw data (loadavg): 1.01 1.00 0.99 1/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) T 3646 3646 20602 0 -1 0 2445 0 0 0 36002 2362 0 0 19 0 1 0 1725022526 17723392 2343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4327 2343 413 48 0 4279 0 [pid=3649] vsize: 17308 Current children cumulated CPU time (s) 383.65 Current children cumulated vsize (Kb) 19436 [startup+440.035 s] Raw data (loadavg): 1.01 1.00 0.99 2/58 3649 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1725022519 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 242 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3649/stat): 3649 (vallst) R 3646 3646 20602 0 -1 0 2448 0 0 0 36931 2386 0 0 25 0 1 0 1725022526 17723392 2346 4294967295 134512640 134702520 3221223952 3221125948 134531187 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3649/statm): 4327 2346 413 48 0 4279 0 [pid=3649] vsize: 17308 Current children cumulated CPU time (s) 393.18 Current children cumulated vsize (Kb) 19436 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=3649) exited with status: 2 New process pid=3650 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=3650) exited with status: 0 New process pid=3651 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+450.036 s] Raw data (loadavg): 1.01 1.00 0.99 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 147 0 0 0 50 3 0 0 24 0 1 0 1725067472 1859584 118 4294967295 134512640 134702520 3221223712 3221223392 134634159 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3651/statm): 454 118 413 48 0 406 0 [pid=3651] vsize: 1816 Current children cumulated CPU time (s) 402.84 Current children cumulated vsize (Kb) 3944 [startup+460.036 s] Raw data (loadavg): 1.01 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1596 0 0 0 1000 23 0 0 25 0 1 0 1725067472 9322496 1566 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 2276 1566 413 48 0 2228 0 [pid=3651] vsize: 9104 Current children cumulated CPU time (s) 412.54 Current children cumulated vsize (Kb) 11232 [startup+470.036 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1647 0 0 0 1908 57 0 0 20 0 1 0 1725067472 18432000 1617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4500 1617 413 48 0 4452 0 [pid=3651] vsize: 18000 Current children cumulated CPU time (s) 421.96 Current children cumulated vsize (Kb) 20128 [startup+480.037 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1704 0 0 0 2702 125 0 0 20 0 1 0 1725067472 18571264 1674 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4534 1674 413 48 0 4486 0 [pid=3651] vsize: 18136 Current children cumulated CPU time (s) 430.58 Current children cumulated vsize (Kb) 20264 [startup+490.038 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1731 0 0 0 3487 192 0 0 22 0 1 0 1725067472 18571264 1701 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4534 1701 413 48 0 4486 0 [pid=3651] vsize: 18136 Current children cumulated CPU time (s) 439.1 Current children cumulated vsize (Kb) 20264 [startup+500.039 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1762 0 0 0 4269 268 0 0 18 0 1 0 1725067472 18571264 1732 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4534 1732 413 48 0 4486 0 [pid=3651] vsize: 18136 Current children cumulated CPU time (s) 447.68 Current children cumulated vsize (Kb) 20264 [startup+510.04 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1784 0 0 0 5038 347 0 0 22 0 1 0 1725067472 18706432 1754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4567 1754 413 48 0 4519 0 [pid=3651] vsize: 18268 Current children cumulated CPU time (s) 456.16 Current children cumulated vsize (Kb) 20396 [startup+520.04 s] Raw data (loadavg): 1.00 1.00 0.99 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1817 0 0 0 5839 414 0 0 19 0 1 0 1725067472 18706432 1787 4294967295 134512640 134702520 3221223712 3221213228 134531187 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4567 1787 413 48 0 4519 0 [pid=3651] vsize: 18268 Current children cumulated CPU time (s) 464.84 Current children cumulated vsize (Kb) 20396 [startup+530.042 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1824 0 0 0 6704 459 0 0 22 0 1 0 1725067472 18710528 1794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4568 1794 413 48 0 4520 0 [pid=3651] vsize: 18272 Current children cumulated CPU time (s) 473.94 Current children cumulated vsize (Kb) 20400 [startup+540.043 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1834 0 0 0 7488 532 0 0 23 0 1 0 1725067472 18845696 1804 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4601 1804 413 48 0 4553 0 [pid=3651] vsize: 18404 Current children cumulated CPU time (s) 482.51 Current children cumulated vsize (Kb) 20532 [startup+550.044 s] Raw data (loadavg): 1.00 1.00 0.99 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1837 0 0 0 8357 578 0 0 22 0 1 0 1725067472 18845696 1807 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4601 1807 413 48 0 4553 0 [pid=3651] vsize: 18404 Current children cumulated CPU time (s) 491.66 Current children cumulated vsize (Kb) 20532 [startup+560.045 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1867 0 0 0 9136 654 0 0 17 0 1 0 1725067472 18845696 1837 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4601 1837 413 48 0 4553 0 [pid=3651] vsize: 18404 Current children cumulated CPU time (s) 500.21 Current children cumulated vsize (Kb) 20532 [startup+570.046 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1872 0 0 0 9907 731 0 0 22 0 1 0 1725067472 18845696 1842 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4601 1842 413 48 0 4553 0 [pid=3651] vsize: 18404 Current children cumulated CPU time (s) 508.69 Current children cumulated vsize (Kb) 20532 [startup+580.047 s] Raw data (loadavg): 1.00 1.00 0.99 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1878 0 0 0 10765 780 0 0 17 0 1 0 1725067472 18845696 1848 4294967295 134512640 134702520 3221223712 3221222992 134553095 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4601 1848 413 48 0 4553 0 [pid=3651] vsize: 18404 Current children cumulated CPU time (s) 517.76 Current children cumulated vsize (Kb) 20532 [startup+590.047 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1893 0 0 0 11531 855 0 0 17 0 1 0 1725067472 18845696 1863 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/3651/statm): 4601 1863 413 48 0 4553 0 [pid=3651] vsize: 18404 Current children cumulated CPU time (s) 526.17 Current children cumulated vsize (Kb) 20532 [startup+600.049 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1898 0 0 0 12313 929 0 0 16 0 1 0 1725067472 18980864 1868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/3651/statm): 4634 1868 413 48 0 4586 0 [pid=3651] vsize: 18536 Current children cumulated CPU time (s) 534.73 Current children cumulated vsize (Kb) 20664 [startup+610.05 s] Raw data (loadavg): 1.00 1.00 0.99 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1905 0 0 0 13169 978 0 0 16 0 1 0 1725067472 18984960 1875 4294967295 134512640 134702520 3221223712 3221223104 134604463 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3651/statm): 4635 1875 413 48 0 4587 0 [pid=3651] vsize: 18540 Current children cumulated CPU time (s) 543.78 Current children cumulated vsize (Kb) 20668 [startup+620.05 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1909 0 0 0 13936 1060 0 0 16 0 1 0 1725067472 18984960 1879 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4635 1879 413 48 0 4587 0 [pid=3651] vsize: 18540 Current children cumulated CPU time (s) 552.27 Current children cumulated vsize (Kb) 20668 [startup+630.052 s] Raw data (loadavg): 1.00 1.00 0.99 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1962 0 0 0 14714 1130 0 0 16 0 1 0 1725067472 18984960 1932 4294967295 134512640 134702520 3221223712 3221222992 134552748 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4635 1932 413 48 0 4587 0 [pid=3651] vsize: 18540 Current children cumulated CPU time (s) 560.75 Current children cumulated vsize (Kb) 20668 [startup+640.053 s] Raw data (loadavg): 1.00 1.00 0.99 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1965 0 0 0 15491 1203 0 0 16 0 1 0 1725067472 18984960 1935 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/3651/statm): 4635 1935 413 48 0 4587 0 [pid=3651] vsize: 18540 Current children cumulated CPU time (s) 569.25 Current children cumulated vsize (Kb) 20668 [startup+650.053 s] Raw data (loadavg): 1.00 1.00 0.99 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1969 0 0 0 16343 1254 0 0 16 0 1 0 1725067472 18984960 1939 4294967295 134512640 134702520 3221223712 3221222992 134553458 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4635 1939 413 48 0 4587 0 [pid=3651] vsize: 18540 Current children cumulated CPU time (s) 578.28 Current children cumulated vsize (Kb) 20668 [startup+660.054 s] Raw data (loadavg): 1.07 1.02 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1975 0 0 0 17112 1334 0 0 16 0 1 0 1725067472 18984960 1945 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4635 1945 413 48 0 4587 0 [pid=3651] vsize: 18540 Current children cumulated CPU time (s) 586.77 Current children cumulated vsize (Kb) 20668 [startup+670.055 s] Raw data (loadavg): 1.06 1.02 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1979 0 0 0 17878 1414 0 0 16 0 1 0 1725067472 19120128 1949 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4668 1949 413 48 0 4620 0 [pid=3651] vsize: 18672 Current children cumulated CPU time (s) 595.23 Current children cumulated vsize (Kb) 20800 [startup+680.055 s] Raw data (loadavg): 1.05 1.01 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1983 0 0 0 18692 1478 0 0 19 0 1 0 1725067472 19120128 1953 4294967295 134512640 134702520 3221223712 3221076908 134531187 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4668 1953 413 48 0 4620 0 [pid=3651] vsize: 18672 Current children cumulated CPU time (s) 604.01 Current children cumulated vsize (Kb) 20800 [startup+690.056 s] Raw data (loadavg): 1.04 1.01 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1988 0 0 0 19639 1497 0 0 19 0 1 0 1725067472 19120128 1958 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4668 1958 413 48 0 4620 0 [pid=3651] vsize: 18672 Current children cumulated CPU time (s) 613.67 Current children cumulated vsize (Kb) 20800 [startup+700.058 s] Raw data (loadavg): 1.04 1.01 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 1991 0 0 0 20470 1555 0 0 16 0 1 0 1725067472 19120128 1961 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4668 1961 413 48 0 4620 0 [pid=3651] vsize: 18672 Current children cumulated CPU time (s) 622.56 Current children cumulated vsize (Kb) 20800 [startup+710.058 s] Raw data (loadavg): 1.03 1.01 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1993 0 0 0 21236 1631 0 0 16 0 1 0 1725067472 19120128 1963 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4668 1963 413 48 0 4620 0 [pid=3651] vsize: 18672 Current children cumulated CPU time (s) 630.98 Current children cumulated vsize (Kb) 20800 [startup+720.059 s] Raw data (loadavg): 1.02 1.01 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 1996 0 0 0 22084 1682 0 0 22 0 1 0 1725067472 19120128 1966 4294967295 134512640 134702520 3221223712 3220972288 134612000 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3651/statm): 4668 1966 413 48 0 4620 0 [pid=3651] vsize: 18672 Current children cumulated CPU time (s) 639.97 Current children cumulated vsize (Kb) 20800 [startup+730.06 s] Raw data (loadavg): 1.02 1.01 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2000 0 0 0 22880 1752 0 0 16 0 1 0 1725067472 19120128 1970 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4668 1970 413 48 0 4620 0 [pid=3651] vsize: 18672 Current children cumulated CPU time (s) 648.63 Current children cumulated vsize (Kb) 20800 [startup+740.061 s] Raw data (loadavg): 1.02 1.01 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2003 0 0 0 23646 1828 0 0 16 0 1 0 1725067472 19120128 1973 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4668 1973 413 48 0 4620 0 [pid=3651] vsize: 18672 Current children cumulated CPU time (s) 657.05 Current children cumulated vsize (Kb) 20800 [startup+750.061 s] Raw data (loadavg): 1.01 1.01 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2008 0 0 0 24439 1896 0 0 18 0 1 0 1725067472 19120128 1978 4294967295 134512640 134702520 3221223712 3221147948 134531187 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3651/statm): 4668 1978 413 48 0 4620 0 [pid=3651] vsize: 18672 Current children cumulated CPU time (s) 665.66 Current children cumulated vsize (Kb) 20800 [startup+760.062 s] Raw data (loadavg): 1.01 1.01 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2013 0 0 0 25264 1951 0 0 16 0 1 0 1725067472 19243008 1983 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/3651/statm): 4698 1983 413 48 0 4650 0 [pid=3651] vsize: 18792 Current children cumulated CPU time (s) 674.46 Current children cumulated vsize (Kb) 20920 [startup+770.063 s] Raw data (loadavg): 1.01 1.01 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2019 0 0 0 26044 2027 0 0 16 0 1 0 1725067472 19243008 1989 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4698 1989 413 48 0 4650 0 [pid=3651] vsize: 18792 Current children cumulated CPU time (s) 683.02 Current children cumulated vsize (Kb) 20920 [startup+780.063 s] Raw data (loadavg): 1.01 1.00 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2029 0 0 0 26923 2068 0 0 16 0 1 0 1725067472 19243008 1999 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 4698 1999 413 48 0 4650 0 [pid=3651] vsize: 18792 Current children cumulated CPU time (s) 692.22 Current children cumulated vsize (Kb) 20920 [startup+790.064 s] Raw data (loadavg): 1.01 1.00 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2088 0 0 0 27682 2153 0 0 16 0 1 0 1725067472 20504576 2058 4294967295 134512640 134702520 3221223712 3221222992 134554398 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3651/statm): 5006 2058 413 48 0 4958 0 [pid=3651] vsize: 20024 Current children cumulated CPU time (s) 700.66 Current children cumulated vsize (Kb) 22152 [startup+800.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2158 0 0 0 28444 2239 0 0 16 0 1 0 1725067472 20770816 2128 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5071 2128 413 48 0 5023 0 [pid=3651] vsize: 20284 Current children cumulated CPU time (s) 709.14 Current children cumulated vsize (Kb) 22412 [startup+810.065 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2161 0 0 0 29231 2312 0 0 16 0 1 0 1725067472 20770816 2131 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5071 2131 413 48 0 5023 0 [pid=3651] vsize: 20284 Current children cumulated CPU time (s) 717.74 Current children cumulated vsize (Kb) 22412 [startup+820.065 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2162 0 0 0 30100 2356 0 0 16 0 1 0 1725067472 20774912 2132 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5072 2132 413 48 0 5024 0 [pid=3651] vsize: 20288 Current children cumulated CPU time (s) 726.87 Current children cumulated vsize (Kb) 22416 [startup+830.066 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2162 0 0 0 30879 2429 0 0 16 0 1 0 1725067472 20774912 2132 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5072 2132 413 48 0 5024 0 [pid=3651] vsize: 20288 Current children cumulated CPU time (s) 735.39 Current children cumulated vsize (Kb) 22416 [startup+840.066 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2162 0 0 0 31748 2473 0 0 16 0 1 0 1725067472 20774912 2132 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5072 2132 413 48 0 5024 0 [pid=3651] vsize: 20288 Current children cumulated CPU time (s) 744.52 Current children cumulated vsize (Kb) 22416 [startup+850.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2162 0 0 0 32514 2553 0 0 16 0 1 0 1725067472 20774912 2132 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3651/statm): 5072 2132 413 48 0 5024 0 [pid=3651] vsize: 20288 Current children cumulated CPU time (s) 752.98 Current children cumulated vsize (Kb) 22416 [startup+860.068 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2163 0 0 0 33377 2599 0 0 18 0 1 0 1725067472 20881408 2133 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5098 2133 413 48 0 5050 0 [pid=3651] vsize: 20392 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (Kb) 22520 [startup+870.068 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2163 0 0 0 34165 2672 0 0 16 0 1 0 1725067472 20881408 2133 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5098 2133 413 48 0 5050 0 [pid=3651] vsize: 20392 Current children cumulated CPU time (s) 770.68 Current children cumulated vsize (Kb) 22520 [startup+880.069 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2164 0 0 0 34934 2747 0 0 16 0 1 0 1725067472 20881408 2134 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5098 2134 413 48 0 5050 0 [pid=3651] vsize: 20392 Current children cumulated CPU time (s) 779.12 Current children cumulated vsize (Kb) 22520 [startup+890.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2167 0 0 0 35800 2792 0 0 16 0 1 0 1725067472 20881408 2137 4294967295 134512640 134702520 3221223712 3221223104 134603665 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5098 2137 413 48 0 5050 0 [pid=3651] vsize: 20392 Current children cumulated CPU time (s) 788.23 Current children cumulated vsize (Kb) 22520 [startup+900.069 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) T 3646 3646 20602 0 -1 0 2171 0 0 0 36571 2869 0 0 16 0 1 0 1725067472 20881408 2141 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5098 2141 413 48 0 5050 0 [pid=3651] vsize: 20392 Current children cumulated CPU time (s) 796.71 Current children cumulated vsize (Kb) 22520 [startup+910.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2172 0 0 0 37399 2923 0 0 19 0 1 0 1725067472 20881408 2142 4294967295 134512640 134702520 3221223712 3221087328 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5098 2142 413 48 0 5050 0 [pid=3651] vsize: 20392 Current children cumulated CPU time (s) 805.53 Current children cumulated vsize (Kb) 22520 [startup+920.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2176 0 0 0 38211 2986 0 0 16 0 1 0 1725067472 20881408 2146 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3651/statm): 5098 2146 413 48 0 5050 0 [pid=3651] vsize: 20392 Current children cumulated CPU time (s) 814.28 Current children cumulated vsize (Kb) 22520 [startup+930.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2180 0 0 0 38976 3064 0 0 16 0 1 0 1725067472 20881408 2150 4294967295 134512640 134702520 3221223712 3221222992 134553444 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5098 2150 413 48 0 5050 0 [pid=3651] vsize: 20392 Current children cumulated CPU time (s) 822.71 Current children cumulated vsize (Kb) 22520 [startup+940.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2183 0 0 0 39869 3100 0 0 25 0 1 0 1725067472 20881408 2153 4294967295 134512640 134702520 3221223712 3221222736 134550721 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3651/statm): 5098 2153 413 48 0 5050 0 [pid=3651] vsize: 20392 Current children cumulated CPU time (s) 832 Current children cumulated vsize (Kb) 22520 [startup+950.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3651 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 378 2825 0 0 2 1 37819 2409 19 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3651/stat): 3651 (vallst) R 3646 3646 20602 0 -1 0 2186 0 0 0 40810 3120 0 0 25 0 1 0 1725067472 21028864 2156 4294967295 134512640 134702520 3221223712 3221222608 134553095 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3651/statm): 5134 2156 413 48 0 5086 0 [pid=3651] vsize: 20536 Current children cumulated CPU time (s) 841.61 Current children cumulated vsize (Kb) 22664 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=3651) exited with status: 2 New process pid=3652 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=3652) exited with status: 0 New process pid=3653 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+960.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1617 0 0 0 765 21 0 0 21 0 1 0 1725117723 8646656 1587 4294967295 134512640 134702520 3221223712 3221222976 134553168 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3653/statm): 2111 1587 413 48 0 2063 0 [pid=3653] vsize: 8444 Current children cumulated CPU time (s) 851.23 Current children cumulated vsize (Kb) 10572 [startup+970.073 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1641 0 0 0 1717 38 0 0 23 0 1 0 1725117723 15003648 1611 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3663 1611 413 48 0 3615 0 [pid=3653] vsize: 14652 Current children cumulated CPU time (s) 860.92 Current children cumulated vsize (Kb) 16780 [startup+980.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1737 0 0 0 2484 119 0 0 17 0 1 0 1725117723 15003648 1707 4294967295 134512640 134702520 3221223712 3221222832 134588577 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3653/statm): 3663 1707 413 48 0 3615 0 [pid=3653] vsize: 14652 Current children cumulated CPU time (s) 869.4 Current children cumulated vsize (Kb) 16780 [startup+990.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1763 0 0 0 3255 197 0 0 18 0 1 0 1725117723 15138816 1733 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3653/statm): 3696 1733 413 48 0 3648 0 [pid=3653] vsize: 14784 Current children cumulated CPU time (s) 877.89 Current children cumulated vsize (Kb) 16912 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1771 0 0 0 4132 238 0 0 18 0 1 0 1725117723 15142912 1741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3697 1741 413 48 0 3649 0 [pid=3653] vsize: 14788 Current children cumulated CPU time (s) 887.07 Current children cumulated vsize (Kb) 16916 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1807 0 0 0 4926 303 0 0 21 0 1 0 1725117723 15142912 1777 4294967295 134512640 134702520 3221223712 3221222992 134553248 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3697 1777 413 48 0 3649 0 [pid=3653] vsize: 14788 Current children cumulated CPU time (s) 895.66 Current children cumulated vsize (Kb) 16916 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1816 0 0 0 5776 353 0 0 25 0 1 0 1725117723 15278080 1786 4294967295 134512640 134702520 3221223712 3220982028 134531187 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3730 1786 413 48 0 3682 0 [pid=3653] vsize: 14920 Current children cumulated CPU time (s) 904.66 Current children cumulated vsize (Kb) 17048 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1822 0 0 0 6555 426 0 0 19 0 1 0 1725117723 15278080 1792 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3730 1792 413 48 0 3682 0 [pid=3653] vsize: 14920 Current children cumulated CPU time (s) 913.18 Current children cumulated vsize (Kb) 17048 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1828 0 0 0 7400 476 0 0 25 0 1 0 1725117723 15278080 1798 4294967295 134512640 134702520 3221223712 3221049568 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3730 1798 413 48 0 3682 0 [pid=3653] vsize: 14920 Current children cumulated CPU time (s) 922.13 Current children cumulated vsize (Kb) 17048 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1834 0 0 0 8190 544 0 0 20 0 1 0 1725117723 15278080 1804 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3730 1804 413 48 0 3682 0 [pid=3653] vsize: 14920 Current children cumulated CPU time (s) 930.71 Current children cumulated vsize (Kb) 17048 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1870 0 0 0 8969 618 0 0 21 0 1 0 1725117723 15278080 1840 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3730 1840 413 48 0 3682 0 [pid=3653] vsize: 14920 Current children cumulated CPU time (s) 939.24 Current children cumulated vsize (Kb) 17048 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1880 0 0 0 9799 673 0 0 25 0 1 0 1725117723 15413248 1850 4294967295 134512640 134702520 3221223712 3221095968 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3763 1850 413 48 0 3715 0 [pid=3653] vsize: 15052 Current children cumulated CPU time (s) 948.09 Current children cumulated vsize (Kb) 17180 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1887 0 0 0 10621 735 0 0 19 0 1 0 1725117723 15413248 1857 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/3653/statm): 3763 1857 413 48 0 3715 0 [pid=3653] vsize: 15052 Current children cumulated CPU time (s) 956.93 Current children cumulated vsize (Kb) 17180 [startup+1090.08 s] Raw data (loadavg): 1.08 1.02 1.01 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1889 0 0 0 11389 810 0 0 18 0 1 0 1725117723 15413248 1859 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3763 1859 413 48 0 3715 0 [pid=3653] vsize: 15052 Current children cumulated CPU time (s) 965.36 Current children cumulated vsize (Kb) 17180 [startup+1100.08 s] Raw data (loadavg): 1.07 1.02 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1894 0 0 0 12262 852 0 0 19 0 1 0 1725117723 15413248 1864 4294967295 134512640 134702520 3221223712 3221223196 1074752304 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3653/statm): 3763 1864 413 48 0 3715 0 [pid=3653] vsize: 15052 Current children cumulated CPU time (s) 974.51 Current children cumulated vsize (Kb) 17180 [startup+1110.08 s] Raw data (loadavg): 1.06 1.01 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1901 0 0 0 13044 926 0 0 19 0 1 0 1725117723 15413248 1871 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3763 1871 413 48 0 3715 0 [pid=3653] vsize: 15052 Current children cumulated CPU time (s) 983.07 Current children cumulated vsize (Kb) 17180 [startup+1120.08 s] Raw data (loadavg): 1.05 1.01 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1915 0 0 0 13822 998 0 0 22 0 1 0 1725117723 15413248 1885 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3763 1885 413 48 0 3715 0 [pid=3653] vsize: 15052 Current children cumulated CPU time (s) 991.57 Current children cumulated vsize (Kb) 17180 [startup+1130.08 s] Raw data (loadavg): 1.04 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1968 0 0 0 14647 1056 0 0 25 0 1 0 1725117723 15548416 1938 4294967295 134512640 134702520 3221223712 3221100128 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3796 1938 413 48 0 3748 0 [pid=3653] vsize: 15184 Current children cumulated CPU time (s) 1000.4 Current children cumulated vsize (Kb) 17312 [startup+1140.08 s] Raw data (loadavg): 1.03 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1972 0 0 0 15603 1070 0 0 25 0 1 0 1725117723 15548416 1942 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3796 1942 413 48 0 3748 0 [pid=3653] vsize: 15184 Current children cumulated CPU time (s) 1010.1 Current children cumulated vsize (Kb) 17312 [startup+1150.08 s] Raw data (loadavg): 1.03 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1973 0 0 0 16440 1127 0 0 17 0 1 0 1725117723 15548416 1943 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3653/statm): 3796 1943 413 48 0 3748 0 [pid=3653] vsize: 15184 Current children cumulated CPU time (s) 1019.04 Current children cumulated vsize (Kb) 17312 [startup+1160.09 s] Raw data (loadavg): 1.02 1.01 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 1978 0 0 0 17211 1200 0 0 19 0 1 0 1725117723 15548416 1948 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3796 1948 413 48 0 3748 0 [pid=3653] vsize: 15184 Current children cumulated CPU time (s) 1027.48 Current children cumulated vsize (Kb) 17312 [startup+1170.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1982 0 0 0 18063 1250 0 0 25 0 1 0 1725117723 15548416 1952 4294967295 134512640 134702520 3221223712 3220957728 134612103 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3796 1952 413 48 0 3748 0 [pid=3653] vsize: 15184 Current children cumulated CPU time (s) 1036.5 Current children cumulated vsize (Kb) 17312 [startup+1180.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1986 0 0 0 18851 1322 0 0 17 0 1 0 1725117723 15548416 1956 4294967295 134512640 134702520 3221223712 3221222992 134552363 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3653/statm): 3796 1956 413 48 0 3748 0 [pid=3653] vsize: 15184 Current children cumulated CPU time (s) 1045.1 Current children cumulated vsize (Kb) 17312 [startup+1190.09 s] Raw data (loadavg): 1.01 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1989 0 0 0 19609 1403 0 0 20 0 1 0 1725117723 15548416 1959 4294967295 134512640 134702520 3221223712 3221219808 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 3796 1959 413 48 0 3748 0 [pid=3653] vsize: 15184 Current children cumulated CPU time (s) 1053.49 Current children cumulated vsize (Kb) 17312 [startup+1200.09 s] Raw data (loadavg): 1.01 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1992 0 0 0 20476 1448 0 0 17 0 1 0 1725117723 15548416 1962 4294967295 134512640 134702520 3221223712 3221222992 134550747 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3653/statm): 3796 1962 413 48 0 3748 0 [pid=3653] vsize: 15184 Current children cumulated CPU time (s) 1062.61 Current children cumulated vsize (Kb) 17312 [startup+1210.09 s] Raw data (loadavg): 1.01 1.00 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 1997 0 0 0 21232 1532 0 0 18 0 1 0 1725117723 15548416 1967 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3653/statm): 3796 1967 413 48 0 3748 0 [pid=3653] vsize: 15184 Current children cumulated CPU time (s) 1071.01 Current children cumulated vsize (Kb) 17312 [startup+1220.09 s] Raw data (loadavg): 1.01 1.00 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2038 0 0 0 22104 1575 0 0 17 0 1 0 1725117723 16519168 2008 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4033 2008 413 48 0 3985 0 [pid=3653] vsize: 16132 Current children cumulated CPU time (s) 1080.16 Current children cumulated vsize (Kb) 18260 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2164 0 0 0 22892 1648 0 0 20 0 1 0 1725117723 16519168 2134 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4033 2134 413 48 0 3985 0 [pid=3653] vsize: 16132 Current children cumulated CPU time (s) 1088.77 Current children cumulated vsize (Kb) 18260 [startup+1240.09 s] Raw data (loadavg): 1.08 1.02 1.01 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2233 0 0 0 23773 1687 0 0 19 0 1 0 1725117723 16519168 2203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4033 2203 413 48 0 3985 0 [pid=3653] vsize: 16132 Current children cumulated CPU time (s) 1097.97 Current children cumulated vsize (Kb) 18260 [startup+1250.09 s] Raw data (loadavg): 1.07 1.02 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2408 0 0 0 24586 1754 0 0 25 0 1 0 1725117723 17510400 2378 4294967295 134512640 134702520 3221223712 3221187948 134531187 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4275 2378 413 48 0 4227 0 [pid=3653] vsize: 17100 Current children cumulated CPU time (s) 1106.77 Current children cumulated vsize (Kb) 19228 [startup+1260.09 s] Raw data (loadavg): 1.06 1.02 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2462 0 0 0 25466 1795 0 0 23 0 1 0 1725117723 17514496 2432 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4276 2432 413 48 0 4228 0 [pid=3653] vsize: 17104 Current children cumulated CPU time (s) 1115.98 Current children cumulated vsize (Kb) 19232 [startup+1270.09 s] Raw data (loadavg): 1.05 1.02 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2528 0 0 0 26369 1830 0 0 25 0 1 0 1725117723 18370560 2498 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4485 2498 413 48 0 4437 0 [pid=3653] vsize: 17940 Current children cumulated CPU time (s) 1125.36 Current children cumulated vsize (Kb) 20068 [startup+1280.09 s] Raw data (loadavg): 1.04 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2531 0 0 0 27308 1851 0 0 21 0 1 0 1725117723 18370560 2501 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3653/statm): 4485 2501 413 48 0 4437 0 [pid=3653] vsize: 17940 Current children cumulated CPU time (s) 1134.96 Current children cumulated vsize (Kb) 20068 [startup+1290.09 s] Raw data (loadavg): 1.04 1.01 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2535 0 0 0 28102 1915 0 0 24 0 1 0 1725117723 18370560 2505 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4485 2505 413 48 0 4437 0 [pid=3653] vsize: 17940 Current children cumulated CPU time (s) 1143.54 Current children cumulated vsize (Kb) 20068 [startup+1300.09 s] Raw data (loadavg): 1.03 1.01 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2539 0 0 0 28987 1955 0 0 24 0 1 0 1725117723 18477056 2509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4511 2509 413 48 0 4463 0 [pid=3653] vsize: 18044 Current children cumulated CPU time (s) 1152.79 Current children cumulated vsize (Kb) 20172 [startup+1310.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2544 0 0 0 29846 2005 0 0 25 0 1 0 1725117723 18477056 2514 4294967295 134512640 134702520 3221223712 3220984608 134612000 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4511 2514 413 48 0 4463 0 [pid=3653] vsize: 18044 Current children cumulated CPU time (s) 1161.88 Current children cumulated vsize (Kb) 20172 [startup+1320.09 s] Raw data (loadavg): 1.02 1.01 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2553 0 0 0 30659 2066 0 0 21 0 1 0 1725117723 18477056 2523 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4511 2523 413 48 0 4463 0 [pid=3653] vsize: 18044 Current children cumulated CPU time (s) 1170.62 Current children cumulated vsize (Kb) 20172 [startup+1330.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2559 0 0 0 31563 2099 0 0 17 0 1 0 1725117723 18477056 2529 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/3653/statm): 4511 2529 413 48 0 4463 0 [pid=3653] vsize: 18044 Current children cumulated CPU time (s) 1179.99 Current children cumulated vsize (Kb) 20172 [startup+1340.09 s] Raw data (loadavg): 1.01 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2591 0 0 0 32384 2159 0 0 25 0 1 0 1725117723 18477056 2561 4294967295 134512640 134702520 3221223712 3221175308 134531187 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4511 2561 413 48 0 4463 0 [pid=3653] vsize: 18044 Current children cumulated CPU time (s) 1188.8 Current children cumulated vsize (Kb) 20172 [startup+1350.09 s] Raw data (loadavg): 1.01 1.01 1.00 1/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) T 3646 3646 20602 0 -1 0 2600 0 0 0 33260 2199 0 0 18 0 1 0 1725117723 18608128 2570 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4543 2570 413 48 0 4495 0 [pid=3653] vsize: 18172 Current children cumulated CPU time (s) 1197.96 Current children cumulated vsize (Kb) 20300 [startup+1360.09 s] Raw data (loadavg): 1.01 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2631 0 0 0 34133 2241 0 0 25 0 1 0 1725117723 18608128 2601 4294967295 134512640 134702520 3221223712 3221020768 134612103 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4543 2601 413 48 0 4495 0 [pid=3653] vsize: 18172 Current children cumulated CPU time (s) 1207.11 Current children cumulated vsize (Kb) 20300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1360.1 s] Raw data (loadavg): 1.01 1.01 1.00 2/58 3653 Raw data (/proc/3646/stat): 3646 (vallstSAT2005PB) S 3645 3646 20602 0 -1 0 417 5155 0 0 2 1 78797 5537 17 0 1 0 1725022519 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/3646/statm): 532 248 485 147 0 385 0 [pid=3646] vsize: 2128 Raw data (/proc/3653/stat): 3653 (vallst) R 3646 3646 20602 0 -1 0 2631 0 0 0 34133 2241 0 0 25 0 1 0 1725117723 18608128 2601 4294967295 134512640 134702520 3221223712 3221020588 134531187 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/3653/statm): 4543 2601 413 48 0 4495 0 [pid=3653] vsize: 18172 Current children cumulated CPU time (s) 1207.11 Current children cumulated vsize (Kb) 20300 Sending SIGTERM to -3646 Sleeping 2 seconds New process pid=3655 New process pid=3656 execve syscall for /bin/ps executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libproc.so.2.0.13 open syscall for file tls/i686/libproc.so.2.0.13 open syscall for file tls/mmx/libproc.so.2.0.13 open syscall for file tls/libproc.so.2.0.13 open syscall for file i686/mmx/libproc.so.2.0.13 open syscall for file i686/libproc.so.2.0.13 open syscall for file mmx/libproc.so.2.0.13 open syscall for file libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13 open syscall for file /etc/ld.so.cache open syscall for file /lib/libproc.so.2.0.13 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /proc/self/stat open syscall for file /proc/self/statm open syscall for file /proc/self/status open syscall for file /proc/uptime open syscall for file /proc/meminfo open syscall for file /proc open syscall for file /proc/1/stat open syscall for file /proc/1/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1/cmdline open syscall for file /proc/1/environ open syscall for file /proc/2/stat open syscall for file /proc/2/status open syscall for file /proc/2/cmdline open syscall for file /proc/2/environ open syscall for file /proc/3/stat open syscall for file /proc/3/status open syscall for file /proc/3/cmdline open syscall for file /proc/3/environ open syscall for file /proc/4/stat open syscall for file /proc/4/status open syscall for file /proc/4/cmdline open syscall for file /proc/4/environ open syscall for file /proc/5/stat open syscall for file /proc/5/status open syscall for file /proc/5/cmdline open syscall for file /proc/5/environ open syscall for file /proc/6/stat open syscall for file /proc/6/status open syscall for file /proc/6/cmdline open syscall for file /proc/6/environ open syscall for file /proc/7/stat open syscall for file /proc/7/status open syscall for file /proc/7/cmdline open syscall for file /proc/7/environ open syscall for file /proc/8/stat open syscall for file /proc/8/status open syscall for file /proc/8/cmdline open syscall for file /proc/8/environ open syscall for file /proc/9/stat open syscall for file /proc/9/status open syscall for file /proc/9/cmdline open syscall for file /proc/9/environ open syscall for file /proc/10/stat open syscall for file /proc/10/status open syscall for file /proc/10/cmdline open syscall for file /proc/10/environ open syscall for file /proc/11/stat open syscall for file /proc/11/status open syscall for file /proc/11/cmdline open syscall for file /proc/11/environ open syscall for file /proc/34/stat open syscall for file /proc/34/status open syscall for file /proc/34/cmdline open syscall for file /proc/34/environ open syscall for file /proc/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/822/stat open syscall for file /proc/822/status open syscall for file /proc/822/cmdline open syscall for file /proc/822/environ open syscall for file /proc/823/stat open syscall for file /proc/823/status open syscall for file /proc/823/cmdline open syscall for file /proc/823/environ open syscall for file /proc/1256/stat open syscall for file /proc/1256/status open syscall for file /proc/1256/cmdline open syscall for file /proc/1256/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/1282/stat open syscall for file /proc/1282/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/1282/cmdline open syscall for file /proc/1282/environ open syscall for file /proc/1312/stat open syscall for file /proc/1312/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/1312/cmdline open syscall for file /proc/1312/environ open syscall for file /proc/1356/stat open syscall for file /proc/1356/status open syscall for file /proc/1356/cmdline open syscall for file /proc/1356/environ open syscall for file /proc/1514/stat open syscall for file /proc/1514/status open syscall for file /proc/1514/cmdline open syscall for file /proc/1514/environ open syscall for file /proc/1538/stat open syscall for file /proc/1538/status open syscall for file /proc/1538/cmdline open syscall for file /proc/1538/environ open syscall for file /proc/1561/stat open syscall for file /proc/1561/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/1561/cmdline open syscall for file /proc/1561/environ open syscall for file /proc/1592/stat open syscall for file /proc/1592/status open syscall for file /proc/1592/cmdline open syscall for file /proc/1592/environ open syscall for file /proc/1655/stat open syscall for file /proc/1655/status open syscall for file /proc/1655/cmdline open syscall for file /proc/1655/environ open syscall for file /proc/1656/stat open syscall for file /proc/1656/status open syscall for file /proc/1656/cmdline open syscall for file /proc/1656/environ open syscall for file /proc/1657/stat open syscall for file /proc/1657/status open syscall for file /proc/1657/cmdline open syscall for file /proc/1657/environ open syscall for file /proc/1658/stat open syscall for file /proc/1658/status open syscall for file /proc/1658/cmdline open syscall for file /proc/1658/environ open syscall for file /proc/1659/stat open syscall for file /proc/1659/status open syscall for file /proc/1659/cmdline open syscall for file /proc/1659/environ open syscall for file /proc/1660/stat open syscall for file /proc/1660/status open syscall for file /proc/1660/cmdline open syscall for file /proc/1660/environ open syscall for file /proc/1661/stat open syscall for file /proc/1661/status open syscall for file /proc/1661/cmdline open syscall for file /proc/1661/environ open syscall for file /proc/9854/stat open syscall for file /proc/9854/status open syscall for file /proc/9854/cmdline open syscall for file /proc/9854/environ open syscall for file /proc/23373/stat open syscall for file /proc/23373/status open syscall for file /proc/23373/cmdline open syscall for file /proc/23373/environ open syscall for file /proc/23400/stat open syscall for file /proc/23400/status open syscall for file /proc/23400/cmdline open syscall for file /proc/23400/environ open syscall for file /proc/23424/stat open syscall for file /proc/23424/status open syscall for file /proc/23424/cmdline open syscall for file /proc/23424/environ open syscall for file /proc/6632/stat open syscall for file /proc/6632/status open syscall for file /proc/6632/cmdline open syscall for file /proc/6632/environ open syscall for file /proc/7718/stat open syscall for file /proc/7718/status open syscall for file /proc/7718/cmdline open syscall for file /proc/7718/environ open syscall for file /proc/20012/stat open syscall for file /proc/20012/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/20012/cmdline open syscall for file /proc/20012/environ open syscall for file /proc/20048/stat open syscall for file /proc/20048/status open syscall for file /proc/20048/cmdline open syscall for file /proc/20048/environ open syscall for file /proc/20602/stat open syscall for file /proc/20602/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/20602/cmdline open syscall for file /proc/20602/environ open syscall for file /proc/20603/stat open syscall for file /proc/20603/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/20603/cmdline open syscall for file /proc/20603/environ open syscall for file /proc/20612/stat open syscall for file /proc/20612/status open syscall for file /proc/20612/cmdline open syscall for file /proc/20612/environ open syscall for file /proc/3609/stat open syscall for file /proc/3609/status open syscall for file /proc/3609/cmdline open syscall for file /proc/3609/environ open syscall for file /proc/3645/stat open syscall for file /proc/3645/status open syscall for file /proc/3645/cmdline open syscall for file /proc/3645/environ open syscall for file /proc/3646/stat open syscall for file /proc/3646/status open syscall for file /proc/3646/cmdline open syscall for file /proc/3646/environ open syscall for file /proc/3653/stat open syscall for file /proc/3653/status open syscall for file /proc/3653/cmdline open syscall for file /proc/3653/environ open syscall for file /proc/3655/stat open syscall for file /proc/3655/status open syscall for file /proc/3655/cmdline open syscall for file /proc/3655/environ open syscall for file /proc/3656/stat open syscall for file /proc/3656/status open syscall for file /proc/3656/cmdline open syscall for file /proc/3656/environ One traced child (pid=3656) exited with status: 0 One traced child (pid=3655) exited with status: 0 New process pid=3657 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=3657) exited with status: 0 New process pid=3658 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=3658) exited with status: 0 One traced child (pid=3646) ended because it received signal 15 (SIGTERM) 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=3653) exited with status: 3 All traced children have exited ! Game is over. Child status: 3 Real time (s): 1361.39 CPU time (s): 365.041 CPU user time (s): 342.619 CPU system time (s): 22.4216 CPU usage (%): 26.8137 Max. virtual memory (cumulated for all children) (Kb): 22664
ERROR: no interpretation found !