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