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