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