loading SCIP... n: 30 m: 38 packed: 7 density: 70 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 16 17 1 5 7 3 4 29 6 11 20 8 15 24 12 13 19 18 23 27