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