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