loading SCIP... n: 40 m: 163 packed: 12 density: 92 nodes: 0 solverTime: 93 buildTime: 0 solved: false 1 9 14 2 13 30 3 11 17 4 21 38 5 25 37 6 24 27 7 12 33 8 10 16 15 19 35 18 26 31 22 23 28 29 32 39