loading SCIP... n: 30 m: 66 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 2 10 1 14 15 3 13 19 4 12 29 6 16 21 9 22 28 17 23 25 20 24 26