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