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