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