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