loading SCIP... n: 30 m: 57 packed: 7 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 1 5 4 23 26 6 15 19 7 14 17 8 25 29 9 12 28 20 21 22