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