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