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