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