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