Increasing goal values for minimization for problem [normalized-aries-da_network_100_3__3_91__256.opb](/uploads/9b75019cb93474411afc068047e84e1a/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 ```