loading SCIP... n: 30 m: 34 packed: 8 density: 80 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 2 24 1 6 29 3 23 28 5 11 14 8 20 22 9 17 21 10 12 19 15 16 18