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