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