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