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