loading SCIP... n: 30 m: 39 packed: 7 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 2 27 3 23 25 5 24 29 8 12 14 10 11 13 15 19 26 20 22 28