loading SCIP... n: 30 m: 117 packed: 9 density: 90 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 11 18 1 17 23 2 3 8 4 9 29 5 12 27 7 22 24 10 15 28 13 19 25 14 20 21