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