loading SCIP... n: 40 m: 67 packed: 11 density: 84 nodes: 0 solverTime: 32 buildTime: 0 solved: false 2 3 11 4 10 15 5 18 19 8 13 36 9 16 32 12 22 28 17 25 29 21 30 35 23 24 31 26 33 34 27 37 39