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