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