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