loading SCIP... n: 40 m: 66 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 15 22 2 5 12 3 17 38 4 14 36 6 16 24 8 35 39 18 26 27 19 20 28 21 23 25 31 32 37