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