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