loading SCIP... n: 30 m: 73 packed: 8 density: 80 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 21 24 1 4 28 2 9 13 3 5 29 7 20 25 10 15 16 11 17 27 12 19 26