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