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