loading SCIP... n: 40 m: 62 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 27 32 1 25 28 2 6 16 4 23 31 5 7 33 8 18 26 12 21 37 14 35 38 15 24 29 20 34 39