loading SCIP... n: 30 m: 30 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 10 14 1 8 25 5 22 28 6 9 23 13 15 26 16 18 20 17 19 29