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