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