loading SCIP... n: 30 m: 56 packed: 8 density: 80 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 6 14 2 11 16 4 17 27 5 12 18 7 22 29 8 15 25 9 19 20 23 24 26