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