loading SCIP... n: 30 m: 44 packed: 8 density: 80 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 13 21 1 24 25 2 14 19 5 9 26 6 7 28 11 20 23 12 15 18 22 27 29