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