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