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