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