loading SCIP... n: 40 m: 104 packed: 11 density: 84 nodes: 0 solverTime: 46 buildTime: 0 solved: false 0 17 21 1 5 7 2 10 39 6 23 32 8 24 31 9 19 26 11 33 36 12 15 34 20 22 30 25 35 38 27 28 37