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