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