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