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