loading SCIP... n: 30 m: 44 packed: 9 density: 90 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 11 20 2 17 28 3 6 27 4 10 23 5 14 21 8 13 18 9 22 25 12 15 24 16 19 29