loading SCIP... n: 30 m: 57 packed: 8 density: 80 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 2 3 4 5 16 6 7 27 8 9 13 10 12 24 14 15 18 17 19 29 22 25 28