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