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