loading SCIP... n: 40 m: 40 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 9 24 1 25 33 5 14 16 6 8 29 10 18 39 11 12 23 13 19 38 15 21 26 22 32 37 28 34 35