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