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