loading SCIP... n: 30 m: 62 packed: 8 density: 80 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 15 24 2 13 19 3 5 10 4 6 20 7 14 25 11 22 27 12 21 23 17 26 29