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