loading SCIP... n: 40 m: 65 packed: 11 density: 84 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 2 36 3 9 29 4 15 17 5 33 39 7 8 22 11 18 26 12 14 24 13 25 28 16 20 27 19 32 38 30 31 35