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