loading SCIP... n: 30 m: 21 packed: 7 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 12 16 1 13 26 2 22 25 4 14 17 8 15 18 10 21 23 19 28 29