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