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