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