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