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