loading SCIP... n: 30 m: 58 packed: 8 density: 80 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 24 26 1 6 23 2 12 21 3 13 25 5 16 28 8 18 22 9 10 20 15 17 27