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