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