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