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