public static void main(String[] args){
        try {
            PowerGrid pg = new PowerGrid("/home/mik/Documenti/univr/Ragionamento Automatico/stage/report/200/0.29/2.pg");
            Relaxable_MS_COP_Instance cop = pg.getCopMnotInfNoCo2();
            WalkGrid instance = new WalkGrid(cop);
            instance.solve();
            System.out.println("After solve, istance is:" + cop.status());
            System.out.println("Relaxed cost is:" + cop.actualRelaxedValue());
        } catch (VariableNotSetException ex) {
            ex.printStackTrace();
        } catch (PostServiceNotSetException ex) {
            ex.printStackTrace();
        } catch (UnInitializatedException ex) {
            ex.printStackTrace();
        } catch (InitializatedException ex) {
            ex.printStackTrace();
        } catch (FileNotFoundException ex) {
            ex.printStackTrace();
        } catch (IOException ex) {
            ex.printStackTrace();
        }
    }