loading SCIP... n: 40 m: 55 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 1 14 2 6 32 3 30 31 5 33 38 7 10 29 8 15 35 11 34 37 16 21 22 19 20 39 26 27 28