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