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