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