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