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