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