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