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