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