loading SCIP... n: 30 m: 69 packed: 9 density: 90 nodes: 0 solverTime: 78 buildTime: 0 solved: false 0 1 12 2 23 25 3 16 20 4 18 26 5 8 11 6 13 29 9 27 28 10 15 17 14 22 24