loading SCIP... n: 30 m: 42 packed: 8 density: 80 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 12 21 1 2 27 3 8 24 4 9 16 5 7 10 11 15 26 19 25 29 20 22 23