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