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