loading SCIP... n: 40 m: 65 packed: 11 density: 84 nodes: 0 solverTime: 46 buildTime: 0 solved: false 0 3 34 1 13 22 2 6 28 4 17 31 7 11 32 9 20 38 10 23 24 12 14 37 15 18 33 16 21 27 19 29 30