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