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