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