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