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