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