loading SCIP... n: 30 m: 65 packed: 8 density: 80 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 7 13 1 16 27 3 14 19 4 8 10 5 15 25 6 11 24 9 18 21 26 28 29