loading SCIP... n: 40 m: 32 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 9 21 1 4 32 3 11 19 5 7 16 6 14 34 8 37 38 12 18 39 15 27 35 20 23 29 22 26 36