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