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