loading SCIP... n: 30 m: 35 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 2 11 1 4 28 3 15 16 5 21 26 7 13 22 8 20 27 12 17 19