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