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