loading SCIP... n: 40 m: 23 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 8 14 1 10 36 2 4 6 3 13 34 7 23 31 11 21 27 12 25 39 16 22 29 17 24 30 26 32 33