loading SCIP... n: 30 m: 50 packed: 8 density: 80 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 19 20 1 3 23 4 5 17 6 14 16 7 12 24 9 27 28 11 15 18 13 21 22