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