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