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