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