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