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