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