Oh and it wasn't mining I think because I DIDN'T HAVE ENOUGH FREE RAM!!!!!
I closed some stuff and now at least when I give the setgenerate command, it DOES mine, with standard or tromp solver. Not fast, omg, windows is always slower, and then with the harder params zero uses, omg!
i think that problems are on parameters K and N, i try first time with tromp but obviously not work with 200 and 9
I turned on mining but not the tromp solver and it still doesn't mine, even when I tell it to with setgenerate on the cli