loading SCIP... n: 40 m: 61 packed: 11 density: 84 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 5 22 2 19 20 4 31 39 6 23 35 7 13 26 9 11 15 16 24 33 17 28 30 18 25 37 21 29 38 32 34 36