loading SCIP... n: 40 m: 40 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 27 38 3 16 39 4 21 30 6 23 33 7 17 32 8 15 36 9 18 24 14 19 29 25 34 37