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