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