loading SCIP... n: 30 m: 25 packed: 7 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 1 15 3 10 24 4 9 20 5 13 28 11 21 27 17 18 25 19 23 29