loading SCIP... n: 40 m: 49 packed: 11 density: 84 nodes: 0 solverTime: 16 buildTime: 0 solved: false 1 17 22 2 12 29 3 18 31 4 34 35 5 16 38 6 26 32 7 9 11 10 19 37 13 23 30 15 25 39 20 21 24