loading SCIP... n: 40 m: 48 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 1 27 2 21 32 3 23 25 5 7 37 6 10 13 8 17 31 9 24 34 11 14 29 15 19 26 18 20 22