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