loading SCIP... n: 30 m: 45 packed: 8 density: 80 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 4 18 1 2 5 3 15 25 6 11 22 8 20 26 12 16 24 14 19 21 17 28 29