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