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