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