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