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