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