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