#!/bin/bash

# Путь к проекту.
PATH_TO_PROJECT="."

VERSION="1"

java -classpath "../out/production/Conversion" inport.Main "to_MiniZinc_$VERSION" $1 "$PATH_TO_PROJECT/temp_data/data.dzn"

START=$(date +%s.%N)

minizinc --solver Chuffed "../constraints/conversion_$VERSION.mzn" "conversion_$VERSION.dzn" >> raw_result.txt

END=$(date +%s.%N)
DIFF=$(echo "$END - $START" | bc)

echo $DIFF

java -classpath "../out/production/Conversion" inport.Main resolve_result in.ipp raw_result.txt result.txt

/usr/lib/jvm/java-8-openjdk-amd64/bin/java
-javaagent:/home/vlad_kv/.local/share/umake/ide/idea/lib/idea_rt.jar=42623:/home/vlad_kv/.local/share/umake/ide/idea/bin
-Dfile.encoding=UTF-8
-classpath
/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/charsets.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/cldrdata.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/dnsns.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/icedtea-sound.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/jaccess.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/java-atk-wrapper.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/jfxrt.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/localedata.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/nashorn.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/sunec.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/sunjce_provider.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/sunpkcs11.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/ext/zipfs.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/jce.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/jfxswt.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/jsse.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/management-agent.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/resources.jar:/usr/lib/jvm/java-8-openjdk-amd64/jre/lib/rt.jar:/home/vlad_kv/GitHub/Conversion/out/production/Conversion:/usr/share/java/org.sat4j.core.jar:/usr/share/java/org.sat4j.pb.jar inport.Main run experiment/in.ipp