int *used = xbt_new0(int, nb_cnst);
int i, j, k;
- Sys = lmm_system_new();
+ Sys = lmm_system_new(1);
for (i = 0; i < nb_cnst; i++) {
cnst[i] = lmm_constraint_new(Sys, NULL, float_random(10.0));
lmm_solve(Sys);
date = xbt_os_time() * 1000000 - date;
+ for (i = 0; i < nb_var; i++)
+ lmm_variable_free(Sys, var[i]);
lmm_system_free(Sys);
free(cnst);
free(var);