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