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