loading SCIP... n: 30 m: 52 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 7 14 2 13 21 3 11 25 4 6 27 10 23 28 12 17 29 15 18 22