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