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