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