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