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