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