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