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