loading SCIP... n: 30 m: 49 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 11 29 1 3 5 2 21 27 7 13 14 9 12 20 10 24 26 15 16 23 18 19 22