Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb |
MD5SUM | 75acdcffdd43b3d3a30d0459a6bffe45 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6106 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 6774 |
Biggest coefficient in the objective function | 4804 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 6613094 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 4804 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 6613094 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.34 |
Number of variables | 6774 |
Total number of constraints | 6824 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 6824 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3729 |
LAUNCH ON wulflinc8 THE 2005-09-23 11:42:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7966 boxname=wulflinc8 idbench=934 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 75acdcffdd43b3d3a30d0459a6bffe45 /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-air02.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-air02.opb 0 IDLAUNCH: 7966 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.023 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.023 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: 944360 kB Buffers: 9932 kB Cached: 63168 kB SwapCached: 0 kB Active: 45412 kB Inactive: 30644 kB HighTotal: 131008 kB HighFree: 63812 kB LowTotal: 903652 kB LowFree: 880548 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 44 kB Writeback: 0 kB Mapped: 6972 kB Slab: 8644 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 11:49:10 (client local time) WITH STATUS 4 IN 413.528 SECONDS stats: 7966 7 413.528 4
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 0 (#equs: 0) #decisions: 3944; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-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: 6542119 (70974:>=*); #decisions: 3944; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6560637 (52456:>=*); #decisions: 3968; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6560985 (52108:>=*); #decisions: 3956; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6561006 (52087:>=*); #decisions: 3949; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6568781 (44312:>=*); #decisions: 3930; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6569133 (43960:>=*); #decisions: 3927; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6570037 (43056:>=*); #decisions: 3925; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6570057 (43036:>=*); #decisions: 3946; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6570110 (42983:>=*); #decisions: 3990; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6570130 (42963:>=*); #decisions: 5146; #end-nodes: 80; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 0 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6587327 (25766:>=*); #decisions: 1084; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6587574 (25519:>=*); #decisions: 1084; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6588108 (24985:>=*); #decisions: 1084; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6588244 (24849:>=*); #decisions: 1083; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589017 (24076:>=*); #decisions: 1093; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589083 (24010:>=*); #decisions: 1086; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589155 (23938:>=*); #decisions: 1175; #end-nodes: 71; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 71 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589174 (23919:>=*); #decisions: 1147; #end-nodes: 53; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 53 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589332 (23761:>=*); #decisions: 1188; #end-nodes: 77; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 77 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589426 (23667:>=*); #decisions: 1234; #end-nodes: 30; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 30 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589453 (23640:>=*); #decisions: 1118; #end-nodes: 38; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 38 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589543 (23550:>=*); #decisions: 1132; #end-nodes: 56; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 56 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589579 (23514:>=*); #decisions: 1297; #end-nodes: 79; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 79 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589627 (23466:>=*); #decisions: 1845; #end-nodes: 84; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 3 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589739 (23354:>=*); #decisions: 508; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589788 (23305:>=*); #decisions: 517; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 101, #non-axs: 0 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589827 (23266:>=*); #decisions: 1875; #end-nodes: 388; #proof improvement attempts: 0; #restarts: 3 Current batch, end-nodes: 148 / 217 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589887 (23206:>=*); #decisions: 34; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589918 (23175:>=*); #decisions: 50; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 80 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6589993 (23100:>=*); #decisions: 131; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 80 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6590088 (23005:>=*); #decisions: 168; #end-nodes: 41; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 41 / 80 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6590208 (22885:>=*); #decisions: 644; #end-nodes: 104; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 24 / 80 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6590432 (22661:>=*); #decisions: 406; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6590481 (22612:>=*); #decisions: 1393; #end-nodes: 387; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 307 / 774 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6594788 (18305:>=*); #decisions: 71; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6595339 (17754:>=*); #decisions: 51; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6596260 (16833:>=*); #decisions: 30; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6596758 (16335:>=*); #decisions: 38; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6597513 (15580:>=*); #decisions: 28; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6598169 (14924:>=*); #decisions: 45; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6598599 (14494:>=*); #decisions: 1873; #end-nodes: 544; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 544 / 890 (80) #axs: 101, #non-axs: 1 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6598623 (14470:>=*); #decisions: 2186; #end-nodes: 1318; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 1238 / 1628 (80) #axs: 101, #non-axs: 32 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6598632 (14461:>=*); #decisions: 271; #end-nodes: 186; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 186 / 301 (80) #axs: 101, #non-axs: 56 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6598698 (14395:>=*); #decisions: 1450; #end-nodes: 543; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 103 / 390 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6603889 (9204:>=*); #decisions: 20; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6605145 (7948:>=*); #decisions: 25; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6605472 (7621:>=*); #decisions: 17; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6605653 (7440:>=*); #decisions: 22; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 86 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6605692 (7401:>=*); #decisions: 35; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 90 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6605706 (7387:>=*); #decisions: 19; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6605887 (7206:>=*); #decisions: 174; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 97 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6605897 (7196:>=*); #decisions: 185; #end-nodes: 20; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 20 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606030 (7063:>=*); #decisions: 187; #end-nodes: 23; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 23 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606115 (6978:>=*); #decisions: 154; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606153 (6940:>=*); #decisions: 153; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606258 (6835:>=*); #decisions: 151; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606265 (6828:>=*); #decisions: 210; #end-nodes: 33; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 33 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606369 (6724:>=*); #decisions: 137; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606376 (6717:>=*); #decisions: 199; #end-nodes: 29; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 29 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606402 (6691:>=*); #decisions: 154; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606497 (6596:>=*); #decisions: 325; #end-nodes: 65; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 65 / 80 (80) #axs: 101, #non-axs: 91 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606597 (6496:>=*); #decisions: 1891; #end-nodes: 533; #proof improvement attempts: 0; #restarts: 2 Current batch, end-nodes: 356 / 569 (80) #axs: 101, #non-axs: 139 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606641 (6452:>=*); #decisions: 207; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 101, #non-axs: 139 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606669 (6424:>=*); #decisions: 226; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 101, #non-axs: 139 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606850 (6243:>=*); #decisions: 213; #end-nodes: 16; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 16 / 80 (80) #axs: 101, #non-axs: 139 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6606896 (6197:>=*); #decisions: 166; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 101, #non-axs: 139 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6607077 (6016:>=*); #decisions: 190; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 101, #non-axs: 139 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6607094 (5999:>=*); #decisions: 193; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 80 (80) #axs: 101, #non-axs: 139 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6607109 (5984:>=*); #decisions: 316; #end-nodes: 60; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 60 / 80 (80) #axs: 101, #non-axs: 139 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6607135 (5958:>=*); #decisions: 163; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 101, #non-axs: 139 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6607200 (5893:>=*); #decisions: 13496; #end-nodes: 9483; #proof improvement attempts: 0; #restarts: 6 Current batch, end-nodes: 281 / 496 (81) #axs: 101, #non-axs: 3644 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6607227 (5866:>=*); #decisions: 24679; #end-nodes: 14537; #proof improvement attempts: 0; #restarts: 6 Current batch, end-nodes: 196 / 673 (81) #axs: 101, #non-axs: 7494 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6607483 (5610:>=*); #decisions: 48; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 101, #non-axs: 7494 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6607664 (5429:>=*); #decisions: 49; #end-nodes: 2; #proof improvement attemp Conflict clause buffers need to be extended. This situation isn't taken care of yet!!! Implement the extendConflictClauseBuffers function!!! On the other hand, I don't think this situation will occur in practice. If it does, please report it. It only happens because sizes have gotten askew (way past a large window of values for sizes for the solver to perform efficiently). You can fix this (both avoiding getting this error message and getting the solver back to functioning more efficiently) by setting a better buffer size. See buffer size related functions or command line options. Aborting and returning out-of-memory. ts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 101, #non-axs: 7494 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6607749 (5344:>=*); #decisions: 52; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 101, #non-axs: 7494 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6607763 (5330:>=*); #decisions: 52; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 101, #non-axs: 7494 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6607944 (5149:>=*); #decisions: 63; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 101, #non-axs: 7494 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6608114 (4979:>=*); #decisions: 94; #end-nodes: 39; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 39 / 80 (80) #axs: 101, #non-axs: 7494 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6608170 (4923:>=*); #decisions: 8514; #end-nodes: 5345; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 5265 / 5563 (80) #axs: 101, #non-axs: 9185 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6608177 (4916:>=*); #decisions: 10400; #end-nodes: 6155; #proof improvement attempts: 0; #restarts: 3 Current batch, end-nodes: 5915 / 6330 (80) #axs: 101, #non-axs: 10196 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6608241 (4852:>=*); #decisions: 12617; #end-nodes: 6525; #proof improvement attempts: 0; #restarts: 7 Current batch, end-nodes: 44 / 213 (81) #axs: 101, #non-axs: 11687 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6608321 (4772:>=*); #decisions: 3265; #end-nodes: 1466; #proof improvement attempts: 0; #restarts: 3 Current batch, end-nodes: 500 / 631 (80) #axs: 101, #non-axs: 11815 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6608325 (4768:>=*); #decisions: 31733; #end-nodes: 10427; #proof improvement attempts: 0; #restarts: 22 Current batch, end-nodes: 1002 / 1503 (85) #axs: 101, #non-axs: 10064 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6608366 (4727:>=*); #decisions: 74881; #end-nodes: 35208; #proof improvement attempts: 0; #restarts: 6 Current batch, end-nodes: 735 / 1193 (81) #axs: 101, #non-axs: 12981 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6608385 (4708:>=*); #decisions: 36257; #end-nodes: 16171; #proof improvement attempts: 0; #restarts: 5 Current batch, end-nodes: 1178 / 1585 (81) #axs: 101, #non-axs: 14272 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 6608390 (4703:>=*); Model found with constant: (pushed:) 6608390 (4703:>=*) No proof was found though that an increment of the last pushed constraint doesn't have a model. result: not enough memory (4) seed: 0 Nr of vars set: 6592 (#equs: 0) Time taken: 6 min, 53 sec times: 0m0.016s 0m0.015s 6m47.955s 0m5.455s s UNKNOWN
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/5573/stat): 5573 (vallstSAT2005PB) R 5572 5573 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19924935 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/5573/statm): 174 3 169 147 0 27 0 [pid=5573] 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=5574 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=5574) exited with status: 0 New process pid=5575 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=5575) exited with status: 0 New process pid=5576 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/wulflinc8/normalized-mps-v2-13-7-air02.opb open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map [startup+10.0029 s] Raw data (loadavg): 0.96 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 886 0 0 0 975 8 0 0 25 0 1 0 19924942 5636096 856 4294967295 134512640 134702520 3221223952 3221223216 134553118 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 1376 856 413 48 0 1328 0 [pid=5576] vsize: 5504 Current children cumulated CPU time (s) 9.84 Current children cumulated vsize (Kb) 7632 [startup+20.0047 s] Raw data (loadavg): 0.96 1.00 0.99 1/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 921 0 0 0 1940 19 0 0 25 0 1 0 19924942 10547200 891 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2575 891 413 48 0 2527 0 [pid=5576] vsize: 10300 Current children cumulated CPU time (s) 19.6 Current children cumulated vsize (Kb) 12428 [startup+30.0055 s] Raw data (loadavg): 0.97 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 940 0 0 0 2840 53 0 0 25 0 1 0 19924942 10547200 910 4294967295 134512640 134702520 3221223952 3221223436 134608148 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2575 910 413 48 0 2527 0 [pid=5576] vsize: 10300 Current children cumulated CPU time (s) 28.94 Current children cumulated vsize (Kb) 12428 [startup+40.0063 s] Raw data (loadavg): 0.97 1.00 0.99 1/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 1007 0 0 0 3736 89 0 0 25 0 1 0 19924942 10547200 977 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2575 977 413 48 0 2527 0 [pid=5576] vsize: 10300 Current children cumulated CPU time (s) 38.26 Current children cumulated vsize (Kb) 12428 [startup+50.0081 s] Raw data (loadavg): 0.98 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2121 0 0 0 4662 116 0 0 25 0 1 0 19924942 10547200 2091 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5576/statm): 2575 2091 413 48 0 2527 0 [pid=5576] vsize: 10300 Current children cumulated CPU time (s) 47.79 Current children cumulated vsize (Kb) 12428 [startup+60.0088 s] Raw data (loadavg): 0.98 1.00 0.99 1/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 2121 0 0 0 5626 131 0 0 18 0 1 0 19924942 10547200 2091 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5576/statm): 2575 2091 413 48 0 2527 0 [pid=5576] vsize: 10300 Current children cumulated CPU time (s) 57.58 Current children cumulated vsize (Kb) 12428 [startup+70.0107 s] Raw data (loadavg): 0.98 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2121 0 0 0 6590 144 0 0 25 0 1 0 19924942 10547200 2091 4294967295 134512640 134702520 3221223952 3221223232 134550611 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2575 2091 413 48 0 2527 0 [pid=5576] vsize: 10300 Current children cumulated CPU time (s) 67.35 Current children cumulated vsize (Kb) 12428 [startup+80.0114 s] Raw data (loadavg): 0.98 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2146 0 0 0 7569 151 0 0 25 0 1 0 19924942 10547200 2116 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2575 2116 413 48 0 2527 0 [pid=5576] vsize: 10300 Current children cumulated CPU time (s) 77.21 Current children cumulated vsize (Kb) 12428 [startup+90.0122 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2181 0 0 0 8545 159 0 0 25 0 1 0 19924942 10547200 2151 4294967295 134512640 134702520 3221223952 3221223344 134603380 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2575 2151 413 48 0 2527 0 [pid=5576] vsize: 10300 Current children cumulated CPU time (s) 87.05 Current children cumulated vsize (Kb) 12428 [startup+100.013 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 2207 0 0 0 9519 169 0 0 25 0 1 0 19924942 10682368 2177 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5576/statm): 2608 2177 413 48 0 2560 0 [pid=5576] vsize: 10432 Current children cumulated CPU time (s) 96.89 Current children cumulated vsize (Kb) 12560 [startup+110.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2242 0 0 0 10498 176 0 0 25 0 1 0 19924942 10682368 2212 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5576/statm): 2608 2212 413 48 0 2560 0 [pid=5576] vsize: 10432 Current children cumulated CPU time (s) 106.75 Current children cumulated vsize (Kb) 12560 [startup+120.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2272 0 0 0 11474 184 0 0 25 0 1 0 19924942 10682368 2242 4294967295 134512640 134702520 3221223952 3221223232 134553160 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2608 2242 413 48 0 2560 0 [pid=5576] vsize: 10432 Current children cumulated CPU time (s) 116.59 Current children cumulated vsize (Kb) 12560 [startup+130.015 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 2285 0 0 0 12447 193 0 0 25 0 1 0 19924942 10682368 2255 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5576/statm): 2608 2255 413 48 0 2560 0 [pid=5576] vsize: 10432 Current children cumulated CPU time (s) 126.41 Current children cumulated vsize (Kb) 12560 [startup+140.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2289 0 0 0 13414 203 0 0 25 0 1 0 19924942 10817536 2259 4294967295 134512640 134702520 3221223952 3221223232 134553160 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2641 2259 413 48 0 2593 0 [pid=5576] vsize: 10564 Current children cumulated CPU time (s) 136.18 Current children cumulated vsize (Kb) 12692 [startup+150.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2318 0 0 0 14391 212 0 0 25 0 1 0 19924942 10817536 2288 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2641 2288 413 48 0 2593 0 [pid=5576] vsize: 10564 Current children cumulated CPU time (s) 146.04 Current children cumulated vsize (Kb) 12692 [startup+160.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2344 0 0 0 15366 222 0 0 25 0 1 0 19924942 10817536 2314 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2641 2314 413 48 0 2593 0 [pid=5576] vsize: 10564 Current children cumulated CPU time (s) 155.89 Current children cumulated vsize (Kb) 12692 [startup+170.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2359 0 0 0 16333 235 0 0 25 0 1 0 19924942 11481088 2329 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2803 2329 413 48 0 2755 0 [pid=5576] vsize: 11212 Current children cumulated CPU time (s) 165.69 Current children cumulated vsize (Kb) 13340 [startup+180.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2396 0 0 0 17312 242 0 0 25 0 1 0 19924942 11616256 2366 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5576/statm): 2836 2366 413 48 0 2788 0 [pid=5576] vsize: 11344 Current children cumulated CPU time (s) 175.55 Current children cumulated vsize (Kb) 13472 [startup+190.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2407 0 0 0 18288 250 0 0 25 0 1 0 19924942 11616256 2377 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5576/statm): 2836 2377 413 48 0 2788 0 [pid=5576] vsize: 11344 Current children cumulated CPU time (s) 185.39 Current children cumulated vsize (Kb) 13472 [startup+200.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2422 0 0 0 19250 263 0 0 25 0 1 0 19924942 11616256 2392 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2836 2392 413 48 0 2788 0 [pid=5576] vsize: 11344 Current children cumulated CPU time (s) 195.14 Current children cumulated vsize (Kb) 13472 [startup+210.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2431 0 0 0 20225 271 0 0 25 0 1 0 19924942 11788288 2401 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2878 2401 413 48 0 2830 0 [pid=5576] vsize: 11512 Current children cumulated CPU time (s) 204.97 Current children cumulated vsize (Kb) 13640 [startup+220.023 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 2435 0 0 0 21188 284 0 0 25 0 1 0 19924942 11788288 2405 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2878 2405 413 48 0 2830 0 [pid=5576] vsize: 11512 Current children cumulated CPU time (s) 214.73 Current children cumulated vsize (Kb) 13640 [startup+230.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2440 0 0 0 22117 309 0 0 25 0 1 0 19924942 11788288 2410 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5576/statm): 2878 2410 413 48 0 2830 0 [pid=5576] vsize: 11512 Current children cumulated CPU time (s) 224.27 Current children cumulated vsize (Kb) 13640 [startup+240.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2444 0 0 0 23075 323 0 0 25 0 1 0 19924942 11788288 2414 4294967295 134512640 134702520 3221223952 3221223172 134549061 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2878 2414 413 48 0 2830 0 [pid=5576] vsize: 11512 Current children cumulated CPU time (s) 233.99 Current children cumulated vsize (Kb) 13640 [startup+250.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2463 0 0 0 24036 336 0 0 25 0 1 0 19924942 11788288 2433 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2878 2433 413 48 0 2830 0 [pid=5576] vsize: 11512 Current children cumulated CPU time (s) 243.73 Current children cumulated vsize (Kb) 13640 [startup+260.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2468 0 0 0 24997 350 0 0 25 0 1 0 19924942 11923456 2438 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5576/statm): 2911 2438 413 48 0 2863 0 [pid=5576] vsize: 11644 Current children cumulated CPU time (s) 253.48 Current children cumulated vsize (Kb) 13772 [startup+270.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2474 0 0 0 25969 361 0 0 25 0 1 0 19924942 11923456 2444 4294967295 134512640 134702520 3221223952 3221223344 134604339 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2911 2444 413 48 0 2863 0 [pid=5576] vsize: 11644 Current children cumulated CPU time (s) 263.31 Current children cumulated vsize (Kb) 13772 [startup+280.028 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2478 0 0 0 26945 369 0 0 25 0 1 0 19924942 11923456 2448 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2911 2448 413 48 0 2863 0 [pid=5576] vsize: 11644 Current children cumulated CPU time (s) 273.15 Current children cumulated vsize (Kb) 13772 [startup+290.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 2482 0 0 0 27912 383 0 0 25 0 1 0 19924942 11923456 2452 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5576/statm): 2911 2452 413 48 0 2863 0 [pid=5576] vsize: 11644 Current children cumulated CPU time (s) 282.96 Current children cumulated vsize (Kb) 13772 [startup+300.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2485 0 0 0 28886 390 0 0 25 0 1 0 19924942 11923456 2455 4294967295 134512640 134702520 3221223952 3221223232 134552894 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2911 2455 413 48 0 2863 0 [pid=5576] vsize: 11644 Current children cumulated CPU time (s) 292.77 Current children cumulated vsize (Kb) 13772 [startup+310.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2488 0 0 0 29856 401 0 0 25 0 1 0 19924942 11923456 2458 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2911 2458 413 48 0 2863 0 [pid=5576] vsize: 11644 Current children cumulated CPU time (s) 302.58 Current children cumulated vsize (Kb) 13772 [startup+320.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2491 0 0 0 30826 411 0 0 24 0 1 0 19924942 11923456 2461 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0 Raw data (/proc/5576/statm): 2911 2461 413 48 0 2863 0 [pid=5576] vsize: 11644 Current children cumulated CPU time (s) 312.38 Current children cumulated vsize (Kb) 13772 [startup+330.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2496 0 0 0 31789 425 0 0 25 0 1 0 19924942 11923456 2466 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2911 2466 413 48 0 2863 0 [pid=5576] vsize: 11644 Current children cumulated CPU time (s) 322.15 Current children cumulated vsize (Kb) 13772 [startup+340.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2501 0 0 0 32751 438 0 0 25 0 1 0 19924942 12062720 2471 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2945 2471 413 48 0 2897 0 [pid=5576] vsize: 11780 Current children cumulated CPU time (s) 331.9 Current children cumulated vsize (Kb) 13908 [startup+350.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2515 0 0 0 33713 452 0 0 25 0 1 0 19924942 12062720 2485 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2945 2485 413 48 0 2897 0 [pid=5576] vsize: 11780 Current children cumulated CPU time (s) 341.66 Current children cumulated vsize (Kb) 13908 [startup+360.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2519 0 0 0 34683 463 0 0 25 0 1 0 19924942 12062720 2489 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2945 2489 413 48 0 2897 0 [pid=5576] vsize: 11780 Current children cumulated CPU time (s) 351.47 Current children cumulated vsize (Kb) 13908 [startup+370.037 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2532 0 0 0 35637 480 0 0 25 0 1 0 19924942 12062720 2502 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2945 2502 413 48 0 2897 0 [pid=5576] vsize: 11780 Current children cumulated CPU time (s) 361.18 Current children cumulated vsize (Kb) 13908 [startup+380.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2535 0 0 0 36611 489 0 0 25 0 1 0 19924942 12062720 2505 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2945 2505 413 48 0 2897 0 [pid=5576] vsize: 11780 Current children cumulated CPU time (s) 371.01 Current children cumulated vsize (Kb) 13908 [startup+390.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2538 0 0 0 37575 502 0 0 25 0 1 0 19924942 12062720 2508 4294967295 134512640 134702520 3221223952 3221223232 134554417 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2945 2508 413 48 0 2897 0 [pid=5576] vsize: 11780 Current children cumulated CPU time (s) 380.78 Current children cumulated vsize (Kb) 13908 [startup+400.041 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2546 0 0 0 38538 514 0 0 25 0 1 0 19924942 12062720 2516 4294967295 134512640 134702520 3221223952 3221223232 134552284 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2945 2516 413 48 0 2897 0 [pid=5576] vsize: 11780 Current children cumulated CPU time (s) 390.53 Current children cumulated vsize (Kb) 13908 [startup+410.041 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) T 5573 5573 4060 0 -1 0 2550 0 0 0 39500 527 0 0 25 0 1 0 19924942 12062720 2520 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0 Raw data (/proc/5576/statm): 2945 2520 413 48 0 2897 0 [pid=5576] vsize: 11780 Current children cumulated CPU time (s) 400.28 Current children cumulated vsize (Kb) 13908 [startup+420.042 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 5576 Raw data (/proc/5573/stat): 5573 (vallstSAT2005PB) S 5572 5573 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19924935 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0 Raw data (/proc/5573/statm): 532 242 485 147 0 385 0 [pid=5573] vsize: 2128 Raw data (/proc/5576/stat): 5576 (vallst) R 5573 5573 4060 0 -1 0 2551 0 0 0 40463 538 0 0 25 0 1 0 19924942 12062720 2521 4294967295 134512640 134702520 3221223952 3221223072 134588357 0 0 5 8404994 0 0 0 17 0 0 0 Raw data (/proc/5576/statm): 2945 2521 413 48 0 2897 0 [pid=5576] vsize: 11780 Current children cumulated CPU time (s) 410.02 Current children cumulated vsize (Kb) 13908 One traced child (pid=5576) exited with status: 4 New process pid=5577 New process pid=5578 execve syscall for /bin/ps executable open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libproc.so.2.0.13 open syscall for file tls/i686/libproc.so.2.0.13 open syscall for file tls/mmx/libproc.so.2.0.13 open syscall for file tls/libproc.so.2.0.13 open syscall for file i686/mmx/libproc.so.2.0.13 open syscall for file i686/libproc.so.2.0.13 open syscall for file mmx/libproc.so.2.0.13 open syscall for file libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13 open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13 open syscall for file /etc/ld.so.cache open syscall for file /lib/libproc.so.2.0.13 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /proc/self/stat open syscall for file /proc/self/statm open syscall for file /proc/self/status open syscall for file /proc/uptime open syscall for file /proc/meminfo open syscall for file /proc open syscall for file /proc/1/stat open syscall for file /proc/1/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1/cmdline open syscall for file /proc/1/environ open syscall for file /proc/2/stat open syscall for file /proc/2/status open syscall for file /proc/2/cmdline open syscall for file /proc/2/environ open syscall for file /proc/3/stat open syscall for file /proc/3/status open syscall for file /proc/3/cmdline open syscall for file /proc/3/environ open syscall for file /proc/4/stat open syscall for file /proc/4/status open syscall for file /proc/4/cmdline open syscall for file /proc/4/environ open syscall for file /proc/5/stat open syscall for file /proc/5/status open syscall for file /proc/5/cmdline open syscall for file /proc/5/environ open syscall for file /proc/6/stat open syscall for file /proc/6/status open syscall for file /proc/6/cmdline open syscall for file /proc/6/environ open syscall for file /proc/7/stat open syscall for file /proc/7/status open syscall for file /proc/7/cmdline open syscall for file /proc/7/environ open syscall for file /proc/8/stat open syscall for file /proc/8/status open syscall for file /proc/8/cmdline open syscall for file /proc/8/environ open syscall for file /proc/9/stat open syscall for file /proc/9/status open syscall for file /proc/9/cmdline open syscall for file /proc/9/environ open syscall for file /proc/10/stat open syscall for file /proc/10/status open syscall for file /proc/10/cmdline open syscall for file /proc/10/environ open syscall for file /proc/11/stat open syscall for file /proc/11/status open syscall for file /proc/11/cmdline open syscall for file /proc/11/environ open syscall for file /proc/34/stat open syscall for file /proc/34/status open syscall for file /proc/34/cmdline open syscall for file /proc/34/environ open syscall for file /proc/35/stat open syscall for file /proc/35/status open syscall for file /proc/35/cmdline open syscall for file /proc/35/environ open syscall for file /proc/36/stat open syscall for file /proc/36/status open syscall for file /proc/36/cmdline open syscall for file /proc/36/environ open syscall for file /proc/37/stat open syscall for file /proc/37/status open syscall for file /proc/37/cmdline open syscall for file /proc/37/environ open syscall for file /proc/38/stat open syscall for file /proc/38/status open syscall for file /proc/38/cmdline open syscall for file /proc/38/environ open syscall for file /proc/39/stat open syscall for file /proc/39/status open syscall for file /proc/39/cmdline open syscall for file /proc/39/environ open syscall for file /proc/153/stat open syscall for file /proc/153/status open syscall for file /proc/153/cmdline open syscall for file /proc/153/environ open syscall for file /proc/156/stat open syscall for file /proc/156/status open syscall for file /proc/156/cmdline open syscall for file /proc/156/environ open syscall for file /proc/159/stat open syscall for file /proc/159/status open syscall for file /proc/159/cmdline open syscall for file /proc/159/environ open syscall for file /proc/826/stat open syscall for file /proc/826/status open syscall for file /proc/826/cmdline open syscall for file /proc/826/environ open syscall for file /proc/827/stat open syscall for file /proc/827/status open syscall for file /proc/827/cmdline open syscall for file /proc/827/environ open syscall for file /proc/1260/stat open syscall for file /proc/1260/status open syscall for file /proc/1260/cmdline open syscall for file /proc/1260/environ open syscall for file /proc/1264/stat open syscall for file /proc/1264/status open syscall for file /proc/1264/cmdline open syscall for file /proc/1264/environ open syscall for file /proc/1286/stat open syscall for file /proc/1286/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1286/cmdline open syscall for file /proc/1286/environ open syscall for file /proc/1316/stat open syscall for file /proc/1316/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1316/cmdline open syscall for file /proc/1316/environ open syscall for file /proc/1360/stat open syscall for file /proc/1360/status open syscall for file /proc/1360/cmdline open syscall for file /proc/1360/environ open syscall for file /proc/1388/stat open syscall for file /proc/1388/status open syscall for file /proc/1388/cmdline open syscall for file /proc/1388/environ open syscall for file /proc/1452/stat open syscall for file /proc/1452/status open syscall for file /proc/1452/cmdline open syscall for file /proc/1452/environ open syscall for file /proc/1480/stat open syscall for file /proc/1480/status open syscall for file /proc/1480/cmdline open syscall for file /proc/1480/environ open syscall for file /proc/1504/stat open syscall for file /proc/1504/status open syscall for file /proc/1504/cmdline open syscall for file /proc/1504/environ open syscall for file /proc/1545/stat open syscall for file /proc/1545/status open syscall for file /proc/1545/cmdline open syscall for file /proc/1545/environ open syscall for file /proc/1569/stat open syscall for file /proc/1569/status open syscall for file /proc/1569/cmdline open syscall for file /proc/1569/environ open syscall for file /proc/1592/stat open syscall for file /proc/1592/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/1592/cmdline open syscall for file /proc/1592/environ open syscall for file /proc/1623/stat open syscall for file /proc/1623/status open syscall for file /proc/1623/cmdline open syscall for file /proc/1623/environ open syscall for file /proc/1681/stat open syscall for file /proc/1681/status open syscall for file /proc/1681/cmdline open syscall for file /proc/1681/environ open syscall for file /proc/1686/stat open syscall for file /proc/1686/status open syscall for file /proc/1686/cmdline open syscall for file /proc/1686/environ open syscall for file /proc/1687/stat open syscall for file /proc/1687/status open syscall for file /proc/1687/cmdline open syscall for file /proc/1687/environ open syscall for file /proc/1688/stat open syscall for file /proc/1688/status open syscall for file /proc/1688/cmdline open syscall for file /proc/1688/environ open syscall for file /proc/1689/stat open syscall for file /proc/1689/status open syscall for file /proc/1689/cmdline open syscall for file /proc/1689/environ open syscall for file /proc/1690/stat open syscall for file /proc/1690/status open syscall for file /proc/1690/cmdline open syscall for file /proc/1690/environ open syscall for file /proc/1691/stat open syscall for file /proc/1691/status open syscall for file /proc/1691/cmdline open syscall for file /proc/1691/environ open syscall for file /proc/1692/stat open syscall for file /proc/1692/status open syscall for file /proc/1692/cmdline open syscall for file /proc/1692/environ open syscall for file /proc/4043/stat open syscall for file /proc/4043/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/4043/cmdline open syscall for file /proc/4043/environ open syscall for file /proc/4068/stat open syscall for file /proc/4068/status socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7 socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /proc/4068/cmdline open syscall for file /proc/4068/environ open syscall for file /proc/5534/stat open syscall for file /proc/5534/status open syscall for file /proc/5534/cmdline open syscall for file /proc/5534/environ open syscall for file /proc/5572/stat open syscall for file /proc/5572/status open syscall for file /proc/5572/cmdline open syscall for file /proc/5572/environ open syscall for file /proc/5573/stat open syscall for file /proc/5573/status open syscall for file /proc/5573/cmdline open syscall for file /proc/5573/environ open syscall for file /proc/5577/stat open syscall for file /proc/5577/status open syscall for file /proc/5577/cmdline open syscall for file /proc/5577/environ open syscall for file /proc/5578/stat open syscall for file /proc/5578/status open syscall for file /proc/5578/cmdline open syscall for file /proc/5578/environ One traced child (pid=5577) exited with status: 0 One traced child (pid=5578) exited with status: 0 New process pid=5579 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=5579) exited with status: 0 New process pid=5580 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=5580) exited with status: 0 One traced child (pid=5573) exited with status: 4 All traced children have exited ! Game is over. Child status: 4 Real time (s): 424.037 CPU time (s): 413.528 CPU user time (s): 408.003 CPU system time (s): 5.52516 CPU usage (%): 97.5218 Max. virtual memory (cumulated for all children) (Kb): 13908
ERROR: no interpretation found !