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