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