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