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