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