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