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