read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3.lp
set reoptimization advanced delay 0.85
set reoptimization advanced usecuts TRUE
set reoptimization advanced usepscost TRUE
set reoptimization advanced storevarhistory TRUE
set load /home/hakank/picat/picat3/emu/scipsuite/scip/check/coverage/settings/reopt-test-settings-varorderinterdiction-d.set
optimize
validatesolve +0.00000000000000e+00 +0.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_01.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_02.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_03.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_04.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_05.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_06.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_07.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_08.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_09.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_10.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_11.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_12.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_13.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_14.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_15.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_16.diff
optimize
validatesolve -7.00000000000000e+00 -7.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_17.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_18.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_19.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_20.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_21.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_22.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_23.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_24.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_25.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_26.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_27.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_28.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_29.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_30.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_31.diff
optimize
validatesolve -1.00000000000000e+00 -1.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_32.diff
optimize
validatesolve -1.10000000000000e+01 -1.10000000000000e+01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_33.diff
optimize
validatesolve -4.00000000000000e+00 -4.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_34.diff
optimize
validatesolve -4.00000000000000e+00 -4.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_35.diff
optimize
validatesolve -3.00000000000000e+00 -3.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_36.diff
optimize
validatesolve -2.00000000000000e+00 -2.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_37.diff
optimize
validatesolve -3.00000000000000e+00 -3.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_38.diff
optimize
validatesolve -2.00000000000000e+00 -2.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_39.diff
optimize
validatesolve -2.00000000000000e+00 -2.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_40.diff
optimize
validatesolve -2.00000000000000e+00 -2.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_41.diff
optimize
validatesolve -2.00000000000000e+00 -2.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_42.diff
optimize
validatesolve -2.00000000000000e+00 -2.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_43.diff
optimize
validatesolve -1.83333333333333e+00 -1.83333333333333e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_44.diff
optimize
validatesolve -2.50000000000000e+00 -2.50000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_45.diff
optimize
validatesolve -1.66666666666666e+00 -1.66666666666666e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_46.diff
optimize
validatesolve -1.66666666666666e+00 -1.66666666666666e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_47.diff
optimize
validatesolve -2.00000000000000e+00 -2.00000000000000e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_48.diff
optimize
validatesolve -1.58823529411765e+00 -1.58823529411765e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_49.diff
optimize
validatesolve -1.27999999999999e+00 -1.27999999999999e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_50.diff
optimize
validatesolve -1.29807692307692e+00 -1.29807692307692e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_51.diff
optimize
validatesolve -1.73214285714272e+00 -1.73214285714272e+00
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_52.diff
optimize
validatesolve -7.14285714285705e-01 -7.14285714285705e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_53.diff
optimize
validatesolve -7.99999999999980e-01 -7.99999999999980e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_54.diff
optimize
validatesolve -7.43589743589702e-01 -7.43589743589702e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_55.diff
optimize
validatesolve -6.05263157894737e-01 -6.05263157894737e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_56.diff
optimize
validatesolve -5.83162217659201e-01 -5.83162217659201e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_57.diff
optimize
validatesolve -4.46256316031233e-01 -4.46256316031233e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_58.diff
optimize
validatesolve -5.83333333333251e-01 -5.83333333333251e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_59.diff
optimize
validatesolve -5.99999999999956e-01 -5.99999999999956e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_60.diff
optimize
validatesolve -4.96938775510227e-01 -4.96938775510227e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_61.diff
optimize
validatesolve -3.85542168674637e-01 -3.85542168674637e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_62.diff
optimize
validatesolve -5.94936708860747e-01 -5.94936708860747e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_63.diff
optimize
validatesolve -4.54545454545436e-01 -4.54545454545436e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_64.diff
optimize
validatesolve -3.33333333333364e-01 -3.33333333333364e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_65.diff
optimize
validatesolve -3.12500000000008e-01 -3.12500000000008e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_66.diff
optimize
validatesolve -3.15789473684216e-01 -3.15789473684216e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_67.diff
optimize
validatesolve -3.75000000000000e-01 -3.75000000000000e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_68.diff
optimize
validatesolve -2.77777777777732e-01 -2.77777777777732e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_69.diff
optimize
validatesolve -2.99999999999982e-01 -2.99999999999982e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_70.diff
optimize
validatesolve -2.99999999999995e-01 -2.99999999999995e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_71.diff
optimize
validatesolve -2.99999999999995e-01 -2.99999999999995e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_72.diff
optimize
validatesolve -3.00000000000021e-01 -3.00000000000021e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_73.diff
optimize
validatesolve -3.03030303030306e-01 -3.03030303030306e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_74.diff
optimize
validatesolve -2.30769230769204e-01 -2.30769230769204e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_75.diff
optimize
validatesolve -2.26190476190476e-01 -2.26190476190476e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_76.diff
optimize
validatesolve -1.60000000000000e-01 -1.60000000000000e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_77.diff
optimize
validatesolve -9.99999999999988e-02 -9.99999999999988e-02
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_78.diff
optimize
validatesolve -1.23595505617978e-01 -1.23595505617978e-01
read /home/hakank/picat/picat3/emu/scipsuite/scip/check/instances/MIP/1-FullIns_3_reopt/1-FullIns_3_79.diff
optimize
validatesolve +0.00000000000000e+00 +0.00000000000000e+00
display reoptstatistic


quit
