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