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