loading SCIP... n: 40 m: 68 packed: 11 density: 84 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 16 22 2 23 36 4 6 25 7 21 31 8 17 32 9 29 34 10 33 35 12 15 30 13 20 26 18 38 39 19 28 37