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