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