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