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