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