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