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