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