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