Wrong optimum found
Increasing goal values for minimization for problem normalized-aries-da_network_100_3__3_91__256.opb. The following problem has the optimum value 70998.
% limits -v 60000m gtimeout --signal=15 --kill-after=20 3600 /usr/local/bin/naps-1.02b2 /home/fs
6/sakai/proj/naps/experiments/naps-scip-PB16-OPT/benchmarks/PB16-used/PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__256.opb
c NaPS 1.02b2.
c Input file name: /home/fs6/sakai/proj/naps/experiments/naps-scip-PB16-OPT/benchmarks/PB16-used/PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_netw
ork_100_3__3_91__256.opb
o 415897
o 717873
s OPTIMUM FOUND
c _____________________________________________________________________________
c
c std/band forms : 304,98
c 2cl/3cl ITE-codings : 79528,299128
c BDD/srt/adr Max costs : 13053,135026499,0
c BDDraw/bin/mul/srt/adr: 400,0,0,2,0
c BDD nodes : 609858
c Es1/CC detections : 0,0
c SAT/UNSAT calls : 2,1
c restarts : 13
c conflicts : 4808 (12 /sec)
c decisions : 427502 (1081 /sec)
c propagations : 10058756 (25436 /sec)
c inspects : 0 (0 /sec)
c CPU time (solving tm) : 395.4 s (2.665 s)
c Time for Opt-base : 235.2 s
c _____________________________________________________________________________
v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x3
Omitted