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