Why are many cpx files created when running a Minizinc model with CPLEX?

I ran a Minizinc model with the CPLEX solver. A folder named "cpxa67564" was created. It has many files named "cpxXXXX" (where XXXX are numbers).

What are these files? Subproducts of the compilation/execution? Is there any problem if I delete them? Why are they so many? I only ran the model a few times, yet those files are over 2K.

Solution

These folders contain "node files". See Use node files for storage in the documentation. These are created when the node storage file switch is set to a value of 2 or 3. Under normal circumstances, CPLEX will remove these files and their temporary directory, but they will remain when the program terminates abnormally.

Understanding the difference in timing of two functions that increment each element of an integer array
Why MSVC generates warning C4127 when constant is used in "while" - C
Executing a user-space function from the kernel space
Why must the variable used to hold getchar's return value be declared as int?
mpirun -np 4 ./a.out doesn't use all my cores (ubuntu 24.04LTS)
Shadowing an iterator inside a for loop has undefined (?) behaviour in C
Sleep for N seconds and wait for keypress
Dereference twice in gdb
Is this declaration UB?
return type defaults to 'int' [-Wimplicit-int]
What is the scope of `fesetround()`?
Which specific optimization flag causes libm functions to be treated as pure?
How to render text in SDL2?
Why would you use 'extern "C++"'?
Strange Behavior Compiler Ignoring NULL Check Unless I Print Something in the if Statement
Fast inverse square root using fixed point instead of floating point
What is the const qualifier attached to in C: the memory area or the pointer?
GCC options for strictest C code?
How to do an explicit fall-through in C
How do compilers treat CONST qualifier when the pointer points to a memory location obtained with malloc()?
C: cmocka headers - how to unittest?
Why in C when I print a double with a one decimal it round it to the next number
Android C to Java SWIG unable to compile: incompatible types: byte cannot be converted to SWIGTYPE_p_uint8_t
GNU Make in Ubuntu giving fatal error: rpc/types.h: No such file or directory
How can I exclude non-numeric keys? CS50 Caesar Pset2
How change every struct in an array of pointers?
Optimized 2x2 matrix multiplication: Slow assembly versus fast SIMD
Simple frame by frame video decoder library
GCC no longer implements <varargs.h>
Contents of IO buffer unknown == unsafe?