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