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