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