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