#!/bin/bash
./wmaxcdcl-openwbo $1 1200
