Name | mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb |
MD5SUM | 36d973d6ac0a73f611c4998ee3e157d3 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 5767168 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 22020075 |
Number of bits of the biggest sum of numbers | 25 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 17.2414 |
Number of variables | 960 |
Total number of constraints | 48 |
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 | 48 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 80 |
LAUNCH ON wulflinc29 THE 2005-09-23 17:47:39 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9044 boxname=wulflinc29 idbench=840 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 36d973d6ac0a73f611c4998ee3e157d3 /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-sc50b.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-sc50b.opb IDLAUNCH: 9044 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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: 921140 kB Buffers: 12284 kB Cached: 84208 kB SwapCached: 0 kB Active: 51844 kB Inactive: 47528 kB HighTotal: 131008 kB HighFree: 47208 kB LowTotal: 903652 kB LowFree: 873932 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 36 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8512 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 17:48:46 (client local time) WITH STATUS 30 IN 66.3269 SECONDS stats: 9044 0 66.3269 30
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 2508/21060 Time: 2.21866/86400 c Decision: 2788/21060 Time: 4.80527/86400 c Decision: 3183/21060 Time: 9.08562/86400 c Decision: 3183/21060 Time: 11.5462/86400 c Decision: 3183/21060 Time: 14.7378/86400 c Decision: 3183/21060 Time: 16.9564/86400 c Decision: 3191/21060 Time: 18.9191/86400 c Decision: 3191/21060 Time: 22.0307/86400 c Decision: 3220/21060 Time: 27.6278/86400 c Decision: 3459/21060 Time: 33.2959/86400 c Decision: 3459/21060 Time: 37.2853/86400 c Decision: 3459/21060 Time: 40.7488/86400 c Decision: 3459/21060 Time: 43.9013/86400 c Decision: 3459/21060 Time: 47.1518/86400 c got solution with objective value: 1048575 c small objective detected c CONFLICT during preprocess c [startup+50.0222 s] setting bit 19 to 0 c CONFLICT during preprocess c [startup+50.0907 s] setting bit 18 to 0 c CONFLICT during preprocess c [startup+50.1595 s] setting bit 17 to 0 c CONFLICT during preprocess c [startup+50.2292 s] setting bit 16 to 0 c CONFLICT during preprocess c [startup+50.2994 s] setting bit 15 to 0 c CONFLICT during preprocess c [startup+50.37 s] setting bit 14 to 0 c Decision: 8048/21119 Time: 9.8965/86400 c [startup+60.6676 s] setting bit 13 to 0 c [startup+63.1244 s] setting bit 12 to 0 c [startup+64.1366 s] setting bit 11 to 0 c [startup+64.9368 s] setting bit 10 to 0 c [startup+65.5857 s] setting bit 9 to 0 c [startup+65.9689 s] setting bit 8 to 0 c [startup+66.2729 s] setting bit 7 to 0 c [startup+66.5167 s] setting bit 6 to 0 c [startup+66.7017 s] setting bit 5 to 0 c [startup+66.8496 s] setting bit 4 to 0 c [startup+66.9836 s] setting bit 3 to 0 c [startup+67.0897 s] setting bit 2 to 0 c [startup+67.1929 s] setting bit 1 to 0 c [startup+67.2903 s] setting bit 0 to 0 s OPTIMUM FOUND v COL00001_bit0 COL00001_bit1 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00001_bit2 -COL00001_bit3 -COL00001_bit4 COL00001_bit5 COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit_1 -COL00001_bit_2 -COL00001_bit_3 -COL00001_bit_4 -COL00001_bit_5 -COL00001_bit_6 -COL00001_bit_7 -COL00002_bit0 -COL00002_bit1 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00002_bit2 -COL00002_bit3 -COL00002_bit4 -COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 COL00002_bit_1 COL00002_bit_2 COL00002_bit_3 COL00002_bit_4 COL00002_bit_5 COL00002_bit_6 COL00002_bit_7 -COL00003_bit0 -COL00003_bit1 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00003_bit2 -COL00003_bit3 -COL00003_bit4 -COL00003_bit5 -COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit_1 -COL00003_bit_2 -COL00003_bit_3 -COL00003_bit_4 -COL00003_bit_5 -COL00003_bit_6 COL00003_bit_7 -COL00004_bit0 -COL00004_bit1 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00004_bit2 -COL00004_bit3 -COL00004_bit4 -COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 -COL00004_bit_1 -COL00004_bit_2 -COL00004_bit_3 -COL00004_bit_4 -COL00004_bit_5 -COL00004_bit_6 -COL00004_bit_7 -COL00005_bit0 -COL00005_bit1 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00005_bit2 -COL00005_bit3 -COL00005_bit4 -COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 -COL00005_bit_1 -COL00005_bit_2 -COL00005_bit_3 -COL00005_bit_4 -COL00005_bit_5 -COL00005_bit_6 -COL00005_bit_7 COL00006_bit0 COL00006_bit1 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00006_bit2 -COL00006_bit3 -COL00006_bit4 COL00006_bit5 COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit_1 -COL00006_bit_2 -COL00006_bit_3 -COL00006_bit_4 -COL00006_bit_5 -COL00006_bit_6 -COL00006_bit_7 -COL00007_bit0 -COL00007_bit1 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00007_bit2 -COL00007_bit3 -COL00007_bit4 -COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 COL00007_bit_1 COL00007_bit_2 COL00007_bit_3 COL00007_bit_4 COL00007_bit_5 COL00007_bit_6 COL00007_bit_7 -COL00008_bit0 -COL00008_bit1 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00008_bit2 -COL00008_bit3 -COL00008_bit4 -COL00008_bit5 -COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit_1 -COL00008_bit_2 -COL00008_bit_3 -COL00008_bit_4 -COL00008_bit_5 -COL00008_bit_6 COL00008_bit_7 -COL00009_bit0 COL00009_bit1 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00009_bit2 -COL00009_bit3 -COL00009_bit4 COL00009_bit5 COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 COL00009_bit_1 COL00009_bit_2 COL00009_bit_3 COL00009_bit_4 -COL00009_bit_5 -COL00009_bit_6 -COL00009_bit_7 -COL00010_bit0 -COL00010_bit1 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00010_bit2 -COL00010_bit3 -COL00010_bit4 -COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 COL00010_bit_1 COL00010_bit_2 COL00010_bit_3 -COL00010_bit_4 -COL00010_bit_5 COL00010_bit_6 -COL00010_bit_7 -COL00011_bit0 -COL00011_bit1 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 -COL00011_bit2 -COL00011_bit3 -COL00011_bit4 -COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit_1 -COL00011_bit_2 -COL00011_bit_3 -COL00011_bit_4 -COL00011_bit_5 -COL00011_bit_6 COL00011_bit_7 COL00012_bit0 -COL00012_bit1 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 COL00012_bit2 -COL00012_bit3 -COL00012_bit4 -COL00012_bit5 -COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit_1 -COL00012_bit_2 -COL00012_bit_3 -COL00012_bit_4 COL00012_bit_5 -COL00012_bit_6 -COL00012_bit_7 COL00013_bit0 COL00013_bit1 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 COL00013_bit2 COL00013_bit3 COL00013_bit4 COL00013_bit5 COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 COL00013_bit_1 -COL00013_bit_2 -COL00013_bit_3 -COL00013_bit_4 COL00013_bit_5 -COL00013_bit_6 -COL00013_bit_7 -COL00014_bit0 -COL00014_bit1 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00014_bit2 -COL00014_bit3 -COL00014_bit4 -COL00014_bit5 -COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 -COL00014_bit_1 COL00014_bit_2 -COL00014_bit_3 -COL00014_bit_4 -COL00014_bit_5 -COL00014_bit_6 -COL00014_bit_7 -COL00015_bit0 -COL00015_bit1 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00015_bit2 -COL00015_bit3 -COL00015_bit4 -COL00015_bit5 -COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit_1 -COL00015_bit_2 -COL00015_bit_3 -COL00015_bit_4 -COL00015_bit_5 -COL00015_bit_6 -COL00015_bit_7 -COL00016_bit0 -COL00016_bit1 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 -COL00016_bit2 -COL00016_bit3 -COL00016_bit4 -COL00016_bit5 -COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit_1 -COL00016_bit_2 -COL00016_bit_3 -COL00016_bit_4 -COL00016_bit_5 -COL00016_bit_6 -COL00016_bit_7 -COL00017_bit0 -COL00017_bit1 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 -COL00017_bit2 COL00017_bit3 -COL00017_bit4 COL00017_bit5 COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit_1 -COL00017_bit_2 -COL00017_bit_3 -COL00017_bit_4 COL00017_bit_5 -COL00017_bit_6 -COL00017_bit_7 -COL00018_bit0 -COL00018_bit1 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 -COL00018_bit2 -COL00018_bit3 -COL00018_bit4 -COL00018_bit5 -COL00018_bit6 COL00018_bit7 -COL00018_bit8 -COL00018_bit9 COL00018_bit_1 -COL00018_bit_2 -COL00018_bit_3 -COL00018_bit_4 -COL00018_bit_5 COL00018_bit_6 COL00018_bit_7 -COL00019_bit0 -COL00019_bit1 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00019_bit2 -COL00019_bit3 -COL00019_bit4 -COL00019_bit5 -COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 -COL00019_bit_1 COL00019_bit_2 -COL00019_bit_3 -COL00019_bit_4 -COL00019_bit_5 -COL00019_bit_6 COL00019_bit_7 -COL00020_bit0 -COL00020_bit1 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00020_bit2 COL00020_bit3 -COL00020_bit4 COL00020_bit5 COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit_1 -COL00020_bit_2 -COL00020_bit_3 -COL00020_bit_4 COL00020_bit_5 -COL00020_bit_6 -COL00020_bit_7 -COL00021_bit0 -COL00021_bit1 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00021_bit2 -COL00021_bit3 -COL00021_bit4 -COL00021_bit5 -COL00021_bit6 COL00021_bit7 -COL00021_bit8 -COL00021_bit9 COL00021_bit_1 -COL00021_bit_2 -COL00021_bit_3 -COL00021_bit_4 -COL00021_bit_5 COL00021_bit_6 -COL00021_bit_7 -COL00022_bit0 -COL00022_bit1 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 -COL00022_bit2 -COL00022_bit3 -COL00022_bit4 -COL00022_bit5 -COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 -COL00022_bit_1 COL00022_bit_2 -COL00022_bit_3 -COL00022_bit_4 -COL00022_bit_5 -COL00022_bit_6 COL00022_bit_7 COL00023_bit0 COL00023_bit1 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 COL00023_bit2 -COL00023_bit3 COL00023_bit4 -COL00023_bit5 -COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 COL00023_bit_1 COL00023_bit_2 COL00023_bit_3 COL00023_bit_4 COL00023_bit_5 COL00023_bit_6 -COL00023_bit_7 COL00024_bit0 COL00024_bit1 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 COL00024_bit2 COL00024_bit3 -COL00024_bit4 -COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 COL00024_bit_1 COL00024_bit_2 COL00024_bit_3 COL00024_bit_4 COL00024_bit_5 -COL00024_bit_6 -COL00024_bit_7 COL00025_bit0 COL00025_bit1 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00025_bit2 COL00025_bit3 COL00025_bit4 -COL00025_bit5 COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 -COL00025_bit_1 -COL00025_bit_2 -COL00025_bit_3 COL00025_bit_4 COL00025_bit_5 -COL00025_bit_6 COL00025_bit_7 -COL00026_bit0 -COL00026_bit1 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00026_bit2 -COL00026_bit3 -COL00026_bit4 -COL00026_bit5 -COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 -COL00026_bit_1 -COL00026_bit_2 -COL00026_bit_3 -COL00026_bit_4 -COL00026_bit_5 -COL00026_bit_6 -COL00026_bit_7 -COL00027_bit0 -COL00027_bit1 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 -COL00027_bit5 -COL00027_bit6 -COL00027_bit7 -COL00027_bit8 -COL00027_bit9 -COL00027_bit_1 -COL00027_bit_2 -COL00027_bit_3 -COL00027_bit_4 -COL00027_bit_5 -COL00027_bit_6 -COL00027_bit_7 -COL00028_bit0 -COL00028_bit1 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00028_bit2 -COL00028_bit3 -COL00028_bit4 -COL00028_bit5 -COL00028_bit6 COL00028_bit7 -COL00028_bit8 -COL00028_bit9 -COL00028_bit_1 -COL00028_bit_2 -COL00028_bit_3 -COL00028_bit_4 -COL00028_bit_5 COL00028_bit_6 -COL00028_bit_7 -COL00029_bit0 -COL00029_bit1 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00029_bit2 -COL00029_bit3 COL00029_bit4 -COL00029_bit5 -COL00029_bit6 COL00029_bit7 -COL00029_bit8 -COL00029_bit9 -COL00029_bit_1 COL00029_bit_2 COL00029_bit_3 COL00029_bit_4 COL00029_bit_5 COL00029_bit_6 COL00029_bit_7 COL00030_bit0 COL00030_bit1 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00030_bit2 COL00030_bit3 COL00030_bit4 -COL00030_bit5 COL00030_bit6 -COL00030_bit7 -COL00030_bit8 -COL00030_bit9 -COL00030_bit_1 COL00030_bit_2 -COL00030_bit_3 COL00030_bit_4 COL00030_bit_5 COL00030_bit_6 -COL00030_bit_7 -COL00031_bit0 -COL00031_bit1 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00031_bit2 -COL00031_bit3 -COL00031_bit4 -COL00031_bit5 -COL00031_bit6 COL00031_bit7 -COL00031_bit8 -COL00031_bit9 -COL00031_bit_1 -COL00031_bit_2 -COL00031_bit_3 -COL00031_bit_4 -COL00031_bit_5 COL00031_bit_6 -COL00031_bit_7 -COL00032_bit0 COL00032_bit1 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 COL00032_bit2 COL00032_bit3 COL00032_bit4 -COL00032_bit5 COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 COL00032_bit_1 COL00032_bit_2 COL00032_bit_3 COL00032_bit_4 -COL00032_bit_5 COL00032_bit_6 COL00032_bit_7 COL00033_bit0 -COL00033_bit1 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00033_bit2 -COL00033_bit3 -COL00033_bit4 -COL00033_bit5 -COL00033_bit6 -COL00033_bit7 -COL00033_bit8 -COL00033_bit9 COL00033_bit_1 -COL00033_bit_2 COL00033_bit_3 -COL00033_bit_4 -COL00033_bit_5 COL00033_bit_6 COL00033_bit_7 COL00034_bit0 COL00034_bit1 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 COL00034_bit2 COL00034_bit3 -COL00034_bit4 COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 COL00034_bit_1 COL00034_bit_2 COL00034_bit_3 COL00034_bit_4 COL00034_bit_5 COL00034_bit_6 -COL00034_bit_7 COL00035_bit0 -COL00035_bit1 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 COL00035_bit2 -COL00035_bit3 -COL00035_bit4 -COL00035_bit5 -COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 -COL00035_bit_1 -COL00035_bit_2 -COL00035_bit_3 -COL00035_bit_4 COL00035_bit_5 COL00035_bit_6 -COL00035_bit_7 -COL00036_bit0 -COL00036_bit1 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00036_bit2 COL00036_bit3 -COL00036_bit4 -COL00036_bit5 COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 COL00036_bit_1 -COL00036_bit_2 -COL00036_bit_3 -COL00036_bit_4 COL00036_bit_5 COL00036_bit_6 -COL00036_bit_7 -COL00037_bit0 -COL00037_bit1 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00037_bit2 -COL00037_bit3 -COL00037_bit4 -COL00037_bit5 -COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 -COL00037_bit_1 -COL00037_bit_2 -COL00037_bit_3 -COL00037_bit_4 -COL00037_bit_5 -COL00037_bit_6 -COL00037_bit_7 -COL00038_bit0 -COL00038_bit1 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00038_bit2 -COL00038_bit3 -COL00038_bit4 -COL00038_bit5 -COL00038_bit6 -COL00038_bit7 -COL00038_bit8 -COL00038_bit9 -COL00038_bit_1 -COL00038_bit_2 -COL00038_bit_3 -COL00038_bit_4 -COL00038_bit_5 -COL00038_bit_6 -COL00038_bit_7 -COL00039_bit0 -COL00039_bit1 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00039_bit2 -COL00039_bit3 COL00039_bit4 COL00039_bit5 -COL00039_bit6 COL00039_bit7 -COL00039_bit8 -COL00039_bit9 -COL00039_bit_1 -COL00039_bit_2 -COL00039_bit_3 -COL00039_bit_4 -COL00039_bit_5 -COL00039_bit_6 -COL00039_bit_7 COL00040_bit0 -COL00040_bit1 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 COL00040_bit2 -COL00040_bit3 COL00040_bit4 -COL00040_bit5 -COL00040_bit6 COL00040_bit7 -COL00040_bit8 -COL00040_bit9 COL00040_bit_1 -COL00040_bit_2 -COL00040_bit_3 -COL00040_bit_4 COL00040_bit_5 -COL00040_bit_6 COL00040_bit_7 COL00041_bit0 COL00041_bit1 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00041_bit2 -COL00041_bit3 -COL00041_bit4 COL00041_bit5 -COL00041_bit6 COL00041_bit7 -COL00041_bit8 -COL00041_bit9 COL00041_bit_1 COL00041_bit_2 COL00041_bit_3 -COL00041_bit_4 COL00041_bit_5 -COL00041_bit_6 -COL00041_bit_7 COL00042_bit0 COL00042_bit1 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 COL00042_bit2 COL00042_bit3 COL00042_bit4 COL00042_bit5 -COL00042_bit6 -COL00042_bit7 -COL00042_bit8 -COL00042_bit9 COL00042_bit_1 COL00042_bit_2 COL00042_bit_3 -COL00042_bit_4 COL00042_bit_5 COL00042_bit_6 COL00042_bit_7 -COL00043_bit0 -COL00043_bit1 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 COL00043_bit2 -COL00043_bit3 -COL00043_bit4 COL00043_bit5 COL00043_bit6 -COL00043_bit7 -COL00043_bit8 -COL00043_bit9 COL00043_bit_1 COL00043_bit_2 -COL00043_bit_3 COL00043_bit_4 -COL00043_bit_5 COL00043_bit_6 -COL00043_bit_7 -COL00044_bit0 -COL00044_bit1 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 COL00044_bit2 -COL00044_bit3 -COL00044_bit4 -COL00044_bit5 -COL00044_bit6 -COL00044_bit7 -COL00044_bit8 -COL00044_bit9 COL00044_bit_1 -COL00044_bit_2 -COL00044_bit_3 -COL00044_bit_4 -COL00044_bit_5 COL00044_bit_6 COL00044_bit_7 -COL00045_bit0 COL00045_bit1 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 COL00045_bit2 COL00045_bit3 COL00045_bit4 -COL00045_bit5 -COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 COL00045_bit_1 -COL00045_bit_2 -COL00045_bit_3 COL00045_bit_4 -COL00045_bit_5 COL00045_bit_6 -COL00045_bit_7 -COL00046_bit0 -COL00046_bit1 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00046_bit2 -COL00046_bit3 -COL00046_bit4 -COL00046_bit5 -COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit_1 -COL00046_bit_2 -COL00046_bit_3 -COL00046_bit_4 -COL00046_bit_5 -COL00046_bit_6 COL00046_bit_7 -COL00047_bit0 -COL00047_bit1 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00047_bit2 -COL00047_bit3 -COL00047_bit4 COL00047_bit5 -COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit_1 -COL00047_bit_2 -COL00047_bit_3 -COL00047_bit_4 -COL00047_bit_5 -COL00047_bit_6 -COL00047_bit_7 -COL00048_bit0 -COL00048_bit1 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 -COL00048_bit2 -COL00048_bit3 -COL00048_bit4 -COL00048_bit5 -COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 -COL00048_bit_1 -COL00048_bit_2 -COL00048_bit_3 -COL00048_bit_4 -COL00048_bit_5 -COL00048_bit_6 -COL00048_bit_7
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/10060/stat): 10060 (pb2sat) R 10059 10060 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22065775 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10060/statm): 373 2 364 364 0 9 0 [pid=10060] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-sc50b.opb [startup+10.0018 s] Raw data (loadavg): 0.92 0.94 0.90 1/55 10060 Raw data (/proc/10060/stat): 10060 (pb2sat) T 10059 10060 4005 0 -1 0 3449 0 0 0 967 16 0 0 25 0 1 0 22065775 12357632 2005 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10060/statm): 3017 2005 364 364 0 2653 0 [pid=10060] vsize: 12068 Current children cumulated CPU time (s) 9.83 Current children cumulated vsize (Kb) 12068 [startup+20.0026 s] Raw data (loadavg): 0.93 0.95 0.91 2/55 10060 Raw data (/proc/10060/stat): 10060 (pb2sat) R 10059 10060 4005 0 -1 0 3830 0 0 0 1947 24 0 0 25 0 1 0 22065775 12800000 2218 4294967295 134512640 135987407 3221224560 3221223280 134813811 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10060/statm): 3125 2218 364 364 0 2761 0 [pid=10060] vsize: 12500 Current children cumulated CPU time (s) 19.71 Current children cumulated vsize (Kb) 12500 [startup+30.0034 s] Raw data (loadavg): 0.94 0.95 0.91 2/55 10060 Raw data (/proc/10060/stat): 10060 (pb2sat) R 10059 10060 4005 0 -1 0 4169 0 0 0 2930 31 0 0 25 0 1 0 22065775 15032320 2431 4294967295 134512640 135987407 3221224560 3221223248 134812063 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10060/statm): 3670 2431 364 364 0 3306 0 [pid=10060] vsize: 14680 Current children cumulated CPU time (s) 29.61 Current children cumulated vsize (Kb) 14680 [startup+40.0042 s] Raw data (loadavg): 0.95 0.95 0.91 1/55 10060 Raw data (/proc/10060/stat): 10060 (pb2sat) T 10059 10060 4005 0 -1 0 4475 0 0 0 3912 39 0 0 25 0 1 0 22065775 15609856 2653 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10060/statm): 3811 2653 364 364 0 3447 0 [pid=10060] vsize: 15244 Current children cumulated CPU time (s) 39.51 Current children cumulated vsize (Kb) 15244 [startup+50.0039 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 10060 Raw data (/proc/10060/stat): 10060 (pb2sat) R 10059 10060 4005 0 -1 0 4732 0 0 0 4884 48 0 0 25 0 1 0 22065775 16052224 2742 4294967295 134512640 135987407 3221224560 3221223264 134817695 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10060/statm): 3919 2742 364 364 0 3555 0 [pid=10060] vsize: 15676 Current children cumulated CPU time (s) 49.32 Current children cumulated vsize (Kb) 15676 [startup+60.0047 s] Raw data (loadavg): 0.96 0.95 0.91 1/55 10060 Raw data (/proc/10060/stat): 10060 (pb2sat) T 10059 10060 4005 0 -1 0 5440 0 0 0 5843 62 0 0 25 0 1 0 22065775 16322560 3198 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10060/statm): 3985 3198 364 364 0 3621 0 [pid=10060] vsize: 15940 Current children cumulated CPU time (s) 59.05 Current children cumulated vsize (Kb) 15940 One traced child (pid=10060) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 67.412 CPU time (s): 66.3269 CPU user time (s): 65.604 CPU system time (s): 0.72289 CPU usage (%): 98.3904 Max. virtual memory (cumulated for all children) (Kb): 15940
Verifier: OK 0