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