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