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