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