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