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