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