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