loading SCIP... n: 30 m: 35 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 5 18 1 9 16 2 20 28 4 11 14 7 13 15 8 17 21 22 25 29 23 24 27