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