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