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