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