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