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