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