loading SCIP... n: 40 m: 47 packed: 10 density: 76 nodes: 0 solverTime: 15 buildTime: 0 solved: false 1 27 30 2 31 33 5 25 34 6 22 37 8 10 13 12 17 26 15 19 29 16 35 36 18 24 39 21 23 38