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