loading SCIP... n: 30 m: 39 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 1 13 2 5 6 4 12 15 9 14 24 11 27 29 19 23 25 20 22 26