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