Name | mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb |
MD5SUM | 493fb4fa67dc1b7120e0eba521ce7d8c |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -60000 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 8589934592 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 22548578283 |
Number of bits of the biggest sum of numbers | 35 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 14.5268 |
Number of variables | 1440 |
Total number of constraints | 49 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 49 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 120 |
LAUNCH ON wulflinc5 THE 2005-09-23 16:08:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8659 boxname=wulflinc5 idbench=455 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 493fb4fa67dc1b7120e0eba521ce7d8c /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sc50a.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sc50a.opb IDLAUNCH: 8659 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.158 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.158 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 935868 kB Buffers: 14796 kB Cached: 65580 kB SwapCached: 0 kB Active: 44036 kB Inactive: 39216 kB HighTotal: 131008 kB HighFree: 61544 kB LowTotal: 903652 kB LowFree: 874324 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 52 kB Writeback: 0 kB Mapped: 6976 kB Slab: 10052 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 16:14:32 (client local time) WITH STATUS 30 IN 327.453 SECONDS stats: 8659 0 327.453 30
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 10911/32850 Time: 2.6206/86400 c Decision: 11165/32850 Time: 4.92325/86400 c Decision: 11433/32850 Time: 6.80397/86400 c Decision: 11433/32850 Time: 8.58769/86400 c Decision: 11596/32850 Time: 11.2433/86400 c Decision: 11596/32850 Time: 13.8549/86400 c Decision: 11596/32850 Time: 16.0426/86400 c Decision: 11596/32850 Time: 19.2111/86400 c Decision: 11596/32850 Time: 21.5597/86400 c Decision: 11596/32850 Time: 24.5213/86400 c Decision: 11903/32850 Time: 29.4575/86400 c Decision: 11908/32850 Time: 35.4376/86400 c Decision: 11908/32850 Time: 38.0782/86400 c Decision: 11908/32850 Time: 41.6697/86400 c Decision: 11908/32850 Time: 44.9582/86400 c Decision: 11911/32850 Time: 51.3372/86400 c Decision: 12052/32850 Time: 55.5776/86400 c Decision: 12090/32850 Time: 63.8863/86400 c Decision: 12090/32850 Time: 67.2398/86400 c Decision: 12090/32850 Time: 71.3921/86400 c Decision: 12090/32850 Time: 75.6395/86400 c Decision: 12090/32850 Time: 78.2981/86400 c Decision: 12186/32850 Time: 87.4407/86400 c Decision: 12186/32850 Time: 92.4589/86400 c Decision: 12186/32850 Time: 97.0492/86400 c Decision: 12186/32850 Time: 101.527/86400 c Decision: 12189/32850 Time: 107.457/86400 c got solution with objective value: 1073741823 c small objective detected c CONFLICT during preprocess c [startup+112.727 s] setting bit 29 to 0 c CONFLICT during preprocess c [startup+112.837 s] setting bit 28 to 0 c CONFLICT during preprocess c [startup+112.947 s] setting bit 27 to 0 c CONFLICT during preprocess c [startup+113.058 s] setting bit 26 to 0 c CONFLICT during preprocess c [startup+113.17 s] setting bit 25 to 0 c CONFLICT during preprocess c [startup+113.282 s] setting bit 24 to 0 c CONFLICT during preprocess c [startup+113.395 s] setting bit 23 to 0 c CONFLICT during preprocess c [startup+113.51 s] setting bit 22 to 0 c CONFLICT during preprocess c [startup+113.625 s] setting bit 21 to 0 c CONFLICT during preprocess c [startup+113.742 s] setting bit 20 to 0 c CONFLICT during preprocess c [startup+113.861 s] setting bit 19 to 0 c CONFLICT during preprocess c [startup+113.981 s] setting bit 18 to 0 c CONFLICT during preprocess c [startup+114.103 s] setting bit 17 to 0 c Decision: 15385/32939 Time: 22.0356/86400 c Decision: 15404/32939 Time: 23.7604/86400 c Decision: 16057/32939 Time: 34.9097/86400 c Decision: 16088/32939 Time: 37.5213/86400 c Decision: 16191/32939 Time: 40.7718/86400 c Decision: 16206/32939 Time: 43.3924/86400 c Decision: 16206/32939 Time: 46.177/86400 c Decision: 16206/32939 Time: 48.4666/86400 c Decision: 16224/32939 Time: 51.1772/86400 c Decision: 16278/32939 Time: 59.369/86400 c Decision: 16278/32939 Time: 62.3085/86400 c Decision: 16278/32939 Time: 65.2411/86400 c Decision: 16278/32939 Time: 68.2476/86400 c Decision: 16281/32939 Time: 73.7548/86400 c Decision: 16281/32939 Time: 77.1033/86400 c Decision: 16318/32939 Time: 80.7007/86400 c Decision: 16406/32939 Time: 87.7357/86400 c Decision: 16505/32939 Time: 91.5621/86400 c Decision: 16513/32939 Time: 101.6/86400 c Decision: 16567/32939 Time: 107.057/86400 c Decision: 16567/32939 Time: 111.005/86400 c [startup+234.71 s] setting bit 16 to 0 c Decision: 12425/32939 Time: 3.33749/86400 c Decision: 12435/32939 Time: 7.2209/86400 c Decision: 12478/32939 Time: 13.6549/86400 c Decision: 12480/32939 Time: 17.2784/86400 c Decision: 12480/32939 Time: 20.7828/86400 c Decision: 12480/32939 Time: 24.5273/86400 c Decision: 12522/32939 Time: 34.0388/86400 c got solution with objective value: 1073681823 c [startup+272.923 s] setting bit 15 to 1 c Decision: 12708/32939 Time: 2.6546/86400 c Decision: 12708/32939 Time: 5.55816/86400 c Decision: 13051/32939 Time: 14.5608/86400 c Decision: 13054/32939 Time: 17.9223/86400 c Decision: 13211/32939 Time: 20.4899/86400 c got solution with objective value: 1073681823 c [startup+302.372 s] setting bit 14 to 1 c Decision: 13793/32939 Time: 2.90856/86400 c Decision: 13899/32939 Time: 6.06208/86400 c Decision: 13899/32939 Time: 8.50271/86400 c Decision: 13899/32939 Time: 11.2553/86400 c Decision: 13899/32939 Time: 14.2418/86400 c Decision: 13958/32939 Time: 17.4513/86400 c Decision: 13958/32939 Time: 20.7388/86400 c Decision: 14053/32939 Time: 24.0563/86400 c got solution with objective value: 1073681823 c [startup+328.332 s] setting bit 13 to 1 c [startup+329.426 s] setting bit 12 to 0 c got solution with objective value: 1073681823 c [startup+330.481 s] setting bit 11 to 1 c [startup+330.66 s] setting bit 10 to 0 c got solution with objective value: 1073681823 c [startup+331.141 s] setting bit 9 to 1 c [startup+331.317 s] setting bit 8 to 0 c [startup+331.504 s] setting bit 7 to 0 c got solution with objective value: 1073681823 c [startup+331.764 s] setting bit 6 to 1 c [startup+331.95 s] setting bit 5 to 0 c got solution with objective value: 1073681823 c [startup+332.176 s] setting bit 4 to 1 c got solution with objective value: 1073681823 c [startup+332.423 s] setting bit 3 to 1 c got solution with objective value: 1073681823 c [startup+332.67 s] setting bit 2 to 1 c got solution with objective value: 1073681823 c [startup+332.895 s] setting bit 1 to 1 c got solution with objective value: 1073681823 c [startup+333.115 s] setting bit 0 to 1 s OPTIMUM FOUND v -COL00001_bit0 -COL00001_bit1 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00001_bit13 -COL00001_bit14 -COL00001_bit15 -COL00001_bit16 -COL00001_bit17 -COL00001_bit18 -COL00001_bit19 -COL00001_bit2 -COL00001_bit3 -COL00001_bit4 -COL00001_bit5 -COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit_1 -COL00001_bit_10 -COL00001_bit_2 -COL00001_bit_3 -COL00001_bit_4 -COL00001_bit_5 -COL00001_bit_6 -COL00001_bit_7 -COL00001_bit_8 -COL00001_bit_9 -COL00002_bit0 -COL00002_bit1 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00002_bit13 -COL00002_bit14 -COL00002_bit15 -COL00002_bit16 -COL00002_bit17 -COL00002_bit18 -COL00002_bit19 -COL00002_bit2 -COL00002_bit3 COL00002_bit4 -COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit_1 -COL00002_bit_10 -COL00002_bit_2 -COL00002_bit_3 -COL00002_bit_4 -COL00002_bit_5 -COL00002_bit_6 -COL00002_bit_7 -COL00002_bit_8 -COL00002_bit_9 -COL00003_bit0 -COL00003_bit1 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00003_bit13 -COL00003_bit14 -COL00003_bit15 -COL00003_bit16 -COL00003_bit17 -COL00003_bit18 -COL00003_bit19 -COL00003_bit2 -COL00003_bit3 -COL00003_bit4 -COL00003_bit5 COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit_1 -COL00003_bit_10 -COL00003_bit_2 -COL00003_bit_3 -COL00003_bit_4 -COL00003_bit_5 -COL00003_bit_6 -COL00003_bit_7 -COL00003_bit_8 -COL00003_bit_9 -COL00004_bit0 COL00004_bit1 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00004_bit13 -COL00004_bit14 -COL00004_bit15 -COL00004_bit16 -COL00004_bit17 -COL00004_bit18 -COL00004_bit19 -COL00004_bit2 COL00004_bit3 COL00004_bit4 COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 COL00004_bit_1 -COL00004_bit_10 -COL00004_bit_2 -COL00004_bit_3 COL00004_bit_4 COL00004_bit_5 -COL00004_bit_6 -COL00004_bit_7 -COL00004_bit_8 -COL00004_bit_9 -COL00005_bit0 COL00005_bit1 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00005_bit13 -COL00005_bit14 -COL00005_bit15 -COL00005_bit16 -COL00005_bit17 -COL00005_bit18 -COL00005_bit19 -COL00005_bit2 COL00005_bit3 COL00005_bit4 COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 COL00005_bit_1 -COL00005_bit_10 -COL00005_bit_2 -COL00005_bit_3 COL00005_bit_4 COL00005_bit_5 -COL00005_bit_6 -COL00005_bit_7 -COL00005_bit_8 -COL00005_bit_9 -COL00006_bit0 -COL00006_bit1 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00006_bit13 -COL00006_bit14 -COL00006_bit15 -COL00006_bit16 -COL00006_bit17 -COL00006_bit18 -COL00006_bit19 -COL00006_bit2 -COL00006_bit3 -COL00006_bit4 -COL00006_bit5 -COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit_1 -COL00006_bit_10 -COL00006_bit_2 -COL00006_bit_3 -COL00006_bit_4 -COL00006_bit_5 -COL00006_bit_6 -COL00006_bit_7 -COL00006_bit_8 -COL00006_bit_9 -COL00007_bit0 -COL00007_bit1 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00007_bit13 -COL00007_bit14 -COL00007_bit15 -COL00007_bit16 -COL00007_bit17 -COL00007_bit18 -COL00007_bit19 -COL00007_bit2 -COL00007_bit3 COL00007_bit4 -COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit_1 -COL00007_bit_10 -COL00007_bit_2 -COL00007_bit_3 -COL00007_bit_4 -COL00007_bit_5 -COL00007_bit_6 -COL00007_bit_7 -COL00007_bit_8 -COL00007_bit_9 -COL00008_bit0 -COL00008_bit1 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00008_bit13 -COL00008_bit14 -COL00008_bit15 -COL00008_bit16 -COL00008_bit17 -COL00008_bit18 -COL00008_bit19 -COL00008_bit2 -COL00008_bit3 -COL00008_bit4 -COL00008_bit5 COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit_1 -COL00008_bit_10 -COL00008_bit_2 -COL00008_bit_3 -COL00008_bit_4 -COL00008_bit_5 -COL00008_bit_6 -COL00008_bit_7 -COL00008_bit_8 -COL00008_bit_9 -COL00009_bit0 -COL00009_bit1 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00009_bit13 -COL00009_bit14 -COL00009_bit15 -COL00009_bit16 -COL00009_bit17 -COL00009_bit18 -COL00009_bit19 -COL00009_bit2 -COL00009_bit3 -COL00009_bit4 -COL00009_bit5 -COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit_1 -COL00009_bit_10 -COL00009_bit_2 -COL00009_bit_3 -COL00009_bit_4 -COL00009_bit_5 -COL00009_bit_6 -COL00009_bit_7 -COL00009_bit_8 -COL00009_bit_9 -COL00010_bit0 -COL00010_bit1 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00010_bit13 -COL00010_bit14 -COL00010_bit15 -COL00010_bit16 -COL00010_bit17 -COL00010_bit18 -COL00010_bit19 -COL00010_bit2 -COL00010_bit3 COL00010_bit4 -COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit_1 -COL00010_bit_10 -COL00010_bit_2 -COL00010_bit_3 -COL00010_bit_4 -COL00010_bit_5 -COL00010_bit_6 -COL00010_bit_7 -COL00010_bit_8 -COL00010_bit_9 -COL00011_bit0 -COL00011_bit1 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 -COL00011_bit13 -COL00011_bit14 -COL00011_bit15 -COL00011_bit16 -COL00011_bit17 -COL00011_bit18 -COL00011_bit19 COL00011_bit2 COL00011_bit3 COL00011_bit4 COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit_1 -COL00011_bit_10 -COL00011_bit_2 -COL00011_bit_3 -COL00011_bit_4 COL00011_bit_5 COL00011_bit_6 -COL00011_bit_7 -COL00011_bit_8 -COL00011_bit_9 -COL00012_bit0 -COL00012_bit1 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 -COL00012_bit13 -COL00012_bit14 -COL00012_bit15 -COL00012_bit16 -COL00012_bit17 -COL00012_bit18 -COL00012_bit19 -COL00012_bit2 COL00012_bit3 COL00012_bit4 -COL00012_bit5 -COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit_1 COL00012_bit_10 -COL00012_bit_2 -COL00012_bit_3 COL00012_bit_4 -COL00012_bit_5 -COL00012_bit_6 -COL00012_bit_7 -COL00012_bit_8 COL00012_bit_9 COL00013_bit0 COL00013_bit1 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 -COL00013_bit13 -COL00013_bit14 -COL00013_bit15 -COL00013_bit16 -COL00013_bit17 -COL00013_bit18 -COL00013_bit19 COL00013_bit2 COL00013_bit3 -COL00013_bit4 -COL00013_bit5 -COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 COL00013_bit_1 COL00013_bit_10 COL00013_bit_2 -COL00013_bit_3 COL00013_bit_4 COL00013_bit_5 -COL00013_bit_6 -COL00013_bit_7 COL00013_bit_8 COL00013_bit_9 COL00014_bit0 COL00014_bit1 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00014_bit13 -COL00014_bit14 -COL00014_bit15 -COL00014_bit16 -COL00014_bit17 -COL00014_bit18 -COL00014_bit19 -COL00014_bit2 COL00014_bit3 COL00014_bit4 COL00014_bit5 -COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 COL00014_bit_1 COL00014_bit_10 COL00014_bit_2 COL00014_bit_3 COL00014_bit_4 COL00014_bit_5 COL00014_bit_6 COL00014_bit_7 COL00014_bit_8 COL00014_bit_9 -COL00015_bit0 -COL00015_bit1 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00015_bit13 -COL00015_bit14 -COL00015_bit15 -COL00015_bit16 -COL00015_bit17 -COL00015_bit18 -COL00015_bit19 -COL00015_bit2 -COL00015_bit3 -COL00015_bit4 -COL00015_bit5 COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit_1 -COL00015_bit_10 COL00015_bit_2 COL00015_bit_3 COL00015_bit_4 -COL00015_bit_5 COL00015_bit_6 -COL00015_bit_7 -COL00015_bit_8 -COL00015_bit_9 COL00016_bit0 COL00016_bit1 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 -COL00016_bit13 -COL00016_bit14 -COL00016_bit15 -COL00016_bit16 -COL00016_bit17 -COL00016_bit18 -COL00016_bit19 -COL00016_bit2 COL00016_bit3 COL00016_bit4 COL00016_bit5 COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit_1 -COL00016_bit_10 -COL00016_bit_2 -COL00016_bit_3 -COL00016_bit_4 COL00016_bit_5 COL00016_bit_6 -COL00016_bit_7 -COL00016_bit_8 -COL00016_bit_9 -COL00017_bit0 -COL00017_bit1 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 -COL00017_bit13 -COL00017_bit14 -COL00017_bit15 -COL00017_bit16 -COL00017_bit17 -COL00017_bit18 -COL00017_bit19 -COL00017_bit2 COL00017_bit3 COL00017_bit4 -COL00017_bit5 -COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit_1 COL00017_bit_10 -COL00017_bit_2 -COL00017_bit_3 COL00017_bit_4 -COL00017_bit_5 -COL00017_bit_6 -COL00017_bit_7 -COL00017_bit_8 COL00017_bit_9 COL00018_bit0 COL00018_bit1 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 -COL00018_bit13 -COL00018_bit14 -COL00018_bit15 -COL00018_bit16 -COL00018_bit17 -COL00018_bit18 -COL00018_bit19 COL00018_bit2 COL00018_bit3 COL00018_bit4 -COL00018_bit5 -COL00018_bit6 -COL00018_bit7 -COL00018_bit8 -COL00018_bit9 COL00018_bit_1 COL00018_bit_10 COL00018_bit_2 -COL00018_bit_3 COL00018_bit_4 COL00018_bit_5 -COL00018_bit_6 -COL00018_bit_7 COL00018_bit_8 COL00018_bit_9 COL00019_bit0 COL00019_bit1 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00019_bit13 -COL00019_bit14 -COL00019_bit15 -COL00019_bit16 -COL00019_bit17 -COL00019_bit18 -COL00019_bit19 -COL00019_bit2 COL00019_bit3 COL00019_bit4 COL00019_bit5 COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 COL00019_bit_1 COL00019_bit_10 COL00019_bit_2 COL00019_bit_3 COL00019_bit_4 COL00019_bit_5 COL00019_bit_6 COL00019_bit_7 COL00019_bit_8 COL00019_bit_9 -COL00020_bit0 -COL00020_bit1 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00020_bit13 -COL00020_bit14 -COL00020_bit15 -COL00020_bit16 -COL00020_bit17 -COL00020_bit18 -COL00020_bit19 -COL00020_bit2 COL00020_bit3 COL00020_bit4 -COL00020_bit5 -COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit_1 -COL00020_bit_10 -COL00020_bit_2 -COL00020_bit_3 -COL00020_bit_4 -COL00020_bit_5 COL00020_bit_6 -COL00020_bit_7 COL00020_bit_8 -COL00020_bit_9 COL00021_bit0 COL00021_bit1 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00021_bit13 -COL00021_bit14 -COL00021_bit15 -COL00021_bit16 -COL00021_bit17 -COL00021_bit18 -COL00021_bit19 COL00021_bit2 COL00021_bit3 COL00021_bit4 -COL00021_bit5 -COL00021_bit6 -COL00021_bit7 -COL00021_bit8 -COL00021_bit9 COL00021_bit_1 COL00021_bit_10 COL00021_bit_2 -COL00021_bit_3 COL00021_bit_4 COL00021_bit_5 -COL00021_bit_6 -COL00021_bit_7 COL00021_bit_8 COL00021_bit_9 COL00022_bit0 COL00022_bit1 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 -COL00022_bit13 -COL00022_bit14 -COL00022_bit15 -COL00022_bit16 -COL00022_bit17 -COL00022_bit18 -COL00022_bit19 -COL00022_bit2 COL00022_bit3 COL00022_bit4 COL00022_bit5 COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 COL00022_bit_1 COL00022_bit_10 -COL00022_bit_2 -COL00022_bit_3 -COL00022_bit_4 COL00022_bit_5 -COL00022_bit_6 -COL00022_bit_7 COL00022_bit_8 COL00022_bit_9 -COL00023_bit0 -COL00023_bit1 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 -COL00023_bit13 -COL00023_bit14 -COL00023_bit15 -COL00023_bit16 -COL00023_bit17 -COL00023_bit18 -COL00023_bit19 -COL00023_bit2 -COL00023_bit3 -COL00023_bit4 -COL00023_bit5 -COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit_1 -COL00023_bit_10 -COL00023_bit_2 -COL00023_bit_3 -COL00023_bit_4 -COL00023_bit_5 -COL00023_bit_6 -COL00023_bit_7 -COL00023_bit_8 -COL00023_bit_9 -COL00024_bit0 -COL00024_bit1 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 -COL00024_bit13 -COL00024_bit14 -COL00024_bit15 -COL00024_bit16 -COL00024_bit17 -COL00024_bit18 -COL00024_bit19 COL00024_bit2 COL00024_bit3 COL00024_bit4 -COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 -COL00024_bit_1 COL00024_bit_10 COL00024_bit_2 COL00024_bit_3 COL00024_bit_4 -COL00024_bit_5 -COL00024_bit_6 -COL00024_bit_7 COL00024_bit_8 -COL00024_bit_9 COL00025_bit0 -COL00025_bit1 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00025_bit13 -COL00025_bit14 -COL00025_bit15 -COL00025_bit16 -COL00025_bit17 -COL00025_bit18 -COL00025_bit19 COL00025_bit2 -COL00025_bit3 -COL00025_bit4 -COL00025_bit5 COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 COL00025_bit_1 -COL00025_bit_10 COL00025_bit_2 COL00025_bit_3 COL00025_bit_4 COL00025_bit_5 -COL00025_bit_6 COL00025_bit_7 -COL00025_bit_8 -COL00025_bit_9 -COL00026_bit0 COL00026_bit1 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00026_bit13 -COL00026_bit14 -COL00026_bit15 -COL00026_bit16 -COL00026_bit17 -COL00026_bit18 -COL00026_bit19 COL00026_bit2 -COL00026_bit3 -COL00026_bit4 -COL00026_bit5 COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 COL00026_bit_1 -COL00026_bit_10 COL00026_bit_2 COL00026_bit_3 -COL00026_bit_4 -COL00026_bit_5 COL00026_bit_6 COL00026_bit_7 -COL00026_bit_8 -COL00026_bit_9 COL00027_bit0 -COL00027_bit1 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00027_bit13 -COL00027_bit14 -COL00027_bit15 -COL00027_bit16 -COL00027_bit17 -COL00027_bit18 -COL00027_bit19 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 -COL00027_bit5 COL00027_bit6 COL00027_bit7 -COL00027_bit8 -COL00027_bit9 COL00027_bit_1 -COL00027_bit_10 COL00027_bit_2 COL00027_bit_3 COL00027_bit_4 -COL00027_bit_5 -COL00027_bit_6 COL00027_bit_7 -COL00027_bit_8 -COL00027_bit_9 -COL00028_bit0 -COL00028_bit1 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00028_bit13 -COL00028_bit14 -COL00028_bit15 -COL00028_bit16 -COL00028_bit17 -COL00028_bit18 -COL00028_bit19 -COL00028_bit2 COL00028_bit3 COL00028_bit4 -COL00028_bit5 -COL00028_bit6 -COL00028_bit7 -COL00028_bit8 -COL00028_bit9 -COL00028_bit_1 COL00028_bit_10 -COL00028_bit_2 -COL00028_bit_3 COL00028_bit_4 -COL00028_bit_5 -COL00028_bit_6 -COL00028_bit_7 -COL00028_bit_8 COL00028_bit_9 -COL00029_bit0 -COL00029_bit1 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00029_bit13 -COL00029_bit14 -COL00029_bit15 -COL00029_bit16 -COL00029_bit17 -COL00029_bit18 -COL00029_bit19 COL00029_bit2 COL00029_bit3 COL00029_bit4 COL00029_bit5 -COL00029_bit6 -COL00029_bit7 -COL00029_bit8 -COL00029_bit9 -COL00029_bit_1 -COL00029_bit_10 COL00029_bit_2 -COL00029_bit_3 -COL00029_bit_4 COL00029_bit_5 -COL00029_bit_6 COL00029_bit_7 COL00029_bit_8 -COL00029_bit_9 COL00030_bit0 -COL00030_bit1 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00030_bit13 -COL00030_bit14 -COL00030_bit15 -COL00030_bit16 -COL00030_bit17 -COL00030_bit18 -COL00030_bit19 -COL00030_bit2 -COL00030_bit3 -COL00030_bit4 -COL00030_bit5 COL00030_bit6 COL00030_bit7 -COL00030_bit8 -COL00030_bit9 COL00030_bit_1 COL00030_bit_10 COL00030_bit_2 COL00030_bit_3 COL00030_bit_4 COL00030_bit_5 -COL00030_bit_6 -COL00030_bit_7 COL00030_bit_8 COL00030_bit_9 -COL00031_bit0 -COL00031_bit1 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00031_bit13 -COL00031_bit14 -COL00031_bit15 -COL00031_bit16 -COL00031_bit17 -COL00031_bit18 -COL00031_bit19 -COL00031_bit2 COL00031_bit3 COL00031_bit4 -COL00031_bit5 -COL00031_bit6 -COL00031_bit7 -COL00031_bit8 -COL00031_bit9 -COL00031_bit_1 -COL00031_bit_10 -COL00031_bit_2 -COL00031_bit_3 -COL00031_bit_4 -COL00031_bit_5 COL00031_bit_6 -COL00031_bit_7 -COL00031_bit_8 -COL00031_bit_9 -COL00032_bit0 -COL00032_bit1 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00032_bit13 -COL00032_bit14 -COL00032_bit15 -COL00032_bit16 -COL00032_bit17 -COL00032_bit18 -COL00032_bit19 COL00032_bit2 COL00032_bit3 COL00032_bit4 COL00032_bit5 -COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 -COL00032_bit_1 -COL00032_bit_10 COL00032_bit_2 -COL00032_bit_3 -COL00032_bit_4 COL00032_bit_5 -COL00032_bit_6 COL00032_bit_7 COL00032_bit_8 -COL00032_bit_9 COL00033_bit0 -COL00033_bit1 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00033_bit13 -COL00033_bit14 -COL00033_bit15 -COL00033_bit16 -COL00033_bit17 -COL00033_bit18 -COL00033_bit19 -COL00033_bit2 -COL00033_bit3 -COL00033_bit4 -COL00033_bit5 COL00033_bit6 COL00033_bit7 -COL00033_bit8 -COL00033_bit9 COL00033_bit_1 COL00033_bit_10 COL00033_bit_2 COL00033_bit_3 COL00033_bit_4 -COL00033_bit_5 COL00033_bit_6 COL00033_bit_7 -COL00033_bit_8 COL00033_bit_9 -COL00034_bit0 -COL00034_bit1 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00034_bit13 -COL00034_bit14 -COL00034_bit15 -COL00034_bit16 -COL00034_bit17 -COL00034_bit18 -COL00034_bit19 -COL00034_bit2 -COL00034_bit3 -COL00034_bit4 -COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 -COL00034_bit_1 -COL00034_bit_10 COL00034_bit_2 -COL00034_bit_3 -COL00034_bit_4 -COL00034_bit_5 -COL00034_bit_6 -COL00034_bit_7 -COL00034_bit_8 COL00034_bit_9 -COL00035_bit0 -COL00035_bit1 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00035_bit13 -COL00035_bit14 -COL00035_bit15 -COL00035_bit16 -COL00035_bit17 -COL00035_bit18 -COL00035_bit19 -COL00035_bit2 -COL00035_bit3 -COL00035_bit4 -COL00035_bit5 -COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 COL00035_bit_1 -COL00035_bit_10 -COL00035_bit_2 -COL00035_bit_3 -COL00035_bit_4 -COL00035_bit_5 -COL00035_bit_6 -COL00035_bit_7 -COL00035_bit_8 -COL00035_bit_9 -COL00036_bit0 COL00036_bit1 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00036_bit13 -COL00036_bit14 -COL00036_bit15 -COL00036_bit16 -COL00036_bit17 -COL00036_bit18 -COL00036_bit19 COL00036_bit2 COL00036_bit3 COL00036_bit4 COL00036_bit5 COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 -COL00036_bit_1 -COL00036_bit_10 -COL00036_bit_2 -COL00036_bit_3 -COL00036_bit_4 -COL00036_bit_5 COL00036_bit_6 COL00036_bit_7 COL00036_bit_8 -COL00036_bit_9 COL00037_bit0 -COL00037_bit1 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00037_bit13 -COL00037_bit14 -COL00037_bit15 -COL00037_bit16 -COL00037_bit17 -COL00037_bit18 -COL00037_bit19 COL00037_bit2 COL00037_bit3 -COL00037_bit4 -COL00037_bit5 COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 COL00037_bit_1 -COL00037_bit_10 COL00037_bit_2 COL00037_bit_3 COL00037_bit_4 COL00037_bit_5 COL00037_bit_6 -COL00037_bit_7 COL00037_bit_8 -COL00037_bit_9 COL00038_bit0 COL00038_bit1 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00038_bit13 -COL00038_bit14 -COL00038_bit15 -COL00038_bit16 -COL00038_bit17 -COL00038_bit18 -COL00038_bit19 COL00038_bit2 COL00038_bit3 -COL00038_bit4 -COL00038_bit5 -COL00038_bit6 -COL00038_bit7 COL00038_bit8 -COL00038_bit9 COL00038_bit_1 -COL00038_bit_10 COL00038_bit_2 COL00038_bit_3 -COL00038_bit_4 COL00038_bit_5 COL00038_bit_6 COL00038_bit_7 COL00038_bit_8 -COL00038_bit_9 -COL00039_bit0 -COL00039_bit1 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00039_bit13 -COL00039_bit14 -COL00039_bit15 -COL00039_bit16 -COL00039_bit17 -COL00039_bit18 -COL00039_bit19 -COL00039_bit2 COL00039_bit3 COL00039_bit4 -COL00039_bit5 -COL00039_bit6 -COL00039_bit7 -COL00039_bit8 -COL00039_bit9 -COL00039_bit_1 COL00039_bit_10 COL00039_bit_2 -COL00039_bit_3 COL00039_bit_4 -COL00039_bit_5 -COL00039_bit_6 -COL00039_bit_7 COL00039_bit_8 -COL00039_bit_9 -COL00040_bit0 -COL00040_bit1 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00040_bit13 -COL00040_bit14 -COL00040_bit15 -COL00040_bit16 -COL00040_bit17 -COL00040_bit18 -COL00040_bit19 COL00040_bit2 COL00040_bit3 COL00040_bit4 COL00040_bit5 -COL00040_bit6 -COL00040_bit7 -COL00040_bit8 -COL00040_bit9 COL00040_bit_1 -COL00040_bit_10 COL00040_bit_2 -COL00040_bit_3 -COL00040_bit_4 COL00040_bit_5 -COL00040_bit_6 COL00040_bit_7 COL00040_bit_8 -COL00040_bit_9 -COL00041_bit0 -COL00041_bit1 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00041_bit13 -COL00041_bit14 -COL00041_bit15 -COL00041_bit16 -COL00041_bit17 -COL00041_bit18 -COL00041_bit19 -COL00041_bit2 -COL00041_bit3 -COL00041_bit4 -COL00041_bit5 COL00041_bit6 -COL00041_bit7 COL00041_bit8 -COL00041_bit9 -COL00041_bit_1 COL00041_bit_10 -COL00041_bit_2 -COL00041_bit_3 -COL00041_bit_4 -COL00041_bit_5 -COL00041_bit_6 -COL00041_bit_7 -COL00041_bit_8 COL00041_bit_9 -COL00042_bit0 -COL00042_bit1 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00042_bit13 -COL00042_bit14 -COL00042_bit15 -COL00042_bit16 -COL00042_bit17 -COL00042_bit18 -COL00042_bit19 -COL00042_bit2 COL00042_bit3 COL00042_bit4 -COL00042_bit5 -COL00042_bit6 -COL00042_bit7 -COL00042_bit8 -COL00042_bit9 -COL00042_bit_1 COL00042_bit_10 -COL00042_bit_2 -COL00042_bit_3 -COL00042_bit_4 COL00042_bit_5 -COL00042_bit_6 COL00042_bit_7 -COL00042_bit_8 COL00042_bit_9 COL00043_bit0 COL00043_bit1 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00043_bit13 -COL00043_bit14 -COL00043_bit15 -COL00043_bit16 -COL00043_bit17 -COL00043_bit18 -COL00043_bit19 COL00043_bit2 -COL00043_bit3 COL00043_bit4 COL00043_bit5 -COL00043_bit6 -COL00043_bit7 -COL00043_bit8 -COL00043_bit9 COL00043_bit_1 COL00043_bit_10 COL00043_bit_2 COL00043_bit_3 COL00043_bit_4 COL00043_bit_5 COL00043_bit_6 COL00043_bit_7 -COL00043_bit_8 -COL00043_bit_9 -COL00044_bit0 -COL00044_bit1 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00044_bit13 -COL00044_bit14 -COL00044_bit15 -COL00044_bit16 -COL00044_bit17 -COL00044_bit18 -COL00044_bit19 -COL00044_bit2 -COL00044_bit3 -COL00044_bit4 COL00044_bit5 -COL00044_bit6 -COL00044_bit7 COL00044_bit8 -COL00044_bit9 -COL00044_bit_1 COL00044_bit_10 -COL00044_bit_2 COL00044_bit_3 -COL00044_bit_4 COL00044_bit_5 -COL00044_bit_6 -COL00044_bit_7 -COL00044_bit_8 COL00044_bit_9 -COL00045_bit0 COL00045_bit1 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00045_bit13 -COL00045_bit14 -COL00045_bit15 -COL00045_bit16 -COL00045_bit17 -COL00045_bit18 -COL00045_bit19 -COL00045_bit2 -COL00045_bit3 COL00045_bit4 -COL00045_bit5 -COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 COL00045_bit_1 COL00045_bit_10 COL00045_bit_2 -COL00045_bit_3 -COL00045_bit_4 -COL00045_bit_5 -COL00045_bit_6 COL00045_bit_7 -COL00045_bit_8 -COL00045_bit_9 COL00046_bit0 COL00046_bit1 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00046_bit13 -COL00046_bit14 -COL00046_bit15 -COL00046_bit16 -COL00046_bit17 -COL00046_bit18 -COL00046_bit19 -COL00046_bit2 -COL00046_bit3 COL00046_bit4 -COL00046_bit5 -COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit_1 COL00046_bit_10 -COL00046_bit_2 -COL00046_bit_3 COL00046_bit_4 -COL00046_bit_5 COL00046_bit_6 -COL00046_bit_7 COL00046_bit_8 -COL00046_bit_9 -COL00047_bit0 COL00047_bit1 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00047_bit13 -COL00047_bit14 -COL00047_bit15 -COL00047_bit16 -COL00047_bit17 -COL00047_bit18 -COL00047_bit19 COL00047_bit2 -COL00047_bit3 COL00047_bit4 -COL00047_bit5 COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit_1 COL00047_bit_10 -COL00047_bit_2 -COL00047_bit_3 -COL00047_bit_4 -COL00047_bit_5 -COL00047_bit_6 COL00047_bit_7 COL00047_bit_8 COL00047_bit_9 COL00048_bit0 -COL00048_bit1 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 -COL00048_bit13 -COL00048_bit14 -COL00048_bit15 -COL00048_bit16 -COL00048_bit17 -COL00048_bit18 -COL00048_bit19 COL00048_bit2 -COL00048_bit3 COL00048_bit4 -COL00048_bit5 COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 COL00048_bit_1 -COL00048_bit_10 COL00048_bit_2 -COL00048_bit_3 -COL00048_bit_4 COL00048_bit_5 -COL00048_bit_6 -COL00048_bit_7 COL00048_bit_8 COL00048_bit_9
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/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21528055 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8450/statm): 373 2 364 364 0 9 0 [pid=8450] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sc50a.opb [startup+10.0019 s] Raw data (loadavg): 0.92 0.95 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 5250 0 0 0 962 21 0 0 25 0 1 0 21528055 16592896 3048 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8450/statm): 4051 3048 364 364 0 3687 0 [pid=8450] vsize: 16204 Current children cumulated CPU time (s) 9.83 Current children cumulated vsize (Kb) 16204 [startup+20.0036 s] Raw data (loadavg): 0.93 0.95 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 5873 0 0 0 1936 30 0 0 25 0 1 0 21528055 19898368 3411 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8450/statm): 4858 3411 364 364 0 4494 0 [pid=8450] vsize: 19432 Current children cumulated CPU time (s) 19.66 Current children cumulated vsize (Kb) 19432 [startup+30.0044 s] Raw data (loadavg): 0.94 0.95 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 6307 0 0 0 2908 40 0 0 25 0 1 0 21528055 20475904 3650 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8450/statm): 4999 3650 364 364 0 4635 0 [pid=8450] vsize: 19996 Current children cumulated CPU time (s) 29.48 Current children cumulated vsize (Kb) 19996 [startup+40.0041 s] Raw data (loadavg): 0.95 0.95 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 6628 0 0 0 3888 49 0 0 25 0 1 0 21528055 20897792 3841 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8450/statm): 5102 3841 364 364 0 4738 0 [pid=8450] vsize: 20408 Current children cumulated CPU time (s) 39.37 Current children cumulated vsize (Kb) 20408 [startup+50.0048 s] Raw data (loadavg): 0.96 0.95 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 6953 0 0 0 4870 56 0 0 25 0 1 0 21528055 21032960 3971 4294967295 134512640 135987407 3221224560 3221223376 134816504 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8450/statm): 5135 3971 364 364 0 4771 0 [pid=8450] vsize: 20540 Current children cumulated CPU time (s) 49.26 Current children cumulated vsize (Kb) 20540 [startup+60.0046 s] Raw data (loadavg): 0.96 0.95 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 7176 0 0 0 5851 63 0 0 25 0 1 0 21528055 21168128 4064 4294967295 134512640 135987407 3221224560 3221223248 134812146 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 5168 4064 364 364 0 4804 0 [pid=8450] vsize: 20672 Current children cumulated CPU time (s) 59.14 Current children cumulated vsize (Kb) 20672 [startup+70.0053 s] Raw data (loadavg): 0.97 0.95 0.97 1/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 7441 0 0 0 6826 74 0 0 25 0 1 0 21528055 21450752 4199 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8450/statm): 5237 4199 364 364 0 4873 0 [pid=8450] vsize: 20948 Current children cumulated CPU time (s) 69 Current children cumulated vsize (Kb) 20948 [startup+80.006 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 7676 0 0 0 7811 82 0 0 25 0 1 0 21528055 21450752 4304 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 5237 4304 364 364 0 4873 0 [pid=8450] vsize: 20948 Current children cumulated CPU time (s) 78.93 Current children cumulated vsize (Kb) 20948 [startup+90.0058 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 7845 0 0 0 8748 104 0 0 25 0 1 0 21528055 21860352 4408 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 5337 4408 364 364 0 4973 0 [pid=8450] vsize: 21348 Current children cumulated CPU time (s) 88.52 Current children cumulated vsize (Kb) 21348 [startup+100.007 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 8785 0 0 0 9731 111 0 0 25 0 1 0 21528055 25141248 4449 4294967295 134512640 135987407 3221224560 3221223280 134814418 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8450/statm): 6138 4449 364 364 0 5774 0 [pid=8450] vsize: 24552 Current children cumulated CPU time (s) 98.42 Current children cumulated vsize (Kb) 24552 [startup+110.007 s] Raw data (loadavg): 0.98 0.96 0.97 1/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 8991 0 0 0 10713 118 0 0 25 0 1 0 21528055 29470720 4525 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8450/statm): 7195 4525 364 364 0 6831 0 [pid=8450] vsize: 28780 Current children cumulated CPU time (s) 108.31 Current children cumulated vsize (Kb) 28780 [startup+120.008 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 10108 0 0 0 11675 132 0 0 25 0 1 0 21528055 29872128 4602 4294967295 134512640 135987407 3221224560 3221223104 134811907 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 7293 4602 364 364 0 6929 0 [pid=8450] vsize: 29172 Current children cumulated CPU time (s) 118.07 Current children cumulated vsize (Kb) 29172 [startup+130.009 s] Raw data (loadavg): 0.99 0.96 0.97 1/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 10235 0 0 0 12654 140 0 0 25 0 1 0 21528055 30048256 4729 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8450/statm): 7336 4729 364 364 0 6972 0 [pid=8450] vsize: 29344 Current children cumulated CPU time (s) 127.94 Current children cumulated vsize (Kb) 29344 [startup+140.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 10646 0 0 0 13619 154 0 0 25 0 1 0 21528055 30588928 5010 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 7468 5010 364 364 0 7104 0 [pid=8450] vsize: 29872 Current children cumulated CPU time (s) 137.73 Current children cumulated vsize (Kb) 29872 [startup+150.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 10783 0 0 0 14583 166 0 0 25 0 1 0 21528055 30859264 5082 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 7534 5082 364 364 0 7170 0 [pid=8450] vsize: 30136 Current children cumulated CPU time (s) 147.49 Current children cumulated vsize (Kb) 30136 [startup+160.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 11039 0 0 0 15560 174 0 0 25 0 1 0 21528055 30994432 5143 4294967295 134512640 135987407 3221224560 3221222896 134931363 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 7567 5143 364 364 0 7203 0 [pid=8450] vsize: 30268 Current children cumulated CPU time (s) 157.34 Current children cumulated vsize (Kb) 30268 [startup+170.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 11503 0 0 0 16536 183 0 0 25 0 1 0 21528055 31264768 5412 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 7633 5412 364 364 0 7269 0 [pid=8450] vsize: 30532 Current children cumulated CPU time (s) 167.19 Current children cumulated vsize (Kb) 30532 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 11973 0 0 0 17505 193 0 0 25 0 1 0 21528055 31539200 5752 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8450/statm): 7700 5752 364 364 0 7336 0 [pid=8450] vsize: 30800 Current children cumulated CPU time (s) 176.98 Current children cumulated vsize (Kb) 30800 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 12539 0 0 0 18481 203 0 0 25 0 1 0 21528055 31813632 6123 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8450/statm): 7767 6123 364 364 0 7403 0 [pid=8450] vsize: 31068 Current children cumulated CPU time (s) 186.84 Current children cumulated vsize (Kb) 31068 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 13018 0 0 0 19462 211 0 0 25 0 1 0 21528055 40337408 6472 4294967295 134512640 135987407 3221224560 3221223264 134790071 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 9848 6472 364 364 0 9484 0 [pid=8450] vsize: 39392 Current children cumulated CPU time (s) 196.73 Current children cumulated vsize (Kb) 39392 [startup+210.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 13611 0 0 0 20441 218 0 0 25 0 1 0 21528055 40607744 6935 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 9914 6935 364 364 0 9550 0 [pid=8450] vsize: 39656 Current children cumulated CPU time (s) 206.59 Current children cumulated vsize (Kb) 39656 [startup+220.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 14200 0 0 0 21421 225 0 0 25 0 1 0 21528055 40742912 7459 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 9947 7459 364 364 0 9583 0 [pid=8450] vsize: 39788 Current children cumulated CPU time (s) 216.46 Current children cumulated vsize (Kb) 39788 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 14599 0 0 0 22401 232 0 0 25 0 1 0 21528055 40878080 7728 4294967295 134512640 135987407 3221224560 3221223104 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 9980 7728 364 364 0 9616 0 [pid=8450] vsize: 39920 Current children cumulated CPU time (s) 226.33 Current children cumulated vsize (Kb) 39920 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 14784 0 0 0 23371 244 0 0 25 0 1 0 21528055 41152512 7783 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8450/statm): 10047 7783 364 364 0 9683 0 [pid=8450] vsize: 40188 Current children cumulated CPU time (s) 236.15 Current children cumulated vsize (Kb) 40188 [startup+250.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 14983 0 0 0 24348 252 0 0 25 0 1 0 21528055 41291776 7852 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 10081 7852 364 364 0 9717 0 [pid=8450] vsize: 40324 Current children cumulated CPU time (s) 246 Current children cumulated vsize (Kb) 40324 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) T 8449 8450 4060 0 -1 0 15134 0 0 0 25324 260 0 0 25 0 1 0 21528055 41426944 7873 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8450/statm): 10114 7873 364 364 0 9750 0 [pid=8450] vsize: 40456 Current children cumulated CPU time (s) 255.84 Current children cumulated vsize (Kb) 40456 [startup+270.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 15238 0 0 0 26298 269 0 0 25 0 1 0 21528055 41562112 7912 4294967295 134512640 135987407 3221224560 3221222976 134788502 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 10147 7912 364 364 0 9783 0 [pid=8450] vsize: 40588 Current children cumulated CPU time (s) 265.67 Current children cumulated vsize (Kb) 40588 [startup+280.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 15483 0 0 0 27262 282 0 0 25 0 1 0 21528055 41701376 7962 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 10181 7962 364 364 0 9817 0 [pid=8450] vsize: 40724 Current children cumulated CPU time (s) 275.44 Current children cumulated vsize (Kb) 40724 [startup+290.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 15639 0 0 0 28229 295 0 0 25 0 1 0 21528055 41975808 8053 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 10248 8053 364 364 0 9884 0 [pid=8450] vsize: 40992 Current children cumulated CPU time (s) 285.24 Current children cumulated vsize (Kb) 40992 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 15811 0 0 0 29195 307 0 0 25 0 1 0 21528055 42131456 8095 4294967295 134512640 135987407 3221224560 3221223200 134812293 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 10286 8095 364 364 0 9922 0 [pid=8450] vsize: 41144 Current children cumulated CPU time (s) 295.02 Current children cumulated vsize (Kb) 41144 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 16124 0 0 0 30157 319 0 0 25 0 1 0 21528055 42541056 8213 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 10386 8213 364 364 0 10022 0 [pid=8450] vsize: 41544 Current children cumulated CPU time (s) 304.76 Current children cumulated vsize (Kb) 41544 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 16451 0 0 0 31124 332 0 0 25 0 1 0 21528055 43081728 8345 4294967295 134512640 135987407 3221224560 3221222832 134827688 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 10518 8345 364 364 0 10154 0 [pid=8450] vsize: 42072 Current children cumulated CPU time (s) 314.56 Current children cumulated vsize (Kb) 42072 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8450 Raw data (/proc/8450/stat): 8450 (pb2sat) R 8449 8450 4060 0 -1 0 16760 0 0 0 32089 345 0 0 25 0 1 0 21528055 42950656 8329 4294967295 134512640 135987407 3221224560 3221223104 134811867 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8450/statm): 10486 8329 364 364 0 10122 0 [pid=8450] vsize: 41944 Current children cumulated CPU time (s) 324.34 Current children cumulated vsize (Kb) 41944 One traced child (pid=8450) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 333.209 CPU time (s): 327.453 CPU user time (s): 323.932 CPU system time (s): 3.52146 CPU usage (%): 98.2725 Max. virtual memory (cumulated for all children) (Kb): 42072
Verifier: OK -60000