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