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