loading SCIP... n: 30 m: 62 packed: 8 density: 80 nodes: 0 solverTime: 78 buildTime: 0 solved: false 0 25 26 1 7 19 2 21 28 3 15 24 5 9 17 6 10 20 13 14 18 22 23 29