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