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