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