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