loading SCIP... n: 30 m: 34 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 25 28 1 11 21 2 5 18 3 20 23 4 8 24 7 13 16 9 12 29 17 22 27