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