loading SCIP... n: 40 m: 56 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 8 28 2 7 9 3 26 31 6 15 21 10 29 36 11 27 37 12 18 32 16 17 22 23 25 38 34 35 39