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