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