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