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