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