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