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