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