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