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