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