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