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