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