loading SCIP... n: 40 m: 52 packed: 11 density: 84 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 27 35 1 8 34 3 4 20 5 16 22 9 31 32 12 21 24 13 17 25 14 18 30 15 29 38 19 23 39 26 28 33