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