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