loading SCIP... n: 30 m: 91 packed: 9 density: 90 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 5 18 1 26 28 2 13 27 4 8 11 6 17 23 7 10 19 9 15 24 12 21 22 14 16 25