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