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