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