FICO Xpress Optimization Examples Repository: Using the debugger and profiler

FICO Xpress Optimization Examples Repository

Using the debugger and profiler

Description

The Mosel debugger and profiler may be used either through Xpress Workbench or from the Mosel command line. The model prime2.mos shows typical debugging and profiling command sequences. The model prime3.mos is a more efficient re-formulation of the same algorithm. The model runprime2d.mos shows a debugging command sequence for a submodel started from this model.

prime2.mos: Debugging and profiling commands
runprime2d.mos: Parallel debugging (requires prime2d.mos)
prime3.mos: Prime number algorithm for large limit values

Further explanation of this example: 'Mosel User Guide', Chapter 'Debugger and Profiler'

primedebug.zip

[download all files]

Source Files

By clicking on a file name, a preview is opened at the bottom of this page.

prime2.mos	[download]
prime3.mos	[download]
runprime2d.mos	[download]
prime2d.mos	[download]

runprime2d.mos

(!******************************************************
   Mosel User Guide Example Problems
   ================================= 

   file runprime2d.mos 
   ```````````````````
   Model handling.
   - Using the parallel debugger -
 
   (c) 2008 Fair Isaac Corporation
       author: S. Heipcke, 2005, rev. Jul. 2014
*******************************************************!)

model "Run model prime"
 uses "mmjobs"

 parameters
  LIMIT=20000                  ! Search for prime numbers in 2..LIMIT
 end-parameters

 declarations
  modPrime: Model
  event: Event
 end-declarations
                               ! Compile 'prime2d.mos' in debug mode
 if compile("G","prime2d.mos")<>0 then exit(1); end-if

 load(modPrime, "prime2d.bim") ! Load bim file

 run(modPrime, "LIMIT="+LIMIT) ! Start execution and
 wait                          ! wait for an event

                               ! An event is available: submodel finished
 event:=getnextevent
 writeln("Exit status: ", getvalue(event))
 writeln("Exit code  : ", getexitcode(modPrime))

 unload(modPrime)              ! Unload the submodel
end-model 

(!

Debugging
=========
Use the following command sequence in the Mosel command line:

mosel debug runprime2d.mos LIMIT=50
break 29
cont
next
model 2
break 34
bcond 2-1 getsize(SNumbers) < 10
cont
print n
display SNumbers
display SPrime
cont
quit

!)