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