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