loading SCIP... n: 30 m: 66 packed: 8 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 1 29 2 16 28 3 4 7 5 9 19 8 15 26 11 21 24 12 13 20 14 23 27