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