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