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