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