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