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